Категория : Функциональные подгруппы

Учитывая группу, существуют некоторые представляющие интерес подгруппы, которые могут быть определены однозначно и функционально в терминах ${\displaystyle G}$, такие как центр, коммутатор и т. д. Они должны быть инвариантны относительно изоморфизмов, то есть любой изоморфизм групп должен индуцировать соответствующий изоморфизм подгрупп. Следовательно, такие подгруппы инвариантны относительно автоморфизмов и всегда являются характеристическими подгруппами .