Элемент Кокстера

В математике число Кокстера h - это порядок элемента Кокстера неприводимой группы Кокстера. Он назван в честь H.S.M. Коксетер.

• 1 Определения
• 2 Порядок групп
• 3 Элементы Кокстера
• 4 Плоскость Кокстера
• 5 См. Также
• 6 Примечания
• 7 Ссылки

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

Есть много разных способов определить число Кокстера h неприводимой корневой системы.

A Элемент Кокстера - продукт всех простых отражений. Результат зависит от порядка, в котором они взяты, но разные порядки дают сопряженные элементы, которые имеют одинаковый порядок.

• Число Кокстера - это порядок любого элемента Кокстера; .
• Число Кокстера равно 2m / n, где n - ранг, а m - количество отражений. В кристаллографическом случае m равно половине числа корней ; а 2m + n - размерность соответствующей полупростой алгебры Ли.
• . Если наивысший корень ∑m iαiдля простых корней α i, то число Кокстера равно 1 + ∑m i.
• Число Кокстера - это высшая степень фундаментального инварианта группы Кокстера, действующего на многочлены.

Число Кокстера для каждого типа Дынкина приведено в следующей таблице:

Группа Кокстера		Коксетер. диаграмма	Дынкина. диаграмма	Отражения. m = nh / 2	Число Кокстера. h	Двойное число Кокстера	Степени фундаментальных инвариантов
An	[ 3,3..., 3]	...	...	n (n + 1) / 2	n + 1	n + 1	2, 3, 4,..., n + 1
Bn	[4,3..., 3]	...	...	n	2n	2n - 1	2, 4, 6,..., 2n
Cn			...			n + 1
Dn	[3,3,.. 3]	...	...	n (n-1)	2n - 2	2n - 2	n; 2, 4, 6,..., 2n - 2
E6	[3]			36	12	12	2, 5, 6, 8, 9, 12
E7	[3]			63	18	18	2, 6, 8, 10, 12, 14, 18
E8	[3]			120	30	30	2, 8, 12, 14, 18, 20, 24, 30
F4	[3,4, 3]		.	24	12	9	2, 6, 8, 12
G2	[6]		.	6	6	4	2, 6
H3	[5,3]		-	15	10		2, 6, 10
H4	[5,3,3]		-	60	30		2, 12, 20, 30
I2(p)	[p]		-	p	p		2, p

Инварианты группы Кокстера, действующие на полиномы, образуют алгебру полиномов, образующие которой являются фундаментальными инвариантами; их степени приведены в таблице выше. Обратите внимание, что если m - степень фундаментального инварианта, то h + 2 - m тоже.

Собственные значения элемента Кокстера - это числа e, поскольку m пробегает степени фундаментальных инвариантов. Так как это начинается с m = 2, они включают примитивный корень h-й степени из единицы , ζ h = e, что важно в плоскости Кокстера ниже.

Есть отношения между порядком g группы Кокстера и числом Кокстера h:

• [p]: 2h / g p = 1
• [p, q]: 8 / g p, q = 2 / p + 2 / q -1
• [p, q, r]: 64h / g p, q, r = 12 - p - 2q - r + 4 / p + 4 / r
• [p, q, r, s]: 16 / g p, q, r, s = 8 / g p, q, r + 8 / g q, r, s + 2 / (ps) - 1 / p - 1 / q - 1 / r - 1 / s +1
• ...

Например, [3,3,5] имеет h = 30, поэтому 64 * 30 / g = 12 - 3 - 6 - 5 + 4/3 + 4/5 = 2/15, поэтому g = 1920 * 15/2 = 960 * 15 = 14400.

Отдельный Коксетер элементы соответствуют ориентациям диаграммы Кокстера (то есть колчанам Дынкина ): простые отражения, соответствующие исходным вершинам, записываются первыми, нисходящие вершины - позже, а погружения - последними. (Выбор порядка среди несмежных вершин не имеет значения, поскольку они соответствуют коммутирующим отражениям.) Особым выбором является чередующаяся ориентация, при которой простые отражения разбиваются на два набора несмежных вершин, а все ребра ориентированы от первого до второго набора. При чередовании ориентации создается специальный элемент Кокстера w, удовлетворяющий $wh\; /\; 2\; =\; w\; 0\; \{\backslash \; displaystyle\; w\; ^\; \{h\; /\; 2\}\; =\; w\_\; \{0\}\}$, где w 0 - самый длинный элемент , и мы предполагаем, что число Кокстера h четное.

Для $A\; n\; -\; 1\; \cong \; S\; n\; \{\backslash \; displaystyle\; A\_\; \{n-1\}\; \backslash \; cong\; S\_\; \{n\}\}$, симметричная группа на n элементов, элементы Кокстера - это определенные n-циклы: произведение простых отражений $(1,\; 2)\; (2,\; 3)\; \cdots \; (n\; -\; 1\; n)\; \{\backslash \; displaystyle\; (1,2)\; (2,3)\; \backslash \; cdots\; (n\; \{-\}\; 1\; \backslash ,\; n)\}$- это элемент Кокстера $(1,\; 2,\; 3,\dots ,\; n)\; \{\backslash \; displaystyle\; (1,2,3,\; \backslash \; dots,\; n)\}$. При четном n элемент Кокстера с переменной ориентацией:

