Distributivgesetz:
\(\begin{aligned}a\otimes(b\oplus c) &= a\otimes(b+c-1) \\&=a\cdot(b+c-1)-a-(b+c-1)+2\end{aligned}\)
und weiter zusammenfassen. Danach
\((a\otimes b)\oplus (a\otimes c)\)
ebenso behandeln und zeigen dass man das gleiche wie oben bekommt.
Neutrales Element bezüglich \(\otimes\):
\(\begin{aligned}au-a-u+2 & =a & & |+a-2\\au-u & =2a-2\end{aligned}\)
Jetzt auf der linken Seite \(u\) ausklammern und weiter nach \(u\) umformen.
Inverse Elemente:
Wie schon bei neutralen Elementen, die definierende Gleichung lösen, also
\(a\oplus a'= z\)
für \(\oplus\) und
\(a\otimes a'' = u\)
für \(\otimes\).