Группа диэдра

Группа симметрии снежинки правильного — D6 _, двугранная симметрия, такая же, как у шестиугольника .

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

Обозначения группы диэдра различаются в геометрии и абстрактной алгебре . В геометрии , D _n или Dih _n относится к симметрии n -угольника группы порядка 2 n . В абстрактной алгебре D 2 _{n относится} к той же группе диэдра. В этой статье используется геометрическое соглашение D _n .

Определение

Слово «двугранник» происходит от слов «ди-» и «-эдр».Последнее происходит от греческого слова hedra, что означает «лицо геометрического тела». Таким образом, в целом это относится к двум граням многоугольника.

Элементы

Шесть осей отражения правильного шестиугольника

Правильный многоугольник с $n$ стороны имеют $2n$ разные симметрии: $n$ вращательная симметрия и $n$ симметрии отражения . Обычно мы берем $n\geq 3$ здесь. Соответствующие вращения и отражения составляют группу диэдра. $\mathrm {D} _{n}$. Если $n$ нечетно, каждая ось симметрии соединяет середину одной стороны с противоположной вершиной. Если $n$ четный, есть $n/2$ оси симметрии, соединяющие середины противоположных сторон и $n/2$ оси симметрии, соединяющие противоположные вершины. В любом случае существуют $n$ оси симметрии и $2n$ элементы группы симметрии. Отражение от одной оси симметрии с последующим отражением от другой оси симметрии приводит к повороту на угол, вдвое превышающий угол между осями.

На следующем рисунке показан эффект шестнадцати элементов. $\mathrm {D} _{8}$ на знаке остановки . Здесь первая строка показывает эффект восьми вращений, а вторая строка показывает эффект восьми отражений, в каждом случае воздействующих на знак остановки с ориентацией, как показано вверху слева.

Структура группы

Как и любой геометрический объект, композиция двух симметрий правильного многоугольника снова является симметрией этого объекта. Композиция симметрий для создания другой в виде бинарной операции придает симметриям многоугольника алгебраическую структуру конечной группы .

Линии отражения, помеченные S ₀ , S ₁ и S _2, остаются фиксированными в пространстве (на странице) и сами не перемещаются, когда на треугольнике выполняется операция симметрии (вращение или отражение) (это важно при выполнении композиции симметрий). ).

Композиция этих двух отражений представляет собой вращение.

Следующая таблица Кэли показывает эффект композиции в группе D ₃ (симметрии равностороннего треугольника ). r ₀ обозначает единицу; r ₁ и r ₂ обозначают поворот против часовой стрелки на 120° и 240° соответственно, а s ₀ , s ₁ и s ₂ обозначают отражения от трех линий, показанных на соседнем рисунке.

	р 0	р 1	год 2	с 0	с 1	ss2
р 0	р 0	р 1	год 2	с 0	с 1	ss2
р 1	р 1	год 2	р 0	с 1	ss2	с 0
год 2	год 2	р 0	р 1	ss2	с 0	с 1
с 0	с 0	ss2	с 1	р 0	год 2	р 1
с 1	с 1	с 0	ss2	р 1	р 0	год 2
ss2	ss2	с 1	с 0	год 2	р 1	р 0

Например, s ₂ s ₁ = r ₁ , потому что отражение s _1, за которым следует отражение s _2, приводит к повороту на 120°. Порядок элементов, обозначающих композицию, — справа налево, что отражает соглашение о том, что элемент действует на выражение справа от него. Операция композиции не является коммутативной .

В общем, группа D _n имеет элементы r ₀ , ..., r _{n −1} и s ₀ , ..., s _{n −1} , состав которых определяется следующими формулами:

$\mathrm {r} _{i}\,\mathrm {r} _{j}=\mathrm {r} _{i+j},\quad \mathrm {r} _{i}\,\mathrm {s} _{j}=\mathrm {s} _{i+j},\quad \mathrm {s} _{i}\,\mathrm {r} _{j}=\mathrm {s} _{i-j},\quad \mathrm {s} _{i}\,\mathrm {s} _{j}=\mathrm {r} _{i-j}.$

