Изменения
Нет описания правки
{{Определение
|definition=
Если непустое подмножество <tex>H</tex> элементов [[группа|группы ]] <tex>G</tex> оказывается замкнутым относительно групповой операции и операции взятия обратного элемента, то <tex>H</tex> образует группу и называется '''подгруппой''' группы <tex>G</tex>:
:<tex>\forall a,b\in H\subseteq G : a\cdot b\in H</tex>
:<tex>\forall a\in H : a^{-1}\in H</tex>
