Определение

Собственная подгруппа - такая подгруппа $H \in G$, где $G$ - группа, для которой справедливо:
- $H \neq G$
- $H \neq e$
Т.е. подгруппа $H$ не совпадает с группй $G$ и не совпадает с единичным элементом.