Во всех случаях сложение и вычитание индексов должно выполняться с использованием модульной арифметики с модулем n .

Матричное представление

Симметрии этого пятиугольника представляют собой линейные преобразования плоскости как векторного пространства.

Если центрировать правильный многоугольник в начале координат, то элементы группы диэдра действуют как преобразования плоскости линейные . Это позволяет нам представлять элементы D _n в виде матриц , где композиция представляет собой умножение матриц .Это пример (2-мерного) представления группы .

Например, элементы группы D ₄ можно представить следующими восемью матрицами:

${\begin{matrix}\mathrm {r} _{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {r} _{1}=\left({\begin{smallmatrix}0&-1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {r} _{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {r} _{3}=\left({\begin{smallmatrix}0&1\\[0.2em]-1&0\end{smallmatrix}}\right),\\[1em]\mathrm {s} _{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {s} _{1}=\left({\begin{smallmatrix}0&1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {s} _{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {s} _{3}=\left({\begin{smallmatrix}0&-1\\[0.2em]-1&0\end{smallmatrix}}\right).\end{matrix}}$

В общем случае матрицы для элементов D _n имеют следующий вид:

${\begin{aligned}\mathrm {r} _{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&-\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&\cos {\frac {2\pi k}{n}}\end{pmatrix}}\ \ {\text{and}}\\[5pt]\mathrm {s} _{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&-\cos {\frac {2\pi k}{n}}\end{pmatrix}}.\end{aligned}}$

r _k — матрица вращения , выражающая вращение против часовой стрелки на угол 2 πk / n . s _k — отражение через линию, составляющую угол πk / n с осью x .

Другие определения

D _n также можно определить как группу с представлением

${\begin{aligned}\mathrm {D} _{n}&=\left\langle r,s\mid \operatorname {ord} (r)=n,\operatorname {ord} (s)=2,srs^{-1}=r^{-1}\right\rangle \\&=\left\langle r,s\mid r^{n}=s^{2}=(sr)^{2}=1\right\rangle .\end{aligned}}$

Используя соотношение $s^{2}=1$, мы получаем соотношение $r=s\cdot sr$. Отсюда следует, что $\mathrm {D} _{n}$ генерируется $s$ и $t:=sr$. Эта замена также показывает, что $\mathrm {D} _{n}$ есть презентация

$\mathrm {D} _{n}=\left\langle s,t\mid s^{2}=1,t^{2}=1,(st)^{n}=1\right\rangle .$

В частности, D _n принадлежит классу групп Кокстера .

Малые двугранные группы

Примеры подгрупп гексагональной диэдральной симметрии

D1 _​ изоморфна порядка Z2 циклической ₂ , группе .

D ₂ изоморфна ​ K 4 _, Клейна четырехгруппе .

D ₁ и D ₂ являются исключительными в том смысле, что:

• D ₁ и D ₂ — единственные абелевы группы диэдра. В противном случае D _n неабелева.
• D _n — подгруппа симметрической группы S _n для n ≥ 3 . Поскольку 2 n > n ! для n = 1 или n = 2 для этих значений D _n слишком велика, чтобы быть подгруппой.
• Внутренняя группа автоморфизмов D ₂ тривиальна, тогда как для других четных значений n это D _n / Z ₂ .

групп Графы циклов диэдра состоят из n -элементного цикла и n 2-элементных циклов. Темная вершина на приведенных ниже диаграммах циклов различных групп диэдра представляет собой единичный элемент, а остальные вершины являются другими элементами группы. Цикл состоит из последовательных степеней любого из элементов, связанных с единичным элементом .

Графики циклов

Д 1 = З 2	Д 2 = З 2 2 = К 4	Д 3	Д 4	Д 5
Д 6 = Д 3 × Z 2	D 7	Д 8	Д 9	Д 10 = Д 5 × Z 2

Д 3 = С 3	Д 4

Группа диэдра как группа симметрии в 2D и группа

Примером абстрактной группы D _n и распространенным способом ее визуализации является группа изометрий евклидовой плоскости , которые сохраняют начало координат фиксированным. Эти группы образуют одну из двух серий дискретных точечных групп в двух измерениях . D _n состоит из n поворотов вокруг начала координат на угол, кратный 360°/ n , и отражений от n углы, кратные 180°/ n линий, проходящих через начало координат, образующих друг с другом . Это группа симметрии с правильного многоугольника n сторонами (для n ≥ 3 ; это распространяется на случаи n = 1 и n = 2, когда у нас есть плоскость с точкой, смещенной соответственно от «центра» «1- угольник» и «2-угольник» или отрезок линии).

D _n порождается что вращением r порядка n s и отражением порядка 2 такими,

$\mathrm {srs} =\mathrm {r} ^{-1}\,$

В геометрическом плане: в зеркале вращение выглядит как обратное вращение.

В комплексных числах : умножение на $e^{2\pi i \over n}$ и комплексное сопряжение .

В матричной форме, задав

$\mathrm {r} _{1}={\begin{bmatrix}\cos {2\pi \over n}&-\sin {2\pi \over n}\\[4pt]\sin {2\pi \over n}&\cos {2\pi \over n}\end{bmatrix}}\qquad \mathrm {s} _{0}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}$

и определение $\mathrm {r} _{j}=\mathrm {r} _{1}^{j}$ и $\mathrm {s} _{j}=\mathrm {r} _{j}\,\mathrm {s} _{0}$ для $j\in \{1,\ldots ,n-1\}$ мы можем записать правила произведения для D _n как

${\begin{aligned}\mathrm {r} _{j}\,\mathrm {r} _{k}&=\mathrm {r} _{(j+k){\text{ mod }}n}\\\mathrm {r} _{j}\,\mathrm {s} _{k}&=\mathrm {s} _{(j+k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {r} _{k}&=\mathrm {s} _{(j-k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {s} _{k}&=\mathrm {r} _{(j-k){\text{ mod }}n}\end{aligned}}$

(Сравните вращение и отражение координат .)

Группа диэдра D ₂ создается поворотом r на 180 градусов и отражением s поперек оси x . Тогда элементы D ₂ могут быть представлены как {e, r, s, rs}, где e — тождественное или нулевое преобразование, а rs — отражение по оси y .

Четыре элемента D ₂ (ось X здесь вертикальна)

D ₂ изоморфна ​ четырехгруппе Клейна .

При n > 2 операции вращения и отражения, вообще говоря, не коммутируют и D _n не абелева ; например, в D ₄ поворот на 90 градусов, за которым следует отражение, дает результат, отличный от отражения, за которым следует поворот на 90 градусов.

D ₄ неабелева (ось X здесь вертикальна).

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

2 n элемента D n _можно записать как e , r , r ² , ... , р ^{п -1} , с , рс , р ² с , ... , р ^{п -1} с . Первые n перечисленных элементов — это вращения, а остальные n элементов — отражения оси (все они имеют порядок 2). Продукт двух вращений или двух отражений — это вращение; продукт вращения и отражения является отражением.

До сих пор мы считали D _n подгруппой , т.е. группой вращений (около начала координат) и отражений (поперек осей , O (2) проходящих через начало координат) плоскости. Однако обозначение D _n также используется для подгруппы SO (3) , которая также относится к типу абстрактной группы D _n : собственная группа симметрии правильного многоугольника , встроенного в трехмерное пространство (если n ≥ 3). Такую фигуру можно рассматривать как вырожденное правильное тело, грань которого учтена дважды. Поэтому его еще называют диэдром (греч.: твердое тело с двумя гранями), что объясняет название группы диэдра (по аналогии с тетраэдрической , октаэдрической и икосаэдрической группой , относящейся к собственным группам симметрии правильного тетраэдра , октаэдра и икосаэдра соответственно). ).

симметрии

• 
  Симметрия 2D D ₁₆ — Императорская печать Японии, изображающая восьмилепестковую хризантему с шестнадцатью лепестками .
• 
  Симметрия 2D D ₆ – Красная Звезда Давида
• 
  2D симметрия D ₁₂ — Морской Джек Китайской Республики (Белое Солнце)
• 
  2D D ₂₄ Симметрия — Ашока Чакра , изображенная на Национальном флаге Республики Индия .

Свойства

Свойства групп диэдра D _n с n ≥ 3 зависят от того, n четно или нечетно . Например, центр D n _n состоит только из единицы, если нечетно , но если n четно, центр состоит из двух элементов, а именно единицы и элемента r. ^{н /2} (с D _n как подгруппой O(2), это инверсия ; поскольку это скалярное умножение на −1, ясно, что оно коммутирует с любым линейным преобразованием).

В случае 2D-изометрий это соответствует добавлению инверсии, дающей повороты и зеркала между существующими.

Для n, нечетного числа, абстрактная группа D _n изоморфна прямому произведению D n _{2 / 2} и Z _дважды .Обычно, если m делит n , то D _n имеет n / m подгрупп типа D _m и одну подгруппу $\mathbb {Z}$_м . Следовательно, общее количество подгрупп D _n ( n ≥ 1) равно d ( n ) + σ( n ), где d ( n ) — количество положительных делителей n , а σ ( n ) — сумма положительных делителей n . См. список малых групп для случаев n ≤ 8.

Группа диэдра порядка 8 (D ₄ ) — наименьший пример группы, не являющейся Т-группой . Любая из двух ее четырехгрупповых подгрупп Клейна (нормальных в D ₄ ) имеет в качестве нормальной подгруппы подгруппы порядка 2, порожденные отражением (флипом) в D ₄ , но эти подгруппы не являются нормальными в D ₄ .

Классы сопряженности отражений

Все отражения сопряжены друг с другом, если n нечетно, но делятся на два класса сопряженности, если n четно. Если подумать об изометриях правильного n -угольника: при нечетном n в группе между каждой парой зеркал происходят повороты, а при четном n этими поворотами из одного можно добраться только до половины зеркал. Геометрически в нечетном многоугольнике каждая ось симметрии проходит через вершину и сторону, а в четном многоугольнике имеется два набора осей, каждый из которых соответствует классу сопряженности: те, которые проходят через две вершины, и те, которые проходят через две стороны. .

Алгебраически это пример сопряженной теоремы Силова (для нечетного n ): для нечетного n каждое отражение вместе с единицей образует подгруппу порядка 2, которая является силовской 2-подгруппой ( 2 = 2 ¹ - максимальная степень 2, делящая 2 n = 2[2 k + 1] ), в то время как для четного n эти подгруппы порядка 2 не являются силовскими подгруппами, поскольку 4 (высшая степень 2) делит порядок группы.

Вместо этого для четного n существует внешний автоморфизм, меняющий местами два типа отражений (собственно, класс внешних автоморфизмов, все из которых сопряжены внутренним автоморфизмом).

Группа автоморфизмов

Группа автоморфизмов Dn ​ _​ изоморфна голоморфу ​ $\mathbb {Z}$/ н $\mathbb {Z}$, т. е. к Hol( $\mathbb {Z}$/ н $\mathbb {Z}$) = { топор + б | ( a , n ) = 1} и имеет порядок nφ ( n ), где φ функция Эйлера — , число k в 1, ..., n − 1 взаимно простое с n .

Его можно понять с точки зрения генераторов отражения и элементарного вращения (вращение на k (2 π / n ), для k взаимно простого с n ); какие автоморфизмы являются внутренними и внешними, зависит от четности n .

• Для нечетного n группа диэдра бесцентрна, поэтому любой элемент определяет нетривиальный внутренний автоморфизм; для четного n поворот на 180° (отражение от начала координат) является нетривиальным элементом центра.
• Таким образом, для нечетного n внутренняя группа автоморфизмов имеет порядок 2 n , а для четного n (кроме n = 2 ) внутренняя группа автоморфизмов имеет порядок n .
• При n нечетном все отражения сопряжены; при четном n они делятся на два класса (через две вершины и через две грани), связанные внешним автоморфизмом, который можно представить вращением на π / n (половину минимального вращения).
• Ротации — это нормальная подгруппа; сопряжение отражением меняет знак (направление) вращения, но в остальном оставляет их неизменными. Таким образом, автоморфизмы, которые умножают углы на k (взаимно простые с n ), являются внешними, если только k = ±1 .

групп

D9 _. имеет 18 автоморфизмов внутренних В качестве группы D ₉ двумерной изометрии группа имеет зеркала с интервалом 20°. 18 внутренних автоморфизмов обеспечивают поворот зеркал на угол, кратный 20°, и отражения. Как группа изометрий, все это автоморфизмы. В качестве абстрактной группы помимо них имеется 36 внешних автоморфизмов ; например, умножив углы поворота на 2.

D ₁₀ имеет 10 внутренних автоморфизмов. В качестве группы D ₁₀ двумерной изометрии группа имеет зеркала с интервалом 18°. 10 внутренних автоморфизмов обеспечивают поворот зеркал на угол, кратный 36°, и отражения. В качестве группы изометрий имеется еще 10 автоморфизмов; они сопряжены изометриями вне группы, поворачивая зеркала на 18° относительно внутренних автоморфизмов. В качестве абстрактной группы помимо этих 10 внутренних и 10 внешних автоморфизмов существуют еще 20 внешних автоморфизмов; например, умножив обороты на 3.

Сравните значения 6 и 4 для функции Эйлера , мультипликативной группы целых чисел по модулю n для n = 9 и 10 соответственно. Это утраивает и удваивает количество автоморфизмов по сравнению с двумя автоморфизмами как изометриями (с сохранением порядка вращений или изменением порядка).

Единственными значениями n , для которых φ ( n ) = 2, являются 3, 4 и 6, и, следовательно, существует только три группы диэдра, которые изоморфны своим собственным группам автоморфизмов, а именно D ₃ (порядок 6), D ₄ ( порядок 8) и D ₆ (порядок 12).

Группа

Группа внутренних автоморфизмов D _n изоморфна:

• D _n, если n нечетно;
• D _n /Z _2, если n четное (для n = 2 , D ₂ / Z ₂ = 1 ).

Обобщения

Есть несколько важных обобщений групп диэдра:

• Бесконечная группа диэдра — это бесконечная группа с алгебраической структурой, аналогичной конечным группам диэдра. Его можно рассматривать как группу симметрий целых чисел .
• Ортогональная группа O(2), т. е. группа симметрии окружности , также обладает свойствами, подобными группам диэдра.
• Семейство обобщенных групп диэдра включает в себя оба приведенных выше примера, а также многие другие группы.
• Квазидиэдральные группы представляют собой семейство конечных групп со свойствами, подобными группам диэдра.

См. также

• Координатные вращения и отражения
• Индекс цикла группы диэдра
• Дициклическая группа
• Группа диэдра 6-го порядка
• Группа диэдра 8-го порядка
• Группы диэдральной симметрии в 3D
• Диэдральная симметрия в трех измерениях

Внешние ссылки

• Группа диэдра n порядка 2n , Шон Дудзик, Демонстрационный проект Вольфрама .
• Группа диэдра в Groupprops
• Вайсштейн, Эрик В. «Двугранная группа» . Математический мир .
• Вайсштейн, Эрик В. «Группа диэдра D3» . Математический мир .
• Вайсштейн, Эрик В. «Группа диэдра D4» . Математический мир .
• Вайсштейн, Эрик В. «Группа диэдра D5» . Математический мир .
• Дэвис, Деклан. «Двугранная группа D6» . Математический мир .
• Диэдральные группы в GroupNames