Gruppe mit Einselement

Sry hab übersehen dass die gruppe nicht abelsch ist

hoff das stimmt jetzt so (bin auch erst im ersten semester)

a*b^-1*a=b2
<=>b^-1*a*b-1a=b
<=>(b^-1*a)*(b-1*a)=b |*(ba^-1)
<=>(b^-1*a)=b*(b*a-1)
<=>b^-1*a=b2*a^-1 |*b
<=>a=b^3*a-1|*a
<=>a^2=b3

*-STORM-*

Habe jetzt auch die ganze Zeit gebastelt, bin aber immer noch nicht drauf gekommen, habe nun noch mal die Aufgabe betrachtet, und machte leider große Augen:(, die eine Beziehung hatte ich falsch abgeschrieben, es muss
aba^-1=b² gelten. *selbst hau*
...

Vielleicht sehen wir ja jetzt was eindeutiges.

SG1

Gruppe schrieb:

<=>(b^-1*a)*(b-1*a)=b |*(b*a^-1)
<=>(b^-1*a)=b*(b*a-1)

Falsch.

MamboKurt

@gruppe:
nur so: sollte (b^-1*a)-1 nicht (a^-1*b) sein?
du benutzt dann nämlich auch wieder die kommutativität bei

(b^-1*a)*(b^-1*a)=b |*(b*a^-1)    <-Hier müsste (a^-1*b) stehen
<=>(b^-1*a)=b*(b*a^-1)

SG1

|-STORM-| schrieb:

Habe jetzt auch die ganze Zeit gebastelt, bin aber immer noch nicht drauf gekommen, habe nun noch mal die Aufgabe betrachtet, und machte leider große Augen:(, die eine Beziehung hatte ich falsch abgeschrieben, es muss
aba^-1=b² gelten. *selbst hau*

Achso, dann ist klar. Bilde mal b^4, b^8, b^16, b^32.

$b^{32}$
$=(aba^{-1})(aba^{-1})\cdots(aba^{-1})$
$=a^2b^8a^{-2}$
\cdots \mbox{ das ganze ein paar mal wiederholen }
$=a^5ba^{-5}$
$=b$
also:
b^{32} = b\mbox{ } | * b^{-1}
$\Rightarrow b^{31} = e$

Huch falsch abgeschrieben:

statt
$a^2b^8a^{-2}$
muss es heißen
$a^2b^{16}a^{-2}$

*-STORM-*

Hi,

habe es jetzt auch so wie Mr.Besserwisser.
Danke für eure Hilfe:)

MfG
Storm

*-STORM-*

Hallo nochmal,

habe noch nen anderes Problem beim Beweis ob eine Gruppe abelsch ist.
Problem war:
G eine Gruppe mit der Eigenschaft, dass drei aufeinanderfolgende ganze Zahlen i gilt:
(ab)ⁱ=aⁱbⁱ für alle a,b aus G
G abelsch? Gilt dies auch für 2 aufeinanderfolgende Zahlen?

Mein Anfang war erst mal i€{k,k+1,k+2} k€IZ.
Wie bekomme ich es nun aber hin, dass ich aus
(ab)ⁱ=(ba)ⁱ machen kann?
Die Frage ob es auch für 2 hintereinanderfolgende Zahlen gilt, erübrigt sich doch, weil ich ja einfach i€{k,k+1} k€IZ setzen kann, oder?

MfG
Storm