Aber a o b und a^2 oder b^2 ergibt weder a oder b also kann es keine Untergruppe sein .
Nein, das ist es ja gerade. Die von a und b erzeugte Untergruppe
besteht aus allen Ergebnissen, die man durch ein- oder mehrmaliges
Hintereinanderausführen vona oder b erhalten kann.
Also insbesondere:
a alleine, das ist halt a. und
b alleine, das ist halt b.
Dann musst du mal schauen was passiert, wenn mann
macht a*a Das gibt die Identität id, die muss in jeder Untergruppe
sein. b*b gibt auch id .
Dann schau mal was mit a*b und b*a entsteht etc.