F₄ (математика)

Шаблон:Теорія груп F₄ — назва однієї з п’яти (компактних або комплексних) виняткових простих груп Лі, а також її алгебри Лі ${𝔣}_4$. F₄ має 4 ранг і розмірність 52. Група F₄ однозв’язна, а її група зовнішніх автоморфізмів тривіальна. Найпростіше точне лінійне представлення групи F₄, а також її алгебри Лі, 26-вимірно і незвідно.

Алгебра Лі F₄ може бути отримана шляхом додавання до 36-вимірної алгебри Лі so(9) 16 генераторів, що перетворюються як спінори, аналогічно тому, як це робиться в конструюванні E₈.

Алгебра

Кореневі вектори F₄

$(\pm 1,\pm 1,0,0)$,

$(\pm 1,0,\pm 1,0)$,

$(\pm 1,0,0,\pm 1)$,

$(0,\pm 1,\pm 1,0)$,

$(0,\pm 1,0,\pm 1)$,

$(0,0,\pm 1,\pm 1)$,

$(\pm 1,0,0,0)$,

$(0,\pm 1,0,0)$,

$(0,0,\pm 1,0)$,

$(0,0,0,\pm 1)$,

$(\pm \frac{1}{2},\pm \frac{1}{2},\pm \frac{1}{2},\pm \frac{1}{2})$,

і прості додатні кореневі вектори

$(0,1,-1,0)$,

$(0,0,1,-1)$,

$(0,0,0,1)$,

$(\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2})$.

Група Вейля/Коксетера

Для даної групи це - група симетрії гіпероктаедра.

Матриця Картана

$\left(\begin{array}{cccc}2& -1& 0& 0\\ -1& 2& -2& 0\\ 0& -1& 2& -1\\ 0& 0& -1& 2\end{array}\right)$

Ґратка симетрії F₄

4-вимірна об'ємноцентрована кубічна ґратка має F₄ як точкову групу симетрії. Це поєднання двох гіперкубічних ґраток, точки кожної з яких лежать у центрах гіперкубів іншої, утворює кільце, називане кільцем кватерніонів Гурвіца. 24 кватерніони Гурвіца з нормою 1 утворюють гіпероктаедр.

Джерела

• John Baez, The Octonions, Section 4.2: F₄, Bull. Amer. Math. Soc. 39 (2002), 145—205 Шаблон:Webarchive. On-line HTML варіант Шаблон:WebarchiveШаблон:Ref-en