Правильный икосаэдр имеет 60 вращательных (или сохраняющих ориентацию) симметрий и имеет 120, включая преобразования, которые комбинируют отражение и вращение. Правильный додекаэдр имеет тот же набор симметрий, поскольку он двойственен икосаэдру.
Набор сохраняющих ориентацию симметрий образует группу, которую обозначают A5 (знакопеременная группа на 5 буквах), а полная группа симметрии (включающая отражения) является произведением A5 Z2. Последняя группа известна также как группа Коксетера H3 и представляется в как [5,3] и имеет диаграмму Коксетера — Дынкина .
Как точечная группа Кроме двух бесконечных семейств призматической и антипризматической симметрии, вращательная икосаэдральная симметрия или хиральная икосаэдральная симметрия хиральных объектов и полная икосаэдральная симметрия или ахиральная икосаэдральная симметрия являются дискретными точечными симметриями (или, эквивалентно, симметриями на сфере) с наибольшей группой симметрии.
Икосаэдральная симметрия не совместима с трансляционной симметрией, так что нет ассоциированных кристаллографических точечных групп или кристаллографических групп.
Шёнфлис АбстрактнаяструктураI[5,3]+532A560Ih[5,3]*532120
Задания групп, соответствующие описанным выше:
Это соответствует икосаэдральным группам (вращения и полным), которые являются (2,3,5) группами треугольника.
Первое задание группы дал Гамильтон в 1856 году в своей статье по икосианам.
Заметим, что возможны другие задания, как, например, знакопеременная группа (для I).
Визуализация Шёнфлис()ЭлементыЗеркальные диаграммыОртогональнаяСтереографическая проекцияIh(*532)[5,3]Зеркальныхлиний:15 I(532)[5,3]+Точеквращения:125203302
Структура группы Рёбра сферического соединения пяти октаэдров представляют 15 плоскостей зеркального отражения в виде больших цветных окружностей. Каждый октаэдр может представлять 3 ортогональных плоскостей зеркального отражения по его рёбрам.Пиритоэдральная симметрия является подгруппой с индексом 5 икосаэдральной симметрии, с 3 ортогональными зелёными линиями отражений и 8 красных порядка 3 точек вращения. Поскольку подгруппа имеет индекс 5, имеется 5 других ориентаций пиритоэдральной симметрии. Группа вращений икосаэдра I имеет порядок 60. Группа I изоморфна группе A5, знакопеременной группе чётных перестановок из пяти объектов. Этот изоморфизм может быть реализован путём действия I на различные соединения, в частности на (которое вписано в двенадцатигранник), соединение пяти октаэдров, или одно из двух соединений пяти тетраэдров (которые энантиоморфны и вписаны в двенадцатигранник).
Группа содержит 5 версий Th с 20 версиями D3 (10 осей, 2 на ось), и 6 версий D5.
Полная икосаэдральная группа Ih имеет порядок 120. I является нормальной подгруппы группы Ih индекса 2. Группа Ih изоморфна , или , с центральной симметрией, соответствующей (1,-1), где Z2 записывается мультипликативно.
Ih действует на и соединение пяти октаэдров, но −1 действует как тождественный элемент (так как кубы и октаэдры центрально симметричны). Группа действует на соединение десяти тетраэдров — I действует на две хиральные половинки (соединения пяти тетраэдров), а −1 обменивает местами две половинки. В частности, она не действует как S5 и эти группы не изоморфны, смотрите ниже.
Группа содержит 10 версий D3d и 6 версий D5d (симметрии аналогичные антирпизимам).
I изоморфна также группе PSL2(5), но Ih не изоморфна SL2(5).
Группы, которые часто путают с группой симметрий икосаэдра Следующие группы имеют порядок 120, но не изоморфны друг другу: S5, симметрическая группа 5 элементов Ih, полная икосаэдральная группа (предмет данной статьи, известная также как H3) 2I, бинарная группа икосаэдра Они соответствуют следующим коротким точным последовательностям (последняя из которых не разбивается) и произведению
Иными словами, является нормальной подгруппой группы является факторгруппой группы , которая является прямым произведением является факторгруппой группы Заметим, что имеет неприводимое 3-мерное представление (как икосаэдральная группа вращений), но не имеет неприводимого 3-мерного представления, соответствующего полной икосаэдральной группе, не являющейся симметрической группой.
Их можно соотнести с линейными группами над конечным полем с пятью элементами, которые представляют собой подгруппы накрывающих групп прямо. Ни одна из них не является полной икосаэдральной группой: проективная специальная линейная группа; проективная полная линейная группа; специальная линейная группа.
Классы сопряжённости + Классы сопряжённостиIIh Тождество вращение на 72°, порядок 5 вращение на 144°, порядок 5 вращение на 120°, порядок 3 вращение на 180°, порядок 2 Отражение зеркальное отражение с вращением на 108°, порядок 10 зеркальное отражение с вращением на 36°, порядок 10 r зеркальное отражение с вращением на 60°, порядок 6 зеркальное отражение, порядок 2
Явное представление матрицами вращений В контексте вычислений, группа икосаэдральных вращений , описанная выше, может быть представлена следующими 60 матрицами поворота. Оси вращений соответствуют всем циклическим перестановкам , где является золотым сечением. Отражение относительно любой плоскости, проходящей через начало координат, дают полную икосаэдральную группу . Все эти матрицы могут быть получены, начав с единичной матрицы, последовательным умножением каждой матрицы в наборе на любые из двух произвольных невырожденных матриц, таких как и , пока размер множества не перестанет расти.
Подгруппы с полной икосаэдральной симметрией
ШёнфлисГ-МСтруктураЦиклыПорядокИндексIh[5,3]*5322/mA51201D2h[2,2]*222mmmDih2815C5v*555mDih51012C3v*333mDih3=S3620C2v*222mmDih2=Dih12430Cs[ ]* or mDih1260Th[3+,4]3*2m245D5d[2+,10]2*5m2206D3d[2+,6]2*3m1210[2+,2]2*2/mDih2=Z2430S10[2+,10+]1012S6[2+,6+]620S2[2+,2+]260I[5,3]+532532A5602T[3,3]+332332A41210D5[2,5]+522522Dih51012D3[2,3]+322322Dih3=S3620D2[2,2]+222222430C5+555524C3+333340C2+222260C1[ ]+1111120
Все эти классы подгрупп сопряжены (то есть все стабилизаторы вершин сопряжены) и допускают геометрическую интерпретацию.
Заметим, что стабилизатор вершины/ребра/грани/многогранника и его противоположный равны.
Стабилизаторы вершин Стабилизаторы противоположных пар вершин можно интерпретировать как стабилизаторы осей, которые они образуют. стабилизаторы вершин в I дают циклические группы C3 стабилизаторы вершин в Ih дают диэдральные группы D3 стабилизаторы противоположных пар вершин в I дают диэдральные группы D3 стабилизаторы противоположных пар вершин в Ih дают
Стабилизаторы рёбер Стабилизаторы противоположных пар рёбер можно интерпретировать как стабилизаторы прямоугольника, который они образуют. Стабилизаторы рёбер в I дают циклические группы Z2 Стабилизаторы рёбер в Ih дают четверные группы Клейна стабилизаторы пар рёбер в I дают четверные группы Клейна . Существует 5 из них, задаваемых вращением на 180° в 3 перпендикулярных осях. стабилизаторы пар рёбер в Ih дают . Существует 5 таких, и они задаются отражениями относительно 3 перпендикулярных осей.
Стабилизаторы граней Стабилизаторы противоположных пар граней можно интерпретировать как стабилизаторы антипризмы, которую они порождают. стабилизаторы граней в I дают циклические группы C5 стабилизаторы граней в Ih дают диэдральные группы D5 стабилизаторы противоположных пар граней в I дают диэдральные группы D5 стабилизаторы противоположных пар граней в Ih дают
Стабилизаторы многогранников Для каждого из них есть 5 сопряжённых копий и операция сопряжения образует отображение, фактически, изоморфизм . стабилизаторы вписанного тетраэдра в I являются копией T стабилизаторы вписанного тетраэдра в Ih являются копией T стабилизаторы вписанных кубов (или противоположные пары тетраэдров или октаэдров) в I являются копиями T стабилизаторы вписанных кубов (или противоположные пары тетраэдров или октаэдров) в Ih являются копиями Th
Фундаментальная область Фундаментальные области для икосаэдральной группы вращений и полная икосаэдральная группа задаются как: икосаэдральная группа вращенийIПолная икосаэдральная группа IhГрани гекзакисикосаэдра являются фундаментальными областями
В гекзакисикосаэдре одна полная грань является фундаментальной областью. Другие тела с той же симметрией могут быть получены путём настройкой ориентации граней, например, выравниванием выбранного подмножества граней с последующим объединением каждого подмножества в грань, или путём замены каждой грани на несколько граней, или путём создания неплоской поверхности.
Многогранники с икосаэдральной симметрией
Хиральные многогранники КлассСимволыРисунокАрхимедовы sr{5,3}КаталановыV3.3.3.3.5
Полная икосаэдральная симметрия Правильный многогранникТела Кеплера — ПуансоАрхимедовы тела{5,3}{5/2,5}{5/2,3}t{5,3}t{3,5}r{3,5}rr{3,5}tr{3,5}Правильный многогранникТела Кеплера — ПуансоКаталановы тела{3,5}={5,5/2}={3,5/2}=V3.10.10V5.6.6V3.5.3.5V3.4.5.4V4.6.10
Другие объекты с икосаэдральной симметрией
Структура вируса и Капсиды В химии ион ([B12H12]2−) и молекула додекаэдрана (C20H20)
Жидкие кристаллы с икосаэдральной симметрией Для промежуточного стояния вещества, называемого жидкими кристаллами, существование икосаэдральной симметрии предположили Х. Кляйнерт и К. Маки и впервые детально проанализировали структуру этих кристаллов. См. обзор статьи здесь. В алюминии икосаэдральную структуру обнаружил тремя годами позже Дан Шехтман, что принесло ему Нобелевскую премию в 2011 году.
Связанные геометрии Группа симметрий икосаэдра эквивалентна проективной специальной линейной группе PSL(2,5) и является группой симметрии модулярной кривой X(5). Помимо этого, группа PSL(2,p) является группой симметрии модулярной кривой X(p). Модулярная кривая X(5) геометрически является двенадцатигранником с каспом в центре каждой грани и имеет соответствующую группу симметрии.
Эту геометрию и ассоциированную группу симметрии изучал Феликс Кляйн как группы монодромии поверхности Белого — римановы поверхности с голоморфным отображением в риманову сферу, разветвлённым в 0, 1 и бесконечности — каспы являются точками на бесконечности, в то время как вершины и центры каждого ребра лежат на 0 и 1. Степень накрытия (число листов) равно 5.
Это возникает из его попыток дать геометрическое обоснование, почему икосаэдральная симметрия появляется в решении уравнения пятой степени в теории из знаменитой статьи Кляйна. Современное описание дано в статье Тота.
Исследования Кляйна продолжились с его открытием симметрий 7 и 11 порядков в статьях 1878-1879 годов (и ассоциированных накрытий степени 7 и 11) и (так называемых «детских рисунков»), давших первые появления квартик Кляйна, ассоциированная геометрия которых имеет мозаику из 24 семиугольников (с каспом в центре каждого семиугольника).
Подобные геометрии случаются для групп PSL(2,n) и более общих групп для других модулярных кривых.
Более экзотичное проявление, существует особая связь между группами PSL(2,5) (порядка 60), PSL(2,7) (порядка 168) и PSL(2,11) (порядка 660), которые также допускают геометрические интерпретации — PSL(2,5) является симметриями икосаэдра (род 0), PSL(2,7) — квартики Клейна (род 3), а PSL(2,11) — поверхности фуллерона (род 70). Эти группы образуют «троицу» в терминологии В. И. Арнольда, что даёт основу для различных связей. См. подробнее в статье «Троицы».
Также группа симметрий икосаэдра тесно связана с другими группами симметрий правильных многогранников.
См. также Тетраэдральная симметрия
Бинарная группа икосаэдра Икосианы
Примечания
Литература
Перевод на английский
Oeuvres, Tome 3, pp. 140—165
Ссылки
THE SUBGROUPS OF W(H3) (Подгруппы других групп Коксетера) Gotz Pfeiffer
Категория:Конечные группы Категория:Вращательная симметрия