наблюдение

[arifulov_ph]

Если у группы все подгруппы нормальные, любой элемент коммутирует с некоторой ненулевой степенью любого элемента. Оказывается, такие группы называют дедекиндовыми и они могут быть неабелевыми.