$G$ bir grup, $H$, $G$'nin bir altgrubu olsun. $G$'nin en az bir tane altgrubu $K$ vardır öyle ki $H$, $K$'nin normal bir altgrubudur.
$G$'nin altgrupları arasında $H$'nin normal altgrup olduğu maksimal altgrubu bulmak mümkün müdür?
Maksimal Altgrup:
$H$, $G$'nin maksimal altgrubudur ancak ve ancak $H$'yi içeren $G$'nin bir altgrubu yok ise.