Konstruktion von Z/Aus NxN/Aufgabe
Erscheinungsbild
Betrachte auf der Produktmenge
Zeige, dass dies eine Äquivalenzrelation ist.
Es sei die Menge der Äquivalenzklassen. Definiere auf eine Addition , die die Eigenschaft
(der Querstrich bedeutet dabei die zugehörige Äquivalenzklasse) und die zu einer kommutativen Gruppe
macht.