Теорема Лагранжа (теорія груп)

Шаблон:Теорія груп Теорема Лагранжа — твердження в теорії груп згідно з яким кількість елементів будь-якої підгрупи скінченної групи ділить кількість елементів самої групи.

Точніше можна записати

$|G|=|G:H|\cdot |H|$,

де $|G:H|$ позначає індекс групи $G$ по підгрупі $H$,тобто кількість класів суміжності $H$ в $G$, а $|G|$, $|H|$ позначають порядок групи і підгрупи, тобто кількість їх елементів.

Доведення

Нехай $G$ є скінченною групою. Розглянемо множину лівосторонніх класів суміжності $\{gH:g\in G\}$ групи $G$ щодо $H$. Ця множина розбиває групу $G$ на $n=|G:H|$ рівнопотужних множин: $g_{1}H,g_{2}H,\dots ,g_{n}H$.

Тобто

$G=g_{1}H\cup g_{2}H\cup \dots \cup g_{n}H$,

і враховуючи відсутність перетину цих множин:

$|G|=|g_{1}H|+|g_{2}H|+\dots +|g_{n}H|$,

і враховуючи їх рівнопотужність з $H$, остаточно отримуємо

$|G|=|H|+|H|+\dots +|H|=n|H|$,

тобто:

$|G|=|G:H|\cdot |H|$.

Наслідки

1. Кількість правих і лівих суміжних класів будь-якої підгрупи $H$ в $G$ однакова і називається індексом підгрупи $H$ в $G$ (позначається $[G:H]$).
2. Порядок будь-якої підгрупи скінченної групи $G$ є дільником порядку $G.$
3. Із того, що порядок елемента групи дорівнює порядку циклічної підгрупи, яку створює цей елемент, слідує, що порядок будь-якого елемента скінченної групи $G$ є дільником $G$. Цей наслідок узагальнює теорему Ейлера і малу теорему Ферма в теорії чисел.
4. Група порядку $p$, де $p$ — просте число, циклічна. (Оскільки порядок елемента, відмінного від одиниці, не може дорівнювати $1$, всі елементи, крім одиниці, мають порядок $p$, а отже, кожен з них породжує групу.)

Узагальнення

Теорема Лагранжа допускає наступне просте узагальнення: нехай $G$ є скінченною групою і маємо $K⩽H⩽G$, тоді

$|G:H|\cdot |H:K|=|G:K|$.

Доведення

З теореми Лагранжа випливає:

$|G:H|\cdot |H|=|G|=|G:K|\cdot |K|$ і також

$|H:K|\cdot |K|=|H|$,

звідки

$|G:H|\cdot |H:K|=\frac{|G|}{|H|}\cdot \frac{|H|}{|K|}=\frac{|G:K|\cdot |K|}{|K|}=|G:K|$.

Джерела

Українською

• Шаблон:Книга
• Шаблон:Cite book

Іншими мовами

• Шаблон:Курош.Теорія груп
• Шаблон:Rotman.An Introduction to the Theory of Groups