grupa nieabelowa
grupa nieabelowa
Dana jest grupa nieabelowa \(\displaystyle{ G}\) oraz takie jej elementy \(\displaystyle{ a,b}\), że spełnione są następujące warunki:
\(\displaystyle{ b^3a=e\\ba=a^2b}\)
Dowieść, że \(\displaystyle{ (ab)^3=e}\)
\(\displaystyle{ b^3a=e\\ba=a^2b}\)
Dowieść, że \(\displaystyle{ (ab)^3=e}\)
-
- Użytkownik
- Posty: 5405
- Rejestracja: 11 sty 2005, o 22:21
- Płeć: Mężczyzna
- Lokalizacja: a z Limanowej
- Podziękował: 1 raz
- Pomógł: 422 razy
grupa nieabelowa
\(\displaystyle{ ba = a^{2} b \\
bab^{2}a = a^{2} b^{3}a = a^{2} \\
bab^{2} = a \\
b^{3} a b^{2} = b^{2} a \\
b^{2} = b^{2} a \\
e = a}\)
Lol, faktycznie.
bab^{2}a = a^{2} b^{3}a = a^{2} \\
bab^{2} = a \\
b^{3} a b^{2} = b^{2} a \\
b^{2} = b^{2} a \\
e = a}\)
Lol, faktycznie.
grupa nieabelowa
Hm... Z tym zadaniem ogólnie jest coś nie tak, bo w oryginale jest chyba błąd w druku i mam napisane, że spełnia taki pierwszy warunek \(\displaystyle{ ^3a=e}\). I bądź tu mądry co to ma oznaczać. Gdzieś na necie znalazłam, że autorowi mogło chodzić np. o \(\displaystyle{ b^3a=e}\), więc jak widać jakiś w tym sens jest - dzięki za pomoc.
PS. Chyba, że ktoś ma inny pomysł na to, co powinniśmy podnieść do sześcianu w warunku \(\displaystyle{ ^3a=e}\)?:>
PS. Chyba, że ktoś ma inny pomysł na to, co powinniśmy podnieść do sześcianu w warunku \(\displaystyle{ ^3a=e}\)?:>
grupa nieabelowa
No właśnie chyba raczej \(\displaystyle{ ^3a}\).
A tak z ciekawości, jakby tam było \(\displaystyle{ a^3=e}\) to dałoby się to zadanie rozwiązać?
A tak z ciekawości, jakby tam było \(\displaystyle{ a^3=e}\) to dałoby się to zadanie rozwiązać?
- withdrawn
- Użytkownik
- Posty: 282
- Rejestracja: 20 lip 2009, o 16:02
- Płeć: Kobieta
- Lokalizacja: Wrocław
- Podziękował: 21 razy
- Pomógł: 1 raz
grupa nieabelowa
to jak w takim razie ruszyć to zadanie gdyby warunki były takie:
\(\displaystyle{ a^{3} = e}\)
\(\displaystyle{ ba = a^{2}b}\) ?
bo mi jakos nie wychodzi ;p zaczelam cos przeksztalcac( ponizej) ale nic z tego;/
\(\displaystyle{ (ab)^{3} = (ababab) = aa^{2}ba^{-1}aa^{2}ba^{-1}aa^{2}ba^{-1} = a^{3}bea^{2}bea^{2}ba^{-1} = ba^{2}ba^{2}ba^{-1} = bbabaa^{-1} = b^{2}ab = bbab = a^{2}ba^{-1}a^{-2}baab = a^{2}bbaab}\)
\(\displaystyle{ a^{3} = e}\)
\(\displaystyle{ ba = a^{2}b}\) ?
bo mi jakos nie wychodzi ;p zaczelam cos przeksztalcac( ponizej) ale nic z tego;/
\(\displaystyle{ (ab)^{3} = (ababab) = aa^{2}ba^{-1}aa^{2}ba^{-1}aa^{2}ba^{-1} = a^{3}bea^{2}bea^{2}ba^{-1} = ba^{2}ba^{2}ba^{-1} = bbabaa^{-1} = b^{2}ab = bbab = a^{2}ba^{-1}a^{-2}baab = a^{2}bbaab}\)
-
- Użytkownik
- Posty: 5405
- Rejestracja: 11 sty 2005, o 22:21
- Płeć: Mężczyzna
- Lokalizacja: a z Limanowej
- Podziękował: 1 raz
- Pomógł: 422 razy
grupa nieabelowa
\(\displaystyle{ ba = a^2 b \\
aba = b \\
baba = b^2 \wedge \ abab = b^2 \\
babab = b^3 \\
ababab = ab^3}\)
Tyle potrafię pokazać z marszu, ale coś musiało mi się z deka pochrzanić z tym \(\displaystyle{ S_{3}}\), bo nie potrafię tego pokazać.
aba = b \\
baba = b^2 \wedge \ abab = b^2 \\
babab = b^3 \\
ababab = ab^3}\)
Tyle potrafię pokazać z marszu, ale coś musiało mi się z deka pochrzanić z tym \(\displaystyle{ S_{3}}\), bo nie potrafię tego pokazać.
-
- Użytkownik
- Posty: 1874
- Rejestracja: 4 paź 2008, o 02:13
- Płeć: Kobieta
- Lokalizacja: Lost Hope
- Podziękował: 28 razy
- Pomógł: 502 razy
grupa nieabelowa
Jeśli:
\(\displaystyle{ G=\left\langle a,b|a^3=1, ba=a^2b\right\rangle}\)
to rzeczywiście chodzi o grupę izomorficzną z grupą \(\displaystyle{ D_6\simeq S_3}\) izometrii trójkąta równobocznego, bo tak zresztą się tę grupę reprezentuje. Dokładniej istnieje epimorfizm \(\displaystyle{ G\to D_6}\) polegający na posłaniu \(\displaystyle{ a}\) w obrót, zaś \(\displaystyle{ b}\) w symetrię, który jest również izomorfizmem, o czym nietrudno się przekonać. Tym niemniej nie jest prawdą, że \(\displaystyle{ (ab)^3=1}\), bo złożenie obrotu z symetrią jest symetrią, a nie obrotem. Pewnie chodzi więc o inne zadanie.
\(\displaystyle{ G=\left\langle a,b|a^3=1, ba=a^2b\right\rangle}\)
to rzeczywiście chodzi o grupę izomorficzną z grupą \(\displaystyle{ D_6\simeq S_3}\) izometrii trójkąta równobocznego, bo tak zresztą się tę grupę reprezentuje. Dokładniej istnieje epimorfizm \(\displaystyle{ G\to D_6}\) polegający na posłaniu \(\displaystyle{ a}\) w obrót, zaś \(\displaystyle{ b}\) w symetrię, który jest również izomorfizmem, o czym nietrudno się przekonać. Tym niemniej nie jest prawdą, że \(\displaystyle{ (ab)^3=1}\), bo złożenie obrotu z symetrią jest symetrią, a nie obrotem. Pewnie chodzi więc o inne zadanie.
- max
- Użytkownik
- Posty: 3306
- Rejestracja: 10 gru 2005, o 17:48
- Płeć: Mężczyzna
- Lokalizacja: Lebendigentanz
- Podziękował: 37 razy
- Pomógł: 778 razy
grupa nieabelowa
Bardzo brakuje relacji \(\displaystyle{ a^{2} = 1}\).
Bez tego nietrywialny produkt półprosty \(\displaystyle{ C_{3}\rtimes C_{\infty}}\) też spełnia relacje z tej prezentacji.
Bez tego nietrywialny produkt półprosty \(\displaystyle{ C_{3}\rtimes C_{\infty}}\) też spełnia relacje z tej prezentacji.