Изменения

Левым смежным классом группы <mathtex>G</mathtex> по множеству <mathtex>H</mathtex> назовем множество вида <mathtex>aH=\lbrace a\cdot x\vert x\in H\rbrace\subseteq G</mathtex>Аналогично определяется и правый смежный класс <mathtex>Ha</mathtex>. Для определенности далее рассматриваем только левые смежные классы, все результаты непосредственно переносятся и на правые.

'''Теорема''': Левые смежные классы <mathtex>G</mathtex> по подгруппе <mathtex>H</mathtex> либо не пересекаются, либо совпадают.

'''Доказательство''': Достаточно доказать, что если классы пересекаются, то они совпадают. Рассмотрим два класса <mathtex>aH</mathtex> и <mathtex>bH</mathtex> с общим элементом <mathtex>c</mathtex>. Докажем, что <mathtex>aH\subseteq bH</mathtex>. Пусть <mathtex>g=a\cdot h,\,h\in H</mathtex> принадлежит <mathtex>aH</mathtex>. Известно: <mathtex>c=a\cdot h_a=b\cdot h_b,\,h_a,h_b\in H\, \Rightarrow a=b\cdot h_b\cdot h_a^{-1}</mathtex>.Тогда <mathtex>g=a\cdot h=b\cdot h_b\cdot h_a^{-1}\cdot h \in bH</mathtex>, поскольку <mathtex>h_b\cdot h_a^{-1}\cdot h\in H</mathtex>. Значит, <mathtex>aH\subseteq bH</mathtex>. Аналогично <mathtex>bH\subseteq aH</mathtex>.