z.B. 1.2
Du musst zeigen:
\( \mathrm{K}:=\{ \bar{0}, \bar{1}, \bar{2}, \bar{3}, \bar{4}, \bar{5}, \bar{6} \} \)
Für alle Elemente x, y aus K gilt x + y = y + x
Seien also x, y aus K, dann gibt es a,b \( \in\{0,1,2,3,4,5,6\} \)
mit \( x=\bar{a}, y=\bar{b} \)
Dann sei c der Rest, den a+b bei Division durch 7 lässt.
Also x+y= \( =\bar{c} \) Da aber a+b=b+a in ℤ gilt,
ist auch der Rest, den b+a bei Division durch 7 lässt gleich c.
Und somit y+ x= \( =\bar{c} \)
Also letztlich x+y=y+x für alle x,y aus K.
So ähnlich kannst du das für die anderen Axiome auch machen.
\( \bar{0}, \bar{1} \) sind die neuralen bzgl + bzw. *
Und bei den Inversen kannst zu ja ggf. alle 7 bzw. 6
Fälle durchgehen.