F4 (матэматыка): Розніца паміж версіямі

[дагледжаная версія][дагледжаная версія]
Змесціва выдалена Змесціва дададзена
Artificial123 (размовы | уклад)
дрНяма тлумачэння праўкі
дрНяма тлумачэння праўкі
Радок 1:
{{Тэорыя груп}}
У [[Матэматыка|матэматыцы]], '''F<sub>4</sub>''' — назва адной з пяці (кампактных або комплексных) адмысловых простых [[Група Лі|груп Лі]], а таксама яе [[алгебра Лі|алгебры Лі]] <math>\mathfrak{f}_4</math>. '''F'''<sub>4</sub> мае 4 ранг і размернасць 52. Група F<sub>4</sub> адназвязная, а яе група знешніх аўтамарфізмаў трывіяльная. Найбольш простае дакладнае лінейнае прадстаўленне групы F<sub>4</sub>, а таксама яе алгебры Лі 26-мернае і непрыводнае.
 
Кампактная рэчаісная форма (комплекснай) групы F<sub>4</sub> з'яўляецца групай ізаметрый 16-мернай рыманавай разнастайнасцімнагастайнасці, вядомай як 'октаніённая праектыўная плоскасць', OP<sub>2</sub>. Гэта можа быць паказана з дапамогай агульнага прыёму, які выкарыстоўвае канструкцыю, вядомую як магічны квадрат, распрацаваную Г. ФрэйденталемФрэйдэнталем і Ж. Тытсам.
У [[Матэматыка|матэматыцы]], '''F<sub>4</sub>''' — назва адной з пяці (кампактных або комплексных) адмысловых простых [[Група Лі|груп Лі]], а таксама яе [[алгебра Лі|алгебры Лі]] <math>\mathfrak{f}_4</math>. '''F'''<sub>4</sub мае 4 ранг і размернасць 52. Група F<sub>4</sub> адназвязная, а яе група знешніх аўтамарфізмаў трывіяльная. Найбольш простае дакладнае лінейнае прадстаўленне групы F<sub>4</sub>, а таксама яе алгебры Лі 26-мернае і непрыводнае.
 
Кампактная рэчаісная форма (комплекснай) групы F<sub>4</sub> з'яўляецца групай ізаметрый 16-мернай рыманавай разнастайнасці, вядомай як 'октаніённая праектыўная плоскасць', OP<sub>2</sub>. Гэта можа быць паказана з дапамогай агульнага прыёму, які выкарыстоўвае канструкцыю, вядомую як магічны квадрат, распрацаваную Г. Фрэйденталем і Ж. Тытсам.
 
Ёсць 3 рэчаісныя групы Лі з алгебрай <math>\mathfrak{f}_4</math>: кампактная, падзеленая і трэцяя.
Радок 58 ⟶ 57:
=== Рашотка сіметрыі F<sub>4</sub> ===
 
4-мерная аб'ёмнацентраванаяёмнацэнтраваная кубічная рашотка мае F<sub>4</sub> як кропкавую групу сіметрыі. Гэта аб'яднанне двухдзвюх гіперкубічных рашотак, кропкі кожнай з якіх ляжаць у цэнтрах гіперкубоў іншай, утварае кольцакальцо, званае кольцамкальцом кватэрніёнаў Гурвіца. 24 кватэрніёны Гурвіца з нормай 1 ўтвараюцьутвараюць гіперактаэдр.
 
== Гл. таксама ==