Русская Википедия:Бинарная группа икосаэдра

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Бинарная группа икосаэдра 2I или <2,3,5> — это неабелева группа порядка 120. Группа является расширением Шаблон:Не переведено 5 I или (2,3,5) порядка 60 циклической группой порядка 2 и является прообразом группы икосаэдра при 2:1 Шаблон:Не переведено 5

<math>\operatorname{Spin}(3) \to \operatorname{SO}(3)</math>

специальной ортогональной группы спинорной группой. Отсюда следует, что бинарная группа икосаэдра является дискретной подгруппой группы Spin(3) порядка 120.

Не следует путать эту группу с Шаблон:Не переведено 5, имеющей тот же порядок 120, но являющейся подгруппой ортогональной группы O(3).

Бинарная группа икосаэдра лучше всего описывается как дискретная подгруппа единичных кватернионов, при изоморфизме <math>\operatorname{Spin}(3) \cong \operatorname{Sp}(1)</math>, где Sp(1) является мультипликативной группой единичных кватернионов.

Элементы

Явным образом бинарная группа икосаэдра задаётся объединением 24 кватернионов Гурвица

{ ±1, ±i, ±j, ±k, ½ (±1 ± i ± j ± k) }

со всеми 96 кватернионами, получаемыми из

½ (0 ± i ± φ⁻¹j ± φk)

путём чётных перестановок координат (все возможные комбинации). Здесь φ = ½ (1 + √5) — золотое сечение.

В сумме получаем 120 элементов (единичных икосианов). Их модуль равен единице, а потому они лежат в группе единиц кватернионов Sp(1). Выпуклая оболочка этих 120 элементов в 4-мерном пространстве образует правильный 4-мерный многогранник, известный как шестисотячейник.

Свойства

Центральное расширение

Бинарная группа икосаэдра, обозначаемая 2I, является Шаблон:Не переведено 5 группы икосаэдра и поэтому Шаблон:Не переведено 5 — это совершенное центральное расширение простой группы.

Конкретно, группа вписывается в короткую точную последовательность

<math>1\to\{\pm 1\}\to 2I\to I \to 1.</math>

Последовательность не является Шаблон:Не переведено 5, то есть 2I не является полупрямым произведением { ±1 } на I. Фактически не существует подгруппы группы 2I, изоморфной I.

Центром группы 2I является подгруппа { ±1 }, так что группа внутренних автоморфизмов изоморфна I. Полная группа автоморфизмов изоморфна S₅ (симметрической группе перестановок 5 букв), точно так же, как <math>I\cong A_5</math> — любой автоморфизм 2I фиксирует нетривиальный элемент центра (<math>-1</math>), а потому сводится к автоморфизму I, и обратно, любой автоморфизм I поднимается к автоморфизму 2I.

Сверхсовершенство

Бинарная группа икосаэдра является каиновой, то есть она совпадает со своим коммутантом. Фактически 2I является единственной совершенной группой порядка 120. Отсюда следует, что 2I является неразрешимой.

Более того, бинарная группа икосаэдра является Шаблон:Не переведено 5, что означает, что её две первые группы гомологий нулевые — <math>H_1(2I;\mathbf{Z})\cong H_2(2I;\mathbf{Z})\cong 0.</math> Это означает, что её абелианизация тривиальна (группа не имеет нетривиальных абелевых частных) и что её Шаблон:Не переведено 5 тривиален (группа не имеет нетривиальных совершенных центральных расширений). Фактически бинарная группа икосаэдра является наименьшей (нетривиальной) сверхсовершенной группой.

Бинарная группа икосаэдра, однако, не является Шаблон:Не переведено 5, поскольку H_n(2I,Z) является циклической порядка 120 для n = 4k+3 и тривиальной для других n > 0Шаблон:Sfn.

Изоморфизмы

Бинарная группа икосаэдра является подгруппой Spin(3) и накрывает группу икосаэдра, которая является подгруппой SO(3). Группа икосаэдра изоморфна группе симметрий 4-мерного симплекса, которая является подгруппой SO(4), а бинарная группа икосаэдра изоморфна двойному накрытию её в Spin(4). Заметим, что симметрическая группа <math>S_5</math> имеет 4-мерное представление (это обычно наименьшее по размерности неприводимое представление полных симметрий <math>(n-1)</math>-мерного симплекса), а потому полный набор симметрий 4-мерного симплекса равен <math>S_5,</math> но это не полная группа икосаэдра (это две различные группы порядка 120).