$(1,\; 2)\; (3,\; 4)\; \cdots \; (2,\; 3)\; (4,\; 5)\; \cdots \; =\; (2,\; 4,\; 6,\dots ,\; n\; -\; 2,\; n,\; n\; -\; 1,\; n\; -\; 3,\dots ,\; 5,\; 3,\; 1).\; \{\backslash \; Displaystyle\; (1,2)\; (3,4)\; \backslash \; cdots\; (2,3)\; (4,5)\; \backslash \; cdots\; =\; (2,4,6,\; \backslash \; ldots,\; n\; \{-\}\; 2,\; n,\; n\; \{-\}\; 1,\; n\; \{-\}\; 3,\; \backslash \; ldots,\; 5,3,1).\}$

Есть $2\; n\; -\; 2\; \{\backslash \; displaystyle\; 2\; ^\; \{n-2\}\}$различных Кокстеров элементов среди $(n\; -\; 1)!\; \{\backslash \; displaystyle\; (n\; \{-\}\; 1)!\}$n-циклов.

двугранная группа Dih p образована двумя отражениями, которые образуют угол $2\; \pi \; /\; 2\; p\; \{\backslash \; displaystyle\; 2\; \backslash \; pi\; /\; 2p\}$, и, следовательно, их произведение представляет собой поворот на $2\; \pi \; /\; p\; \{\backslash \; displaystyle\; 2\; \backslash \; pi\; /\; p\}$.

Проекция корня E 8 системы на плоскость Кокстера, демонстрируя 30-кратную симметрию.

Для данного элемента Кокстера w существует единственная плоскость P, на которой w действует вращением на 2π / h. Это называется плоскостью Кокстера и является плоскостью, на которой P имеет собственные значения e и e = e. Этот план был впервые систематически изучен в (Coxeter 1948) и впоследствии использован в (Steinberg 1959) для обеспечения единообразных доказательств свойств элементов Кокстера.

The Coxeter Плоскость часто используется для рисования диаграмм многомерных многогранников и корневых систем - вершины и ребра многогранника или корни (и некоторые ребра, соединяющие их) ортогонально проецируются на плоскость Кокстера, что дает Многоугольник Петри с h-кратной вращательной симметрией. Для корневых систем ни один корень не отображается в ноль, соответствующий элементу Кокстера, не фиксирующему какой-либо корень или, скорее, ось (не имеющую собственного значения 1 или -1), поэтому проекции орбит под w образуют h-кратное круговое расположение, и есть пустая в центре, как на диаграмме E 8 вверху справа. Для многогранников вершина может отображаться в ноль, как показано ниже. Проекции на плоскость Кокстера показаны ниже для Платоновых тел.

В трех измерениях симметрия правильного многогранника, {p, q}, с одним ориентированным многоугольником Петри, отмеченным, определяемым как составлен из 3-х отражений, имеет симметрию ротоинверсия S h, [2, h], порядок h. Добавив зеркало, симметрия может быть увеличена вдвое до антипризматической симметрии, D hd, [2, h], порядка 2h. В ортогональной 2D-проекции это становится двугранной симметрией, Dih h, [h], порядок 2h.

Группа Кокстера	A3. Td	B3. Oh		H3. Th
Правильный. многогранник	. {3,3}.	. {4,3}.	. {3,4}.	. {5,3}.	. {3, 5}.
Симметрия	S4, [2,4], (2 ×). D2d, [2,4], (2 * 2)	S6, [2,6], (3 ×). D3d, [2,6], (2 * 3)		S10, [2,10], (5 ×). D5d, [2,10], (2 * 5)
самолет Кокстера. симметрия	Dih 4, [4], (* 4 •)	Dih 6, [6], (* 6 •)		Dih 10, [10], (* 10 •)
Многоугольники Петри Платоновых тел, демонстрирующие 4-кратную, 6-кратную и 10-кратную симметрию.

В четырех измерениях симметрия правильного полихорона, {p, q, r} с одним отмеченным направленным многоугольником Петри представляет собой двойное вращение, определяемое как составное из 4 отражения с симметрией + / h[Ch×Ch] (Джон Х. Конвей ), (C 2h/C1;C2h/C1) (# 1 ', Патрик дю Валь (1964)), порядок час

Группа Кокстера	A4	B4		F4	H4
Обычный. полихорон	. {3,3,3}.	. {3,3,4}.	. {4,3,3}.	. {3,4, 3}.	. {5,3,3}.	. {3,3,5}.
Симметрия	+/5[C5×C5]	+/8[C8×C8]		+/12[C12×C12]	+/30[C30×C30]
плоскость Кокстера. симметрия	Dih 5, [5], (* 5 •)	Dih 8, [8], (* 8 •)		Dih 12, [ 12], (* 12 •)	Dih 30, [30], (* 30 •)
Многоугольники Петри правильных четырехмерных тел, показывающие 5-кратное, 8- кратная, 12-кратная и 30-кратная симметрия.

В пяти измерениях симметрия правильного 5-многогранника, {p, q, r, s} с отмеченным одним направленным многоугольником Петри представлена ​​составной частью 5 отражений.

Группа Кокстера	A5	B5		D5
Обычный. политерон	. {3,3,3,3}.	. {3,3,3,4}.	. {4,3,3,3}.	. h {4,3,3,3}.
плоскость Кокстера. симметрия	Dih 6, [6], (* 6 •)	Dih 10, [10], (* 10 •)		Dih 8, [8], (* 8 •)

В размерах от 6 до 8 есть 3 исключительные группы Кокстера, один равномерный многогранник из каждого измерения представляет корни E n Исключительных групп лжи. Элементы Кокстера - 12, 18 и 30 соответственно.

Enгруппы

группа Кокстера	E6	E7	E8
График	. 122.	. 231.	. 421.
плоскость Кокстера. симметрия	Dih 12, [12], (* 12 •)	Дих 18, [18], (* 18 •)	Дих 30, [30], (* 30 •)

• Самый длинный элемент группы Кокстера