Преглед на кода на Подгрупа

{{без източници}}
'''Подгрупа''' на една [[Група (алгебра)|група]] <math>G\,</math> е подмножество на групата, което, относно операцията в <math>G\,</math>, на свой ред образува група. Ако <math>H \subseteq G</math>, <math>H\,</math> съдържа единичния елемент <math>1_G \in H</math>, <math>H\,</math> е затворена и асоциативна относно операцията в <math>G\,</math> и всеки елемент на <math>H\,</math> притежава обратен, то <math>H\,</math> е подгрупа на <math>G\,</math>, записва се: <math>H \leq G\,</math>.

Подгрупата <math>H\,</math> е ''собствена подгрупа'' <math>H < G\,</math>, ако <math>H \subset G</math>.

Една подгрупа е ''нормална подгрупа'', ако всеки ляв [[съседен клас]] съвпада със съответния десен съседен клас, т.е. <math>gH = Hg,\, \forall g \in G</math>.

== Вижте също ==
* [[Теория на групите]]
* [[Група (алгебра)]]

{{мъниче|математически обект}}
{{нормативен контрол}}

[[Категория:Теория на групите]]