Wie beweise ich Gruppenaxiome?
Du musst sie ja nur für \( \mathbb{Z}_{4}=\left\{[x]_{4}: x \in \mathbb{Z}\right\} \) prüfen.
Eines ist sicher: Es existiert ein neutrales Element.
In deinem Fall ist das \( [0]_{4} \); denn für alle \( [x]_{4} \in \mathbb{Z}_{4} \)
gilt \( [x]_{4}+[0]_{4} = [0]_{4}+[x]_{4} =[x]_{4} \).
Und bei den Inversen ist immer \( [4-x]_{4}\) das Inverse zu \( [x]_{4} \).
\( [3]_{4} \cdot x=[1]_{4} \) hat nur die Lösung \( x=[3]_{4} \).