Изменения
→Теорема Лагранжа
== Теорема Лагранжа ==
'''Следствие:''' <tex>a^{\vert G\vert}=e</tex>. Достаточно рассмотреть циклическую подгруппу <tex>H=\langle a\rangle</tex>: ее порядок равен порядку элемента <tex>a</tex>, но <tex>a^{\vert G\vert}=a^{\frac{\vert G\vert}{\vert H\vert}\vert H\vert}=(a^{\vert H\vert})^{\frac{\vert G\vert}{\vert H\vert}}=e</tex>.
<tex>a^{\vert \mathbb{Z}_p\vert}=a^{p-1}\equiv 1\mod p \Leftrightarrow a^p\equiv a\mod p</tex>
--[[Служебная:Contributions/192.168.0.2|192.168.0.2]] 22:42, 29 июня 2010 (UTC)
== Нормальные подгруппы ==
