G bir grup ve {} ≠ H ⊆ G olmak üzere, H, G ile aynı ikili işlem altında grup oluşturuyorsa, H'ye G'nin altgrubu(altöbeği) denir.[1]---
Sadece etkisiz elemana sahip olan altgruba G'nin apaçık altgrubu denir. Bütün G grupları aynı zamanda kendilerinin altgruplarıdır. G'nin kendisinin ve apaçık altgrubu dışında kalan altgruplara özaltgrup denir.[1]---
Sadece etkisiz elemana sahip olan altgruba G'nin apaçık altgrubu denir. Bütün G grupları aynı zamanda kendilerinin altgruplarıdır. G'nin kendisinin ve apaçık altgrubu dışında kalan altgruplara özaltgrup denir.[1]---