Определение

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