stringtranslate.com

Группа Хопфа

В математике группа Хопфа — это группа G , для которой каждый эпиморфизм

ГГ

является изоморфизмом . Эквивалентно, группа является хопфовой тогда и только тогда, когда она не изоморфна ни одному из своих собственных факторов . [1]

Группа G является кохопфовой, если каждый мономорфизм

ГГ

является изоморфизмом. Эквивалентно, G не изоморфна ни одной из своих собственных подгрупп .

Примеры групп Хопфа

Примеры нехопфовских групп

Характеристики

Коллинз (1969) показал, что это неразрешимая проблема — определить, если задано конечное представление группы, является ли группа хопфовой. В отличие от неразрешимости многих свойств групп, это не является следствием теоремы Адяна–Рабина , поскольку хопфовость не является марковским свойством , как показали Миллер и Шупп (1971).

Ссылки

  1. ^ Флориан Буйе. "Определение 7.6.". Презентация групп (PDF) . Университет Уорика. Группа G является нехопфовой, если существует 1 ≠ N ◃ G, такое что G/N ≅ G
  2. ^ Кларк, Пит Л. (17 февраля 2012 г.). «Всегда ли можно найти сюръективный эндоморфизм групп, такой, что он не является инъективным?». Math Stack Exchange . Это потому, что ( R ,+) не имеет кручения и делится, а значит, является Q -векторным пространством. Поэтому — поскольку каждое векторное пространство имеет базис, по Аксиоме выбора — оно изоморфно прямой сумме копий ( Q ,+), индексированных множеством континуальной мощности. Это делает свойство Хопфа очевидным.
  3. ^ Флориан Буйе. "Теорема 7.7.". Представление групп (PDF) . Университет Уорика.

Внешние ссылки