up:: [[sous groupe]]
#s/maths/algèbre 

> [!definition] [[sous groupe propre]]
> Soit $G$ un groupe
> Un [[sous groupe]] $H$ de $H$ avec $H \neq G$ est appelé **sous groupe propre**
> Autrement dit, c'est un sous-groupe avec $H \subsetneq G$, c'est-à-dire avec un [[sous-ensemble propre]]
^definition