Folie 9
1o - 3o sind die Gruppenaxiome.
Kapitel II, §7
(7.8) Satz: Für die Verknüpfung „□“ auf T zu einem Translations-raum (A,T,t) sind die folgenden Regeln erfüllt:
Für alle Translationen v,w,z aus T gilt:
1o (v□w)□z = v□(w□z).
2o Es gibt n aus T mit v□n = v .
3o Zu jedem v aus T existiert v* aus T mit v□v* = n .
Und dazu
4o v□w = w□v .