Бинарная циклическая группа

Бинарная циклическая группа n-угольника — это циклическая группа порядка 2n, $C_{2n}$ , понимаемая как расширение циклической группы $C_{n}$ циклической группой 2-го порядка^[1].

В терминах бинарной группы многогранника бинарная циклическая группа является прообразом циклической группы вращений ( $C_{n}<\operatorname {SO} (3)$ ) при 2:1 накрывающем гомоморфизме

\operatorname {Spin} (3)\to \operatorname {SO} (3)

специальной ортогональной группы группой вращений.

Как подгруппа группы вращений, бинарная группа многогранника может быть описана как дискретная подгруппа единиц кватернионов, при изоморфизме $\operatorname {Spin} (3)\cong \operatorname {Sp} (1)$ , где Sp(1) — мультипликативная группа единиц кватернионов.

См. также

Примечания

↑ Coxeter H. S. M. Symmetrical definitions for the binary polyhedral groups // Proc. Sympos. Pure Math., Vol. 1. — Providence, R.I.: American Mathematical Society, 1959. — С. 64–87.

Похожие исследовательские статьи

Группой Ли над полем $\text{[math]}$ называется группа $\text{[math]}$ , снабжённая структурой дифференцируемого (гладкого) многообразия над $\text{[math]}$ , причём отображения $\text{[math]}$ и $\text{[math]}$ , определённые так:

\text{[math]}

\text{[math]}

Кватернио́ны — система гиперкомплексных чисел, образующая векторное пространство размерностью четыре над полем вещественных чисел. Обычно обозначаются символом $\text{[math]}$ . Предложены Уильямом Гамильтоном в 1843 году.

А́белева гру́ппа — группа, в которой групповая операция является коммутативной; иначе говоря, группа $\text{[math]}$ абелева, если $\text{[math]}$ для любых двух элементов $\text{[math]}$ .

Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.

При́зма ( $\text{[math]}$ -угольная) — многогранник, две грани которого являются конгруэнтными (равными) многоугольниками, лежащими в параллельных плоскостях, а остальные $\text{[math]}$ граней — параллелограммы, имеющие общие стороны с этими многоугольниками.

Спинорная группа — подмножество элементов алгебры Клиффорда над $\text{[math]}$ , состоящее из элементов вида $\text{[math]}$ , где $\text{[math]}$ — единичные векторы. Операцией в спинорной группе является умножение в алгебре Клиффорда.

Прямое произведение групп — операция, которая по группам $\text{[math]}$ и $\text{[math]}$ строит новую группу, обычно обозначающуюся как $\text{[math]}$ . Эта операция является теоретико-групповым аналогом декартова произведения множеств и одним из основных примеров понятия прямого произведения.

<span class="mw-page-title-main">Автоморфизм</span> изоморфизм математического объекта с самим собой

Автоморфизм — изоморфизм между математическим объектом и им самим; отображение, изменяющее объект с сохранением всех его изначальных свойств. Множество всех автоморфизмов объекта образует группу автоморфизмов, которую можно рассматривать как обобщение группы симметрий объекта.

<span class="mw-page-title-main">Конечная группа</span> алгебраическая структура - группа, содержащая конечное число элементов

Конечная группа в общей алгебре — группа, содержащая конечное число элементов. Далее группа предполагается мультипликативной, то есть операция в ней обозначается как умножение; аддитивные группы с операцией сложения оговариваются особо. Единицу мультипликативной группы будем обозначать символом 1. Порядок группы $\text{[math]}$ принято обозначать $\text{[math]}$

Простая группа Ли — группа Ли, не имеющая нормальных подгрупп, кроме тривиальных. Близким понятием является «полупростая группа Ли», которая не имеет абелевых инвариантных подгрупп, опять-таки кроме тривиальных.

<span class="mw-page-title-main">Диэдральная группа</span>

Диэдральная группа — группа симметрии правильного многоугольника, включающая как вращения, так и осевые симметрии. Диэдральные группы являются простейшими примерами конечных групп и играют важную роль в теории групп, геометрии и химии. Хорошо известно и совершенно тривиально проверяется, что группа, образованная двумя инволюциями с конечным числом элементов в области определения является диэдральной группой.

Центр группы в теории групп — множество всех таких элементов данной группы, которые коммутируют со всеми её элементами:

\text{[math]}

В математике бинарная группа тетраэдра — это некоторая неабелева группа 24-го порядка. Группа является расширением тетраэдральной группы T 12-го порядка циклической группы 2-го порядка и является прообразом группы тетраэдра для 2:1 накрывающего гомоморфизма $\text{[math]}$ специальной ортогональной группы спинорной группой. Отсюда следует, что бинарная группа тетраэдра — дискретная подгруппа группы Spin(3) 24-го порядка.

<span class="mw-page-title-main">Группа кватернионов</span>

В теории групп группа кватернионов — это неабелева группа восьмого порядка, изоморфная набору из восьми кватернионов с операцией умножения. Она часто обозначается буквой Q или Q₈, и определяется заданием группы

\text{[math]}

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

\text{[math]}

В теории групп дициклическая группа Dic_n— это некоммутативная группа порядка 4n, являющаяся расширением циклической группы порядка 2n. Эта группа также называется обобщённой группой кватернионов и обозначается Q_4n.

Точечная группа в трёхмерном пространстве — группа изометрий в трёхмерном пространстве, не перемещающая начало координат, или группа изометрий сферы. Группа является подгруппой ортогональной группы O(3), группы всех изометрий, оставляющих начало координат неподвижным, или, соответственно, группы ортогональных матриц. O(3) сама является подгруппой евклидовой группы E(3) движений 3-мерного пространства.

Правильный икосаэдр имеет 60 вращательных симметрий и имеет порядок симметрии 120, включая преобразования, которые комбинируют отражение и вращение. Правильный додекаэдр имеет тот же набор симметрий, поскольку он двойственен икосаэдру.

Голоно́ми́я — один из инвариантов связности в расслоении над гладким многообразием, сочетающий свойства кривизны и монодромии, и имеющий важное значение как в геометрии, так и геометризированных областях естествознания, таких как теория относительности и теория струн. Обыкновенно речь идёт о голономии связностей в векторном расслоении, хотя в равной степени имеет смысл говорить о голономии связности в главном расслоении или даже голономии связности Эресманна в локально тривиальном топологическом расслоении.

Группа Фробениуса, или фробениусова группа — транзитивная группа перестановок на конечном множестве, такая, что каждый нетривиальный элемент фиксирует не более одной точки, и некоторый нетривиальный элемент фиксирует точку.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.