Geometrie und Topologie
Fakultät für Mathematik
Technische Universität München

Nebenklassen von $(\mathbb{Z}_p,\odot_p)$

Hier können die Nebenklassen von $(\mathbb{Z}_p-\{0\},\odot_p)$ betrachtet werden. Durch Anklicken können Elemente ausgewählt werden, die zur erzeugenden Untergruppe gehören sollen. Die Elemente dieser Untergruppe werden rot markiert. Diese Elemente bilden die Nebenklasse des neutralen Elementes. Elemente, die zur gleichen Nebenklasse gehören, werden gleich eingefärbt.

Die Nebenklassen bilden eine Partition der Grupenelemente. Auf der rechten Seite sieht man die gleiche Gruppentafel, allerdings mit entsprechend umsortierten Gruppenelementen. Elemente einer Nebenklasse sind zusammen sortiert worden. Hierbei sieht man, dass die Nebenklassen "repräsentantenweise" verknüpft werden können. Die Nebenklassen selbst bilden wieder die Gruppenelemente der so genannten Quotientengruppe.