Дедекинда группа - Dedekind group

В теории групп , дедекиндово группа представляет собой группу G такой , что каждая подгруппа из G является нормальной . Все абелевы группы являются дедекиндовыми. Неабелева дедекиндова группа называется гамильтоновой группой .

Самый известный (и самый маленький) пример гамильтоновой группы - это группа кватернионов порядка 8, обозначаемая Q 8 . Дедекинд и Бэр показали (в случае конечного и соответственно бесконечного порядка), что каждая гамильтонова группа является прямым произведением вида G = Q 8 × B × D , где B - элементарная абелева 2-группа , а D - периодическая абелева группа со всеми элементами нечетного порядка.

Группы Дедекинда названы в честь Ричарда Дедекинда , который исследовал их в ( Dedekind 1897 ), доказав форму приведенной выше структурной теоремы (для конечных групп ). Он назвал неабелевы в честь Уильяма Роуэна Гамильтона , первооткрывателя кватернионов .

В 1898 году Джордж Миллер описал структуру гамильтоновой группы в терминах ее порядка и порядка ее подгрупп. Например, он показывает, что «группа Гамильтона порядка 2 a имеет 2 2 a - 6 групп кватернионов в качестве подгрупп». В 2005 году Хорват и др. Использовали эту структуру для подсчета количества гамильтоновых групп любого порядка n = 2 e o, где o - нечетное целое число. Когда e <3 , гамильтоновы группы порядка n отсутствуют , в противном случае их количество равно количеству абелевых групп порядка o .

Примечания

Ссылки