(a) Berechne der Reihe nach den ggT(a,10) für a ∈ {0,1,2,3,4,5,6,7,8,9}.
Diejenigen a, für die ggT(a,10) = 1 gilt, bilden die Menge E. So erhält man E = {1,3,7,9}.
(b) Für alle a,b ∈ E berechne a•b vermöge a•b = a·b mod 10.
Die Verknüpfungstafel sieht dann etwa so aus:$$\qquad\Large\begin{array}{|c||c|c|c|c|}\hline\color{blue}•&\color{red}1&\color{red}3&\color{red}7&\color{red}9\\\hline\hline\color{red}1&1&3&7&9\\\hline\color{red}3&3&9&1&7\\\hline\color{red}7&7&1&9&3\\\hline\color{red}9&9&7&3&1\\\hline\end{array}$$(c) Weise die Gruppenaxiome nach. Da die Verknüpfungstafel offenbar symmetrisch zur Hauptdiagonalen ist, ist die Gruppe abelsch.