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.