Loading AI tools
Из Википедии, свободной энциклопедии
Точечная группа в трёхмерном пространстве — группа изометрий в трёхмерном пространстве, не перемещающая начало координат, или группа изометрий сферы. Группа является подгруппой ортогональной группы O(3), группы всех изометрий, оставляющих начало координат неподвижным, или, соответственно, группы ортогональных матриц. O(3) сама является подгруппой евклидовой группы[англ.] E(3) движений 3-мерного пространства.
![]() Симметрии-инволюции Cs, (*) [ ] = ![]() |
![]() Циклическая симметрия Cnv, (*nn) [n] = ![]() ![]() ![]() |
![]() Диэдральная симметрия Dnh, (*n22) [n,2] = ![]() ![]() ![]() ![]() ![]() | |
Группы многогранников, [n,3], (*n32) | |||
---|---|---|---|
![]() Тетраэдральная симметрия Td, (*332) [3,3] = ![]() ![]() ![]() ![]() ![]() |
![]() Октаэдральная симметрия Oh, (*432) [4,3] = ![]() ![]() ![]() ![]() ![]() |
![]() Икосаэдральная симметрия Ih, (*532) [5,3] = ![]() ![]() ![]() ![]() ![]() |
Группы симметрии объектов являются группами изометрии. Соответственно, анализ групп изометрии является анализом возможных симметрий. Все изометрии ограниченного трёхмерного объекта имеют одну или более фиксированных точек (не меняющих положение при симметрии). Мы выбираем начало координат в качестве одной из таких точек.
Группа симметрий объекта иногда называется полной группой симметрии как противопоставление его группе вращений или собственной группе симметрии, пересечению полной группы симметрии и группы вращений SO(3) трёхмерного пространства. Группа вращений объекта совпадает с его полной группой симметрии тогда и только тогда, когда объект хирален.
Точечные группы в трёхмерном пространстве интенсивно используются в химии, особенно при описании симметрий молекулы и молекулярных орбиталей, образующих ковалентные связи, и в этом контексте эти группы называются молекулярными точечными группами[англ.].
Конечные группы Коксетера являются специальным множеством точечных групп, образованных набором зеркальных плоскостей, пересекающихся в одной точке. Группа Коксетера ранга n имеет n зеркал и представляется диаграммой Коксетера — Дынкина. Нотация Коксетера[англ.] предоставляет скобочную запись, эквивалентную диаграмме Коксетера с символами разметки для вращательных и других точечных подгрупп симметрий.
SO(3) является подгруппой E+(3)[англ.], которая состоит из прямых изометрий, т.е. изометрий, сохраняющих ориентацию. Она содержит изометрии этой группы, оставляющие начало координат без движения.
O(3) является прямым произведением SO(3) и группы, образованной центральной симметрией:
Таким образом, имеется 1-в-1 соответствие между всеми прямыми изометриями и непрямыми изометриями, получаемыми центральной симметрией. Имеется также 1-в-1 соответствие между всеми группами прямых изометрий H в O(3) и всеми группами K изометрий в O(3), содержащих центральную инверсию:
Например, если H является группой C2, то K равно C2h. Если же H является группой C3, то K равно S6. (Смотрите ниже определение этих групп.)
Если группа прямых изометрий H имеет подгруппу L с индексом 2, то, кроме группы, содержащей центральную симметрию, есть ещё соответствующая группа, содержащая непрямые изометрии, но не содержащие центральной симметрии:
где изометрия ( A, I ) отождествляется с A. Примером может быть C4 для H и S4 для M.
Таким образом, M получается из H с помощью центральной симметрии изометрий из H \ L. Эта группа M является абстрактной группой, изоморфной H. Обратно, для всех групп изометрии, содержащих непрямые изометрии, но не содержащие центральной симметрии, мы можем получить группу вращений путём применения центральной симметрии к непрямым изометриям.
В двумерном пространстве циклическая группа вращений порядка k Ck (вращений на угол 180°/ k) для любых положительных целых k является подгруппой O(2,R) и SO(2,R). Соответственно, в трёхмерном пространстве для любой оси циклическая группа вращений порядка k вокруг оси является нормальной подгруппой всех вращений вокруг оси. Поскольку любая подгруппа с индексом два нормальна, группа вращений (Cn) является нормальной как в группе, полученной добавлением зеркальных симметрий относительно плоскостей, содержащих оси (Cnv), так и в группе, полученной добавлением зеркальных симметрий относительно плоскостей, перпендикулярных осям (Cnh).
Изометрии пространства R3, оставляющие начало координат неподвижным и образующие группу O(3,R), можно распределить на группы следующим образом:
4-я и 5-я изометрии, в частности, а в более широком смысле и 6-я, называются несобственными вращениями[англ.].
Если сравниваются симметрии двух объектов, то начало координат для каждого объекта выбирается отдельно, т.е. они не обязательно будут имеет один и тот же центр. Более того, считается, что объекты имеют тот же тип симметрии, если их группы симметрии являются сопряжёнными группами группы O(3) (две подгруппы H1 и H2 группы G сопряжены, если существует g ∈ G, такой, что H1 = g−1H2g ).
Например, два трёхмерных объекта имеют тот же тип симметрии, если
В случаем нескольких плоскостей симметрии и/или осей вращения две группы симметрии имеют тот же тип тогда, и только тогда, когда имеется вращение, отображающее полную структуру первой группы симметрии во вторую. (Фактически, может быть более чем одно вращение, но не бесконечное число). Определение сопряжения позволяет также зеркальное отражение структуры, но необходимости в этом нет, поскольку структура сама по себе ахиральна. Например, если группа симметрии содержит ось порядка 3, она содержит вращения в двух противоположных направлениях (структура хиральна для 11 пар кристаллографических групп с винтовой осью).
Существует множество бесконечных групп изометрии, например, "циклическая группа" (предполагается группа, образованная одним элементом – не путать с группой с кручением), образованная вращением на иррациональный угол вокруг оси. Мы можем создать нецикличные абелевы группы путём добавления дополнительных кручений вокруг той же оси. Существуют также неабелевы группы, образованные вращениями вокруг различных осей. Они обычно (в общем случае) являются свободными группами. Они будут бесконечными, если не выбрать вращение определённым образом.
Все упомянутые до этого момента бесконечные группы не являются замкнутыми как топологические подгруппы группы O(3).
Полная группа O(3) является группой сферической симметрии. SO(3) является соответствующей группой вращений. Другие бесконечные группы изометрии состоят из всех вращений вокруг оси, проходящей через начало координат, и из такого же вращения с дополнительной зеркальной симметрией относительно плоскостей, проходящих через эту ось и/или зеркальной симметрией относительно плоскости, проходящей через начало координат и перпендикулярной оси. Эти группы с зеркалами, проходящими через ось, с или без зеркала, проходящего через начало координат и перпендикулярного оси, являются группами симметрии для двух типов цилиндрической симметрии[англ.]. Отметим, что любой физический объект, имеющий бесконечные вращательные симметрии, будет также иметь зеркальные симметрии относительно плоскостей, проходящих через ось.
Симметрии в 3-мерном пространстве, оставляющие на месте начало координат, полностью определяются симметриями на сфере с центром в начале координат. Для конечных трёхмерных точечных групп см. также Группы сферической симметрии.
С точностью до сопряжённости множество конечных трёхмерных точечных групп состоит из:
Набор точечных групп сходен с дискретной группой переноса — 27 из 7 бесконечных серий и 5 из 7 оставшихся, всего 32 так называемых кристаллических точечных групп. См. также Теорема о кристаллографических ограничениях[англ.].
Бесконечные серии призматических групп имеют индекс n, который может быть любым натуральным числом. В каждой серии n-я группа симметрии содержит вращение порядка n вокруг оси, т.е. вращение на угол 360°/n. Случай n=1 соответствует отсутствию движения. Существует четыре серии без дополнительных осей вращательной симметрии (см. циклические симметрии[англ.]) и три с дополнительными осями симметрии порядка 2 (см. диэдральная симметрия). Их можно понимать как точечные группы в плоскости[англ.], расширенные координатными осями и отражениями в них. Они связаны с группами бордюра [1] и могут рассматриваться как бордюрные группы, повторяющиеся n раз вокруг цилиндра.
В следующей таблице даны некоторые виды обозначений для точечных групп: символика Германа — Могена (используется в кристаллографии), символы Шёнфлиса (используется для описания молекулярной симметрии), орбифолдная нотация[англ.] и нотация Коксетера[англ.]. Последние три не только удобны для понимания свойств точечных групп, но также определяют порядок группы. Это унифицированные записи, применимые к группам обоев и группам бордюров. Для кристаллографических групп n ограничен значениями 1, 2, 3, 4 и 6. Если удалить кристаллографические ограничения, получим группы для любого натурального числа.
Серии:
Германа — Могена |
Шёнфлиса | Орби- фолдная[англ.] |
Коксетера[англ.] | Бордюр | Структура (Порядок[англ.]) |
Пример | Комментарии | |||
---|---|---|---|---|---|---|---|---|---|---|
Чётное n | Нечётное n | (цилиндр) | ||||||||
n | Cn | nn | [n]+ | ![]() ![]() ![]() | p1 | n | Zn (n) | ![]() | вращательная симметрия порядка n | |
2n | n | S2n | n× | [2n+,2+] | ![]() ![]() ![]() ![]() ![]() ![]() | p11g | Z2n (2n) | ![]() | Зеркально-поворотная симметрия[англ.] порядка n. Не путать с симметрическими группами | |
n/m | 2n | Cnh | n* | [n+,2] | ![]() ![]() ![]() ![]() ![]() | p11m | Zn×Dih1 (2n) | ![]() | ||
nmm | nm | Cnv | *nn | [n] | ![]() ![]() ![]() | p1m1 | Dihn (2n) | ![]() | Пирамидальная симметрия; в биологии — бирадиальная симметрия | |
n22 | n2 | Dn | 22n | [n,2]+ | ![]() ![]() ![]() ![]() ![]() | p211 | 2n | Dihn | Диэдральная симметрия | |
2n2m | nm | Dnd, Dnv | [2n,2+] | ![]() ![]() ![]() ![]() ![]() ![]() | p2mg | 4n | Dih2n (2n) | ![]() | Антипризматическая симметрия | |
n/mmm | 2n2m | Dnh | *22n | [n,2] | ![]() ![]() ![]() ![]() ![]() | p2mm | Dihn×Dih1 (4n) | ![]() | Призматическая симметрия |
Для нечётных n мы имеем Z2n = Zn × Z2 и Dih2n = Dihn × Z2.
Понятие горизонтальная (h) и вертикальная (v), а также соответствующие (нижние) индексы, относятся к дополнительным зеркальным плоскостям, которые могут быть параллельны оси вращения (вертикальны) или перпендикулярны оси вращения (горизонтальны).
Простейшие нетривиальные группы имеют инволюционную симметрию (абстрактная группа Z2):
Вторая из этих групп является первой из групп с одной осью (циклических групп) Cn порядка n (применимых также и в двумерном пространстве), которые порождаются одним вращением на угол 360°/n. В дополнение можно добавить зеркальную плоскость, перпендикулярную оси, что даёт группу Cnh порядка 2n, или множество n зеркал, содержащих ось, что даёт группу Cnv, также порядка 2n. Последняя является группой симметрии правильной пирамиды с n сторонами. Типичный объект с группой симметрии Cn или Dn — пропеллер.
Если добавлены и вертикальные плоскости отражения, и горизонтальные плоскости, их пересечения дают n осей вращения на 180°, так что группа больше не одноосная. Эта новая группа порядка 4n называется Dnh. Её подгруппы вращений — диэдрическая группа Dn порядка 2n, которая, всё же, имеет оси вращения порядка 2, перпендикулярные основной оси вращения, но не имеет плоскостей зеркального отражения. Заметим, что в 2D Dn включает отражения, которые можно видеть как перекидывание через плоские объекты без различения лицевой и обратной сторон, но в 3D две операции различаются — группа содержит «перекидывание через», но не отражения.
Имеется ещё одна группа в этом семействе, называемая Dnd (или Dnv), которая имеет вертикальные зеркальные плоскости, содержащие основную ось вращения, но вместо горизонтального зеркала она имеет изометрию, которая комбинирует отражение относительно горизонтальной плоскости и вращение на угол 180°/n. Dnh является группой симметрии правильной (n+2)-сторонней призмы и для правильной (2n)-сторонней бипирамды. Dnd является группой симметрии для правильной (n+2)-сторонней антирпризмы, а также для правильного (2n)-стороннего трапецоэдра. Dn является группой симметрии частично повёрнутой призмы.
Группы D2 и D2h замечательны тем, что в них нет специальных осей вращения. Имеется три перпендикулярные оси порядка 2 [2]. D2 является подгруппой полиэдральных симметрий (см. ниже), а D2h является подгруппой полиэдральных симметрий Th и Oh. D2 можно обнаружить в гомотетрамерах, таких как конканавалин А, в тетраэдральных комплексных соединениях с четырьмя одинаковыми хиральными лигандами[англ.], или в молекулах, таких как тетракис (хлорфторметил)метан, если все хлорфторметиловые группы имеют одну и ту же хиральность. Элементы D2 находятся в 1-к-2 соответствии с вращениями, заданными обратимыми элементами кватернионов Липшица.
Группа Sn порождается комбинацией отражения в горизонтальной плоскости и вращения на угол 360°/n. Для нечётных n группа совпадает с группой, порождённой двумя отдельными Cnh порядка 2n, а потому обозначение Sn не является необходимым. Для чётных n, однако, они различны и имеют порядки n. Подобно Dnd группа содержит несколько несобственных вращений[англ.], но не содержит соответствующих вращений.
Все группы симметрии в 7 бесконечных сериях различны, за исключением следующих четырёх равных пар:
S2 — это группа порядка 2 с единственной симметрией относительно точки (Ci )
Здесь "Равный" означает тот же самый с точностью до сопряжённости в пространстве. Это строже, чем «с точностью до алгебраического изоморфизма». Например, существует три различные группы порядка два в первом смысле, но только одна во втором. Подобным образом, например, группа S2n алгебраически изоморфна Z2n.
Группы можно построить следующим образом:
Принимая n равным ∞, получим группу с непрерывными осевыми вращениями:
Оставшиеся точечные группы имеют очень высокую или полиэдральную симметрию, поскольку они имеют более одной оси вращения порядка, большего 2. Здесь Cn обозначает ось вращения на 360°/n, а Sn обозначает ось несобственного вращения на тот же угол. В столбце обозначений указаны орбифолдная нотация[англ.] (в круглых скобках), нотация Коксетера[англ.] (диаграмма Коксетера), полная символика Германа — Могена и сокращенная форма, если она отлична. Список крупп:
T, (332) [3,3]+ ( ![]() ![]() ![]() ![]() ![]() 23 порядок 12 | хиральная Тетраэдральная симметрия | Есть четыре C3 оси, каждая проходит через две вершины куба (по большой диагонали) или высоты правильного тетраэдра, и три оси C2 через центры граней куба или середины (противоположных) сторон тетраэдра. Эта группа изоморфна группе A4, знакопеременной группе на 4 элементах и является группой вращений правильного тетраэдра. Группа является нормальной подгруппой групп Td, Th и октаэдральных симметрий. Элементы группы соответствуют 1-к-2 вращениям, которые задаются 24 единицами кватернионов Гурвица ("Бинарная группа тетраэдра"). |
Td, (*332) [3,3] ( ![]() ![]() ![]() ![]() ![]() 43m порядок 24 | полная тетраэдральная симметрия | Эта группа имеет те же оси вращения, что и T, но с шестью зеркальными плоскостями, каждая содержит два ребра куба или одно ребро тетраэдра, одну ось C2 и две оси C3. Оси C2 становятся осями S4. Эта группа является группой симметрии правильного тетраэдра. Td изоморфна S4, симметрической группе 4 букв, поскольку имеется 1-в-1 соответствие между элементами Td и 24 перестановками четырёх осей порядка 3. Объект симметрии C3v относительно одной из осей порядка 3 получается действием Td на орбиту, состоящую из четырёх таких объектов, и Td соответствует множеству перестановок этих четырёх элементов. Td является нормальной подгруппой группы Oh. См. также изометрии правильного тетраэдра. |
Th, (3*2) [3+,4] ( ![]() ![]() ![]() ![]() ![]() 2/m3, m3 порядок 24 | пиритоэдральная симметрия | ![]() |
O, (432) [4,3]+ ( ![]() ![]() ![]() ![]() ![]() 432 порядок 24 | хиральная Октаэдральная симметрия[англ.] | Эта группа подобна группе T, но оси C2 становятся осями C4 и имеется 6 дополнительных осей C2, проходящих через середины рёбер куба. Эта группа изоморфна S4, поскольку её элементы 1-в-1 соответствуют 24 перестановкам осей порядка 3, как в T. Объект симметрии D3 относительно одной из осей порядка 3 получается действием O на орбиту, состоящую из четырёх таких объектов, и O соответствует множеству перестановок этих четырёх элементов. Группа является группой вращений куба и октаэдра. Если представить вращения кватернионами, O состоит из 24 единиц кватернионов Гурвица и 24 кватернионов Липшица с нормой, нормализованных делением на . Как и ранее, это 1-в-2 соответствие. |
Oh, (*432) [4,3] ( ![]() ![]() ![]() ![]() ![]() 4/m32/m, m3m порядок 48 | полная октаэдральная симметрия | Эта группа имеет те же оси вращения, что и O, но с зеркальными плоскостями, включающими плоскости симметрии Td и Th. Группа изоморфна S4 × Z2 (поскольку и O, и Ci являются нормальными подгруппами), и является группой симметрии куба и октаэдра. См. также изометрии куба[англ.] |
I, (532) [5,3]+ ( ![]() ![]() ![]() ![]() ![]() 532 порядок 60 | хиральная Икосаэдральная симметрия | Группа вращений икосаэдра и додекаэдра. Группа является нормальной подгруппой с индексом 2 полной группы симметрий Ih. Группа содержит 10 версий группы D3 и 6 версий группы D5 (вращательные симметрии, как у призм и антипризм). Группа содержит также пять версий Th (см. Соединение пяти тетраэдров). Группа I изоморфна группе A5, знакопеременной группе на 5 буквах, поскольку её элементы соответствуют 1-в-1 чётным перестановкам пяти Th симметрий (или пяти тетраэдров, упомянутых выше). |
Ih, (*532) [5,3] ( ![]() ![]() ![]() ![]() ![]() 532/m, 53m порядок 120 | полная икосаэдральная симметрия | Группа симметрии икосаэдра и додекаэдра. Группа Ih изоморфна A5 × Z2, поскольку I и Ci являются нормальными подгруппами. Группа содержит 10 версий D3d, 6 версий D5d (симметрии, как у антипризм), и 5 версий Th. |
Непрерывными группами, связанными с этой группой, являются:
Как замечено выше для непрерывных групп вращений, любой физический объект, имеющий симметрию K, будет иметь и симметрию Kh.
Порядок любой группы равен 2, делённое на орбифолдную эйлерову характеристику. Последняя равна 2 минус сумма значений, которые вычисляются по следующим правилам:
Это можно применить также для групп обоев и групп бордюров — для них сумма равна 2, что даёт бесконечный порядок. См. орбифолдная эйлерова характеристика[англ.].
Точечные группы отражений в трёхмерном пространстве, которые называются также группами Коксетера и могут быть заданы диаграммами Коксетера — Дынкина, представляют набор зеркал, пересекающихся в одной центральной точке, и ограничивающих доменную область в виде сферического треугольника на поверхности сферы. Группы Коксетера с менее чем 3 образующими имеют вырожденные сферические треугольные домены, такие как луночка[англ.] или полусфера. В нотации Коксетера[англ.] такими группами являются тетраэдральная симметрия [3,3], октаэдральная симметрия[англ.] [4,3], икосаэдральная симметрия [5,3] и диэдральная симметрия[англ.] [p,2]. Число зеркал в неприводимой группе равно nh/2, где h — число Кокстера группы, n — размерность (3) [3].
Группа Вейля |
Нотация Коксетера[англ.] |
Порядок | Число Кокстера (h) |
Зеркала (m) | |
---|---|---|---|---|---|
Группы многогранника | |||||
A3 | ![]() ![]() ![]() ![]() ![]() | [3,3] | 24 | 4 | 6 |
B3 | ![]() ![]() ![]() ![]() ![]() | [4,3] | 48 | 6 | 3+6 |
H3 | ![]() ![]() ![]() ![]() ![]() | [5,3] | 120 | 10 | 15 |
Диэдральная группа[англ.] | |||||
2A1 | ![]() ![]() ![]() | [1,2] | 4 | 1+1 | |
3A1 | ![]() ![]() ![]() ![]() ![]() | [2,2] | 8 | 2+1 | |
I2(p)A1 | ![]() ![]() ![]() ![]() ![]() | [p,2] | 4p | p+1 | |
Циклические группы[англ.] | |||||
2A1 | ![]() ![]() ![]() | [2] | 4 | 2 | |
I2(p) | ![]() ![]() ![]() | [p] | 2p | p | |
Single mirror | |||||
A1 | ![]() | [ ] | 2 | 1 |
Группами вращений, т.е. конечными подгруппами SO(3), являются: циклические группы Cn (группы вращений канонических пирамид), диэдральные группы Dn (группы вращений однородных призм или канонических бипирамид) и группы вращений T, O и I правильного тетраэдра, октаэдра/куба и икосаэдра/додекаэдра.
В частности, диэдральные группы D3, D4 и т.д. являются группами вращений плоских правильных многоугольников, вложенных в трёхмерное пространство, и такие фигуры можно считать вырожденными правильными призмами. Поэтому они называются диэдрами (по-гречески: тело с двумя гранями), что и объясняет название диэдральная группа.
Группа вращений объекта равна его полной группе симметрии тогда и только тогда, когда объект хирален.
Список подгрупп вращения по их обозначениям Шёнфлиса, нотации Коксетера[англ.], (орбифолдной нотации[англ.]):
Отражение | Отражение/вращение | Несобственное вращение[англ.] | Вращение |
---|---|---|---|
Cnv, [n], (*nn) | Cnh, [n+,2], (n*) | S2n, [2n+,2+], (n×) | Cn, [n]+, (nn) |
Dnh, [2,n], (*n22) | Dnd, [2+,2n], (2*n) | Dn, [2,n]+, (n22) | |
Td, [3,3], (*332) | T, [3,3]+, (332) | ||
Oh, [4,3], (*432) | Th, [3+,4], (3*2) | O, [4,3]+, (432) | |
Ih, [5,3], (*532) | I, [5,3]+, (532) | ||
Следующие группы содержат центральную симметрию:
Как объяснено выше, имеется 1-в-1 соответствие между этими группами и всеми группами вращений:
Другие группы содержат косвенные изометрии, но не центральную симметрию:
Все они соответствуют группе вращений H и подгруппе L с индексом 2 в том смысле, что они получаются из H путём обращения изометрий в H \ L, как объяснено выше:
Существуют две дискретные точечные группы со свойством, что никакая дискретная точечная подгруппа не имеет их в качестве собственной подгруппы — Oh и Ih. Их наибольшая общая подгруппа — Th. Две группы получаются из неё путём замены вращательной симметрии порядка 2 на симметрию порядка 4 и добавлением симметрии порядка 5 соответственно. Также можно получить две группы путём добавления зеркальных плоскостей в Th.
Существует две кристаллографические точечные группы со свойством, что никакая кристаллографическая точечная группа не содержит их в качестве собственной подгруппы — Oh и D6h. Их максимальные общие подгруппы, в зависимости от ориентации, — D3d и D2h.
Далее описанные выше группы расположены по абстрактному типу группы.
Наименьшие абстрактные группы, не являющиеся группами симметрии в трёхмерном пространстве — группа кватернионов (порядка 8), Z3 × Z3 (порядка 9), дициклическая группа Dic3 (порядка 12) и 10 из 14 групп порядка 16.
Столбец "Число элементов порядка 2" в последующей таблице показывает общее число подгрупп изометрии типа C2, Ci, Cs. Это общее число является одной из характеристик, позволяющих различить абстрактные типы групп, в то время как их тип изометрии помогает различить группы изометрий той же самой абстрактной группы.
Среди возможных изометрий групп а трёхмерном пространстве существует бесконечно много абстрактных типов групп с 0, 1 и 3 элементами порядка 2, существует две группы с 2n + 1 элементами порядка 2 и существует три группы с 2n + 3 элементами порядка 2 (для любого n ≥ 2 ). Не существует положительного чётного числа элементов порядка 2.
Группа симметрии вращения порядка n — это Cn. Её тип абстрактной группы — циклическая группа Zn, которая обозначается также как Cn. Однако существует ещё два бесконечных ряда групп симметрии с типами абстрактных групп:
Таким образом, выделяя жирным шрифтом 10 кристаллографических точечных групп, для которых применима кристаллографические ограничения[англ.], мы имеем:
Порядок | Группы изометрии | Абстрактная группа | Число элементов порядка 2 | Граф циклов |
---|---|---|---|---|
1 | C1 | Z1 | 0 | ![]() |
2 | C2, Ci, Cs | Z2 | 1 | ![]() |
3 | C3 | Z3 | 0 | ![]() |
4 | C4, S4 | Z4 | 1 | ![]() |
5 | C5 | Z5 | 0 | ![]() |
6 | C6, S6, C3h | Z6 = Z3 × Z2 | 1 | ![]() |
7 | C7 | Z7 | 0 | ![]() |
8 | C8, S8 | Z8 | 1 | ![]() |
9 | C9 | Z9 | 0 | ![]() |
10 | C10, S10, C5h | Z10 = Z5 × Z2 | 1 | ![]() |
и т.д.
В двухмерном пространстве диэдрическая группа Dn включает отражения, которые можно рассматривать как переворачивание объекта без различения лицевой и обратной стороны.
Однако в трёхмерном пространстве две операции различны — группа симметрии с обозначением Dn содержит n осей порядка 2, перпендикулярных к осям порядка n, а не отражения. Dn является группой вращений n-сторонней призмы с правильным основанием, n-сторонней бипирамиды с правильным основанием, а также правильной n-сторонней антипризмы и правильного n-стороннего трапецоэдра. Группа является также полной группой симметрии таких объектов, если сделать их хиральными путём разметки граней или некоторой модификации фигуры.
Абстрактная группа является диэдрической группой Dihn, которая обозначается также символом Dn. Однако существует ещё три группы симметрии с той же абстрактной группой:
Заметьте следующее свойство:
Таким образом, выделяя 12 кристаллографических групп жирным шрифтом и записывая D1d как эквивалент C2h, мы имеем:
Порядок | Группы изометрии | Абстрактная группа | Число элементов порядка 2 | Граф циклов |
---|---|---|---|---|
4 | D2, C2v, C2h | Dih2 = Z2 × Z2 | 3 | ![]() |
6 | D3, C3v | Dih3 | 3 | ![]() |
8 | D4, C4v, D2d | Dih4 | 5 | ![]() |
10 | D5, C5v | Dih5 | 5 | ![]() |
12 | D6, C6v, D3d, D3h | Dih6 = Dih3 × Z2 | 7 | ![]() |
14 | D7, C7v | Dih7 | 7 | ![]() |
16 | D8, C8v, D4d | Dih8 | 9 | ![]() |
18 | D9, C9v | Dih9 | 9 | |
20 | D10, C10v, D5h, D5d | Dih10 = D5 × Z2 | 11 | ![]() |
и т.д.
C2n,h порядка 4n является абстрактной группой типа Z2n × Z2. Для n = 1 мы получаем Dih2, группу, уже описанную выше, так что n ≥ 2.
Таким образом, выделяя 2 циклические кристаллографические точечные группы жирным шрифтом, мы имеем:
Порядок | Группы изометрии | Абстрактная группа | Число элементов порядка 2 | Граф циклов |
---|---|---|---|---|
8 | C4h | Z4 × Z2 | 3 | ![]() |
12 | C6h | Z6 × Z2 = Z3 × Z22 = Z3 × Dih2 | 3 | ![]() |
16 | C8h | Z8 × Z2 | 3 | ![]() |
20 | C10h | Z10 × Z2 = Z5 × Z22 = Z5 × Dih2 | 3 | ![]() |
и т.д.
Dnh порядка 4n является абстрактной группой типа Dihn × Z2. Для нечётных n группа уже описана выше, так что мы здесь имеем D2nh порядка 8n, которая является абстрактной группой типа Dih2n × Z2 (n≥1).
Таким образом, выделяя 3 диэдральные кристаллографические точечные группы жирным шрифтом, мы имеем:
Порядок | Группы изометрии | Абстрактная группа | Число элементов порядка 2 | Граф циклов |
---|---|---|---|---|
8 | D2h | Dih2 × Z2 | 7 | ![]() |
16 | D4h | Dih4 × Z2 | 11 | ![]() |
24 | D6h | Dih6 × Z2 = Dih3 × Z22 | 15 | |
32 | D8h | Dih8 × Z2 | 19 |
и т.д.
Осташиеся семь групп, где 5 кристаллографических точечных групп выделены жирным шрифтом:
Порядок | Группы изометрии | Абстрактная группа | Число элементов порядка 2 | Граф циклов |
---|---|---|---|---|
12 | T | A4 | 3 | ![]() |
24 | Td, O | S4 | 6 | ![]() |
24 | Th | A4 × Z2 | 6 | ![]() |
48 | Oh | S4 × Z2 | 6 | |
60 | I | A5 | ||
120 | Ih | A5 × Z2 |
Поскольку обзор является исчерпывающим, он показывает неявно, какие случаи невозможны в качестве дискретных групп симметрий. Например:
И т.д..
Отображение Spin(3) → SO(3) является двойным покрытием группы вращений спинорной группой в трёхмерном пространстве. (Это единственное связное покрытие SO(3), поскольку Spin(3) односвязна.) По теореме о соответствии[англ.] существует соответствие Галуа между подгруппами Spin(3) и подгруппами SO(3) (точечными группами вращения) — образ подгруппы группы Spin(3) является точечной группой вращений, а прообраз точечной группы является подгруппой группы Spin(3).
Прообраз конечной точечной группы называется бинарной полиэдральной группой, обозначается как <l,n,m>, и называется тем же именем, что и точечная группа, но с добавлением бинарная, при этом порядок группы удваивается по отношению к связанной группе многогранника (l,m,n). Например, прообразом икосаэдральной группы[англ.] (2,3,5) является бинарная икосаэдральная группа, <2,3,5>.
Бинарные полиэдральные группы:
Группы систематизированы согласно классификации ADE[англ.] и факторгруппой C2 по действию бинарной полиэдральной группы имеет сингулярность Ду Вала[англ.] [4].
Для точечных групп, обращающих ориентацию, ситуация сложнее, так как существует две Pin-группы[англ.], так что имеется две возможные бинарные группы, соответствующие данной точечной группе.
Заметим, что это покрытие является покрытием групп, не покрытием пространств.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.