U teoriji grupa, za podskup H neke grupe G s binarnom operacijom * kažemo da je podgrupa ako vrijedi:

  • H je također grupa s istom operacijom * (dakle s obzirom na binarnu operaciju * je zatvorena, asocijativna, ima neutral i inverz)

To se obično označava s označava s , i čita "H je podgrupa od G".

Klasifikacija podgrupa

uredi

Prava podgrupa

uredi

Prava podgrupa grupe G je podgrupa H koja je pravi podskup od G (dakle vrijedi  ).

Trivijalna podgrupa

uredi

Trivijalnim podgrupama nazivamo:

  • samu grupu (ujedno i najveća moguća podgrupa), kada je  
  • skup koji sadrži samo neutralni element;   (najmanja moguća podgrupa).
Nedovršeni članak Podgrupa koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.