Sei G eine Gruppe mit neutralem Element, sodass x²=e und xyx=y³. Beweisen Sie y8=e.

Question

Hallöchen.

Ich hoffe mir kann jemand bei den Aufgaben helfen:

 

1.) Sei G eine Gruppe mit neutralem Element e∈G und x,y ∈G Elemente, sodass x² = e und xyx = y³ . Beweisen Sie, dass y⁸ = e.

Das es so ist, weiß ich, aber wie kann man sowas beweisen?

2.) Sei G eine Gruppe, sodass es gilt: a²= b²= (ab)², für alle a,b ∈G. Dann gilt: a⁴ = b⁴ = (ab)^2.

 

Danke für die Hilfe.

Answer 1

2.) Sei G eine Gruppe, sodass es gilt: a²= b²= (ab)², für alle a,b ∈G. Dann gilt: a⁴ = b⁴ = (ab)².

Anmerkung und Bezeichnung: Die Gruppeneigenschaft "a²= b²= (ab)², für alle a,b ∈G" bedeutet, dass alle Produkte von Elementen mit sich selbst gleich sind. und erst noch gleich wie das (Produkt zweier beliebiger Elemente von G)² 

Formalisiere folgende Überlegung, falls sie einleuchtet.

Beweis: Seien c und d zwei beliebige Elemente von G.

Zu zeigen: c⁴=d⁴=(ab)²

Da G eine Gruppe ist, liegen c², d² und cd auch in G.

Zudem gilt in Gruppen das Assoziativgesetz. Deshalb c⁴ = (c²)² = (ein Element von G, also z.B. a)² = [nach Gruppeneigenschaft] = (ab)²

Dasselbe mit d⁴ ergibt auch (ab)²

Zudem auch (cd)² = (ab)²

qed.

 

Comments

 

1.) Sei G eine Gruppe mit neutralem Element e∈G und x,y ∈G Elemente, sodass x² = e und xyx = y³ . Beweisen Sie, dass y⁸ = e.

Beweis:

y⁸*y = y⁹ = y³ y³ y³ |Assoziativität, xyx = y³

 = xyx xyx xyx            | Ass., x² = e

 = x y³ x                    |y³ = xyx

= xxyxx                       |Ass., x² = e

=y

Also y⁹ = y

Da y⁸*y =y und y*y⁸ = y

ist y⁸ mindestens für den Faktor y das neutrale Element. Also e.

Da es nicht für jeden Faktor ein anderes neutrales Element geben sollte, ist y⁸ = e.

[Kann sein, dass die letzt Zeile 'hinkt', weiss aber derzeit nichts Schlaueres] 

 

---

y⁸ = e

<=> y³ y³ y² = e    | y³ = xyx

<=> xyx xyx y² = e   | x² = xx = e

<=> xy e y x y² = e

<=> xy yx y² = e    | Ass.

<=> xyx y³ = e

<=> e * xyx = e

<=> e * e = e

 

ist das auch okay? LG

---

oh... ich habe mich verguckt und angenommen, dass xyx = e

Sorry... :-)

---

So, nochmal:

x² = e

xyx = y³

y^8 = e

___

y^8 = y³ y³y² = xyx xyx y² = xy yx y² = x x y y y² = y y³ = y xyx = yy xx = yy = e
(Habe nur das Ass.gesetz und x²=e bzw. xyx=y³ angewendet)

=> Da x² = e und y²=e => x² = y²

Könnte man jetzt einfach annehmen, dass x=y gilt?

---

 

Ich glaube du verwechselst das Assoziativgesetz mit dem Kommutativgesetz, jedenfalls in diesem Schritt:

<=> xy yx y² = e    | Ass.

<=> xyx y³ = e