Das war doch neulich schon da :
Die gesuchte Untergruppe ist die mit den 4 Elementen:
U = { (0/0) ; ( 3/0) ; (o/3) ; ( 3/3) }
Für die Linksnebenklassen nimmst du einfach ein Element von G und addierst dazu
alle Elemente von U.
z.B. Zum Element (1/1) erhältst du { (1/1) ; ( 4/1) ; (1/4) ; (4;4) }
Das ist die Linksnebenklasse von (1/1).
Die schon in einer Klasse sind, brauchst du nicht nochmal zu betrachten, denn z.B.
die Linksnebenklasse von (4/4) wäre ja { (4/4); (7/4)=(1/4) ; ( 4/1) ; (1/1) } also die
gleiche Klasse wie bei (1/1). Das ist immer so: Wenn zwei in der gleichen Nebenklasse sind,
sind ihre Nebenklassen gleich.
Da deine Gruppe G 36 Elemente hat, erhältst du 9 verschiedene Nebenklassen.
Und da G kommutativ ist, ist U auch ein Normalteiler.