Изменения
→Теорема Лагранжа
== Смежные классы ==
Левым смежным классом группы <tex>G</tex> по множеству <tex>H</tex> назовем множество вида <tex>aH=\lbrace a\cdot x\vert x\in H\rbrace\subseteq G</tex>
В конечных группах порядок любой подгруппы делит порядок группы
|proof=
Пусть <tex>G</tex> - конечная группа, а <tex>H</tex> - ее подгруппа. Любой элемент <tex>G</tex> входит в некоторый смежный класс по <tex>H</tex> (<tex>a</tex> входит в <tex>aH</tex>). Мощность каждого класса равна <tex>\vert H\vert</tex>, т.к. отображение <tex>x\rightarrow a\cdot x биективно</tex>биективно. Таким образом, вся G распадается на непересекающиеся смежные классы одинаковой мощности. Отсюда очевидно, что <tex>\vert G\vert</tex> делится на <tex>\vert H\vert</tex>.
}}
[[Категория: Теория групп]]
[[Категория: В разработке]]