Бинарную группу икосаэдра можно рассматривать как Шаблон:Не переведено 5 <math>A_5,</math>, <math>2\cdot A_5 \cong 2I</math>. Этот изоморфизм накрывает изоморфизм группы икосаэдра с альтернирующей группой <math>A_5 \cong I</math> и может рассматриваться как подгруппы Spin(4) и SO(4) (а также подгруппы симметрической группы <math>S_5</math> и любого из её двойных покрытий <math>2\cdot S_5^\pm</math>, которые, в свою очередь, являются подгруппами и пин-группы, и ортогональной группы <math>\operatorname{Pin}^\pm(4) \to \operatorname{O}(4)</math>).

В отличие от икосаэдральной группы, которая является Шаблон:Не переведено 5 в трёхмерном пространстве, эти тетраэдральные и альтернирующие группы (и их двойные покрытия) существуют во всех размерностях.

Можно показать, что икосаэдральная группа изоморфна специальной линейной группе SL(2,5) — группе всех 2×2 матриц над конечным полем F₅ с единичным определителем.

Задание группы

Группа 2I имеет задание

<math>\langle r,s,t \mid r^2 = s^3 = t^5 = rst \rangle</math>

что эквивалентно

<math>\langle s,t \mid (st)^2 = s^3 = t^5 \rangle.</math>

Генераторы этого соотношения задаются формулой

<math>s = \tfrac{1}{2}(1+i+j+k) \qquad t = \tfrac{1}{2}(\varphi+\varphi^{-1}i+j).</math>

Подгруппы

Единственной нормальной подгруппой группы 2I является центр { ±1 }.

По третьей теореме об изоморфизме существует соответствие Галуа между подгруппами 2I и подгруппами I, где оператором замыкания на подгруппах 2I является умножение на { ±1 }.

Элемент <math>-1</math> является единственным элементом порядка 2, а потому содержится во всех подгруппах чётного порядка — любая подгруппа группы 2I либо имеет нечётный порядок, либо является прообразом подгруппы группы I. Кроме циклических групп, образованных различными элементами (которые могут иметь нечётный порядок), другими подгруппами группы 2I (с точностью до сопряжения) могут быть только:

• Шаблон:Не переведено 5 порядков 12 и 20 (покрывающие диэдральные группы D₃ и D₅ в I).
• Группа кватернионов, состоящая из 8 единиц Липшица, образует подгруппу с индексом 15, которая также является дициклической группой Dic₂. Эта подгруппа покрывает стабилизатор ребра.
• 24 кватерниона Гурвица образуют подгруппу с индексом 5, бинарную группа тетраэдра. Эта подгруппа накрывает хиральную тетраэдральную группу. Последняя является самонормализованной, так что её класс сопряжённости имеет 5 элементов (это даёт отображение <math>2I \to S_5</math>, образ которого — <math>A_5</math>).

Связь с 4-мерными группами симметрии

4-мерным аналогом Шаблон:Не переведено 5 I_h служит симметрическая группа шестисотячейника (а также двойственного ему стодвадцатиячейника). Первая является группой типа H₃, а вторая — группой типа H₄ с тем же обозначением [3,3,5]. Её подгруппа вращений, Шаблон:Не переведено 5, является группой порядка 7200, живущей в SO(4). SO(4) имеет Шаблон:Не переведено 5 (Spin(4)) точно таким же образом, как Spin(3) является накрывающей группой SO(3). Подобно изоморфизму Spin(3) = Sp(1) группа Spin(4) изоморфна Sp(1) × Sp(1).

Прообраз [3,3,5]⁺ в Spin(4) (четырёхмерный аналог 2I) — это в точности прямое произведение 2I × 2I порядка 14400. Группа вращений шестисотячейника — это

[3,3,5]⁺ = (2I × 2I) / { ±1 }.

Различные другие четырёхмерные симметрические группы можно образовать из 2I. См. подробности у Конвея и Смита ConwayШаблон:Sfn.

Приложения

Пространство смежных классов Spin(3) / 2I = S³ / 2I является Шаблон:Не переведено 5, называемое сферой Пуанкаре. Это пример гомологической сферы, то есть 3-многообразие, группы гомологий которой равны таким же группам 3-сферы. Фундаментальная группа сферы Пуанкаре изоморфна бинарной группе икосаэдра, так как сфера Пуанкаре является факторгруппой 3-сферы по бинарной группе икосаэдра.

См. также

• Шаблон:Не переведено 5
• Бинарная циклическая группа
• Шаблон:Не переведено 5
• Бинарная группа тетраэдра
• Шаблон:Не переведено 5

Ссылки

• Шаблон:Книга
• Шаблон:Книга 6.5 The binary polyhedral groups, стр. 68
• Шаблон:Книга

Шаблон:Rq