[ petarm @ 29.04.2008. 08:22 ] @


Nisam imao neki ozbiljniji kurs iz teorije grupa i ne razumem sta tacno ovo predstavlja? Jel moze neko ukratko da mi kaze prostim jezikom pa cu ja to onda pogledati u nekoj knjizi iz Teorije grupa.
[ Bojan Basic @ 29.04.2008. 12:27 ] @
U pitanju je grupa reda s elementima , a to što si pronašao su pravila množenja.
[ petarm @ 29.04.2008. 23:20 ] @
Pogledao sam u Grulinim grupama.

Teorema 20.1
Grupa je Hamiltonova akko je direktni proizvod jedne grupe kvaterniona sa Abelovom grupom ciji su elementi neparnog reda i Abelovom grupom ciji su elementi reda najvise 2.

(Dokaz je uzasan)


Korolar 20.2
(a) Osim grupe kvaterniona svaka Hamiltonova grupa je razloziva.
(b) Direktni proizvod dve (ili vise) Hamiltonove grupe nije Hamiltonova grupa
(c) U Hamiltonovoj grupi su elementi uzajamno prostih redova permutabilni.

Odavde sam jedino zakljucio da grupa kvaterniona nije direktni proizvod netrivijalnih normalnih podgrupa Verovatno se negde ranije spominju grupe kvaterniona u knjizi, al ne mogu da nadjem gde.

Naisao sam inace na ovaj izraz u jednom udzbeniku iz mehanike.

Da inace jel ovo nerazloziva sinonim sa ireducibilna?
[ Bojan Basic @ 30.04.2008. 00:03 ] @
U Grulinoj knjizi grupa kvaterniona definisana je u primeru 5.7(a). Ono što smo mi ovde nazivali kod njega je nazvano (zato što je on uzeo konkretne matrice i i od njih na određen način formirao grupu u kojoj se onda lako proverava da važi formula koja tebi nije jasna; ja sam ti u prošloj poruci predložio obrnut smer, tj. da uzmeš onih osam elemenata i da onda grupu sam napraviš tako što ćeš Kejlijevu tablicu sastaviti preko formule za koju se raspituješ: ; naravno, kojim god putem da kreneš, doći ćeš do iste grupe). E sad, nije mi jasno tvoje pitanje: da li pitaš kako se definiše grupa kvaterniona (i u tom slučaju odgovor već imaš), ili nešto drugo?

Definicija razloživosti je definicija 10.23.
[ petarm @ 30.04.2008. 02:02 ] @
U principu da to je odgovor. Hvala ti! Ja sam napravio Kejlijevu tablicu. Nadam se samo da nisam negde pogresio. Da li ti mozes odmah iz Kejlijeve tablice da zakljucis da ova grupa nije direktni proizvod netrivijalnih normalnih podgrupa?