Lassen eine Gruppe sein, ist eine Untergruppe von ; für wir sagen ist deckungsgleich mit , geschrieben als Wenn
Herstein, Themen der abstrakten Algebra , Seite 34.
Was ist die Motivation hinter der obigen Definition?
Meine Gedanken:
Ich vermute, es macht etwas mit der Tatsache, dass eine Untergruppe die Gruppe in eine Vereinigung von disjunkten Nebengruppen dieser Untergruppe unterteilt. In der modularen Arithmetik sagen wir Äquivalenz, wenn die Reste gleich sind. Aber es fällt mir schwer zu verstehen, in welchem Sinne die Elemente hier als Reste gedacht werden.
Der übliche Begriff der Kongruenz bei ganzen Zahlen besagt das wenn und nur , oder .
Wenn wir nehmen Und , Dann und wir können dies umschreiben als
Tatsächlich lassen sich viele Konzepte der Gruppentheorie mit der Gruppe der ganzen Zahlen veranschaulichen, und dies hat oft eine schöne Interpretation aus der elementaren Zahlentheorie.