Lagrangeova věta (teorie grup): Porovnání verzí
Řádek 15: | Řádek 15: | ||
Z čehož plyne, že cosety ''gH'' tvoří rozklad ''G''. |
Z čehož plyne, že cosety ''gH'' tvoří rozklad ''G''. |
||
Abychom ukázali, že řád všech cosetů je totožný, najdeme [[Bijekce|bijektivní zobrazení]]''f'' z ''H'' na ''xH'' pro <math>\forall x \in G</math>. Definujme f rovnicí |
Abychom ukázali, že řád všech cosetů je totožný, najdeme [[Bijekce|bijektivní zobrazení]] ''f'' z ''H'' na ''xH'' pro <math>\forall x \in G</math>. Definujme f rovnicí |
||
<math>f(g)=xh</math> |
<math>f(g)=xh</math> |
Verze z 1. 5. 2013, 20:29
Lagrangeova věta je základní tvrzení z teorie grup, jehož důsledkem je, že řád každého prvku či podgrupy dělí řád grupy. To znamená, že například grupa řádu 15 může mít prvky řádu 1, 3, 5 a 15, avšak nikoliv třeba 7. Věta nese jméno význačného matematika, Josepha Louise Lagrange.
Přesné znění
Pro grupu G a její podgrupu H platí:
- , kde |X| značí řád grupy X a [G:H] index grupy H v G.
Důkaz
Nejprve ukážeme, že levé cosety tvoří dohromady pro rozklad množiny G. Protože , nepochybně levé cosety obsahují všechny prvky G. Abychom ukázali, že neobsahují žádný prvek dvakrát, předpokládejme naopak pro nějaké . Jinými slovy pro nějaká musí být . Vynásobením na pravé straně prvkem dostaneme . Pro jednoduchost provedeme substituci . Vzhledem k definici podgrupy , a proto
.
, neboť rovněž , a tudíž každý prvek v yH je obsažen v xH. Symetrickým postupem bychom získali , a proto . Z čehož plyne, že cosety gH tvoří rozklad G.
Abychom ukázali, že řád všech cosetů je totožný, najdeme bijektivní zobrazení f z H na xH pro . Definujme f rovnicí
- Důkaz injektivity: Předpokládejme .
. Obě strany vynásobíme zleva prvkem
- Surjektivita je zřejmá z definice.
Nechť značí celkový počet všech (ať už levých nebo pravých) cosetů. Jak už jsme ukázali, cosety tvoří rozklad množiny G a každý z nich má tentýž řád |H|. Z těchto úvah plyne .
QED.
Příbuzná tvrzení
Lagrangeova věta dává nutnou podmínku pro řády podgrup (i prvků) grupy, nezaručuje ale jejich existenci. Naopak Sylowovy věty na základě řádu grupy zaručují existenci jistých podgrup v dané grupě - dají se tedy brát jako protipól Lagrangovy věty.
Související články
- Věta o střední hodnotě diferenciálního počtu – také známa jako Lagrangeova věta
- Sylowovy věty