Grupa czwórkowa Kleina

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Grupa (czwórkowa) Kleina – najmniejsza niecykliczna grupa abelowa. Jej nazwa pochodzi od nazwiska Felixa Kleina, niemieckiego matematyka, który jako pierwszy opisał jej własności w wydanej w roku 1884 książce Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade („Wykłady o ikosaedrze i rozwiązywaniu równań piątego stopnia”).

Własności[edytuj | edytuj kod]

Grupa Kleina, oznaczana zwykle symbolem V_4, jest jedną z dwóch grup czteroelementowych (drugą jest addytywna grupa klas reszt \mathbb Z_4). Każdy nietrywialny element jest rzędu dwa. Jest ona podgrupą normalną grupy alternującej A_4 (a więc zarazem podgrupą grupy permutacji S_4). Z teorii Galois wynika, że właśnie istnienie grupy Kleina zapewnia rozwiązywalność równania czwartego stopnia z jedną niewiadomą przez pierwiastniki.

Izomorfizm[edytuj | edytuj kod]

Information icon.svg Osobny artykuł: izomorfizm.

Grupa czwórkowa Kleina jest izomorficzna z

Tabela działań[edytuj | edytuj kod]

Oznaczmy przez a i b obrót, i symetrię.

\cdot 1 a b ab
1 1 a b ab
a a 1 ab b
b b ab 1 a
ab ab b a 1