В математике группа Хопфа — это группа G , для которой каждый эпиморфизм
является изоморфизмом . Эквивалентно, группа является хопфовой тогда и только тогда, когда она не изоморфна ни одному из своих собственных факторов . [1]
Группа G является кохопфовой, если каждый мономорфизм
является изоморфизмом. Эквивалентно, G не изоморфна ни одной из своих собственных подгрупп .
Коллинз (1969) показал, что это неразрешимая проблема — определить, если задано конечное представление группы, является ли группа хопфовой. В отличие от неразрешимости многих свойств групп, это не является следствием теоремы Адяна–Рабина , поскольку хопфовость не является марковским свойством , как показали Миллер и Шупп (1971).
Группа G является нехопфовой, если существует 1 ≠ N ◃ G, такое что G/N ≅ G
Это потому, что (
R
,+) не имеет кручения и делится, а значит, является
Q
-векторным пространством. Поэтому — поскольку каждое векторное пространство имеет базис, по Аксиоме выбора — оно изоморфно прямой сумме копий (
Q
,+), индексированных множеством континуальной мощности. Это делает свойство Хопфа очевидным.