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

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