Kategoria:Podgrupy funkcyjne

Dla danej grupy istnieją pewne interesujące jej podgrupy, które mogą być jednoznacznie zdefiniowane w sposób funkcyjny wyłącznie wykorzystując elementy tej grupy, np. centrum, komutant itd. Powinny być one niezmiennicze ze względu na izomorfizmy, tzn. dowolny izomorfizm grupowy musi indukować odpowiadający mu izomorfizm na podgrupach. Dlatego też takie podgrupy są niezmiennicze ze względu na automorfizmy i są zawsze podgrupami charakterystycznymi.