В чем заключаются доказательства теоремы Лагранжа для конечных групп?

Доказательство теоремы Лагранжа для конечных групп заключается в следующем: neerc.ifmo.ru

1. Пусть G — конечная группа, а H — её подгруппа. neerc.ifmo.ru
2. Любой элемент G входит в некоторый смежный класс по H. neerc.ifmo.ru
3. Мощность каждого класса равна порядку подгруппы H, так как отображение x → a·x биективно. neerc.ifmo.ru
4. Таким образом, вся G распадается на непересекающиеся смежные классы одинаковой мощности. neerc.ifmo.ru
5. Отсюда очевидно, что порядок группы G делится на порядок подгруппы H. neerc.ifmo.ru

Ещё одно доказательство можно провести так: каждый элемент группы G лежит в своём левом смежном классе по подгруппе H, разные смежные классы не пересекаются, и каждый из них содержит по порядку подгруппы H элементов. hse-tex.me