В математике, a корневая система - это конфигурация векторов в евклидовом пространстве, удовлетворяющая определенным геометрическим свойствам. Это понятие является фундаментальным в теории групп Ли и алгебр Ли, особенно в теории классификации и представлений полупростых алгебр Ли. Поскольку группы Ли (и некоторые аналоги, такие как алгебраические группы ) и алгебры Ли стали важными во многих областях математики в течение двадцатого века, очевидная особая природа корневых систем противоречит количеству областей, в которых они используются. применяется. Кроме того, схема классификации корневых систем по диаграммам Дынкина встречается в частях математики, не имеющих явной связи с теорией Ли (например, теория сингулярностей ). Наконец, корневые системы важны сами по себе, как в теории спектральных графов.
В качестве первого примера рассмотрим шесть векторов в 2-мерном евклидовом пространстве, R, как показано на изображении справа; назовите их корнями . Эти векторы охватывают все пространство. Если вы рассматриваете прямую , перпендикулярную любому корню, скажем β, то отражение R в этой строке отправляет любой другой корень, скажем α, другому корню. Более того, корень, в который он отправляется, равен α + nβ, где n - целое число (в данном случае n равно 1). Эти шесть векторов удовлетворяют следующему определению, поэтому они образуют корневую систему; это известно как A 2.
Пусть E - конечномерное евклидово векторное пространство со стандартным евклидовым внутренним произведением обозначается . корневая система в E - это конечный набор ненулевых векторов (называемых корнями ), которые удовлетворяют следующим условиям условия:
Эквивалентный способ записи условий 3 и 4 выглядит следующим образом:
Некоторые авторы включают только условия 1–3 в определение корневой системы. В этом контексте корневая система, которая также удовлетворяет условию целостности, известна как кристаллографическая корневая система . Другие авторы опускают условие 2; затем они называют корневые системы, удовлетворяющие условию 2 редуцированными . В этой статье предполагается, что все корневые системы являются редуцированными и кристаллографическими.
С учетом свойства 3 условие целостности эквивалентно заявлению, что β и его отражение σ α (β) отличаются на целое число, кратное α. Обратите внимание, что оператор
определен по свойству 4 не является внутренним продуктом. Он не обязательно симметричен и линейен только по первому аргументу.
Корневая система . | Корневая система . |
Корневая система . | Корневая система . |
Корневая система . | Корневая система . |
ранг корневой системы Φ - это размерность E. Две корневые системы могут быть объединены, рассматривая евклидовы пространства, которые они охватывают, как взаимно ортогональные подпространства общего евклидова пространства. Корневая система, которая не возникает в результате такой комбинации, например, системы A 2, B 2 и G 2, изображенные справа, называется быть неприводимым .
Две корневые системы (E 1, Φ 1) и (E 2, Φ 2) называются изоморфными, если существует обратимое линейное преобразование E 1 → E 2, которое отправляет Φ 1 в Φ 2 таким образом, что для каждой пары корней сохраняется число .
решетка корневой системы Φ - это Z -подмодуль E, порожденный Φ. Это решетка в E.
Группа из изометрий E, порожденная отражениями через гиперплоскости, связанные с корнями Φ, называется группой Вейля Φ. Поскольку она точно действует на конечном множестве Φ, группа Вейля всегда конечна. Плоскости отражения - это гиперплоскости, перпендикулярные корням, обозначенные для пунктирными линиями на рисунке. Группа Вейля - это группа симметрии равностороннего треугольника, состоящего из шести элементов. В этом случае группа Вейля не является полной группой симметрии корневой системы (например, поворот на 60 градусов является симметрией корневой системы, но не элементом группы Вейля).
Существует только одна корневая система ранга 1, состоящая из двух ненулевых векторов . Эта корневая система называется .
На втором ранге есть четыре возможности, соответствующие , где . На рисунке справа показаны эти возможности, но с некоторыми избыточностями: изоморфен и изоморфен .
Обратите внимание, что корневая система не определяется решеткой, которую она генерирует: и оба генерируют квадратную решетку, а и генерирует гексагональную решетку, только два из пяти возможных типов решеток в двух измерениях.
Всякий раз, когда Φ является корнем системы в E, и S - это подпространство в E, натянутое на Ψ = Φ ∩ S, то Ψ - корневая система в S. Таким образом, исчерпывающий список из четырех корневых систем ранга 2 показывает геометрические возможности для любых двух корней, выбранных из корневой системы произвольного ранга. В частности, два таких корня должны встречаться под углом 0, 30, 45, 60, 90, 120, 135, 150 или 180 градусов.
Если является сложной полупростой алгеброй Ли и - это подалгебра Картана, мы можем построить корневую систему следующим образом. Мы говорим, что является корнем из относительно , если и существует такой, что
для всех . Можно показать, что существует внутренний продукт, для которого набор корней образует корневую систему. Корневая система является фундаментальным инструментом для анализа структуры и классификация его представлений. (См. Раздел ниже, посвященный корневым системам и теории лжи.)
Концепция корневой системы была первоначально введена Вильгельмом Киллингом около 1889 г. Wurzelsystem). Он использовал их в своей попытке классифицировать все простые алгебры Ли по полю комплексных чисел. Изначально Киллинг допустил ошибку в классификации, перечислив две исключительные корневые системы ранга 4, хотя на самом деле существует только одна, теперь известная как F 4. Позже Картан исправил эту ошибку, показав, что две корневые системы Киллинга изоморфны.
Киллинг исследовал структуру алгебры Ли , рассматривая то, что сейчас называется подалгеброй Картана . Затем он изучил корни характеристического многочлена , где . Здесь корень рассматривается как функция от или как элемент двойного векторного пространства . Этот набор корней образует корневую систему внутри , как определено выше, где внутренним продуктом является Killing форма.
. Косинус числа угол между двумя корнями должен составлять половину квадратного корня положительного целого числа. Это потому, что и по предположению целые числа, а
Поскольку , единственные возможные значения для равны и , что соответствует углам 90 °, 60 ° или 120 °, 45 ° или 135 °, 30 ° или 150 °, а также 0 ° или 180 °. Условие 2 говорит, что никакие скалярные числа, кратные α, кроме 1 и −1, не могут быть корнями, поэтому 0 или 180 °, которые соответствовали бы 2α или −2α, отсутствуют. На диаграмме справа показано, что угол 60 ° или 120 ° соответствует корням одинаковой длины, а угол 45 ° или 135 ° соответствует соотношению длин и угол 30 ° или 150 ° соответствует соотношению длины .
Таким образом, вот единственные возможности для каждого пара корней.
Учитывая корневую систему мы всегда можем выбрать (разными способами) набор положительных корней . Это подмножество из такое, что
Если набор положительных корней выбрано, элементы называются отрицательными корнями . Набор положительных корней можно построить, выбрав гиперплоскость , не содержащую корня, и установив - все корни, лежащие на фиксированной стороне . Более того, каждый набор положительных корней возникает таким образом.
Элемент называется простым корнем, если он не может быть записан как сумма двух элементов . (Набор простых корней также называется основанием для .) Набор простых корней является основой со следующими дополнительными специальными свойствами:
Для каждой корневой системы существует множество различных вариантов набора положительных корней или, что то же самое, простых корней, но любые два набора положительных корней отличаются действием группы Вейля.
Если Φ - корневая система в E, коронка α корня α определяется равенством
Набор корневых корней также образует корневую систему Φ в E, называемую двойная корневая система (или иногда обратная корневая система). По определению α = α, так что Φ - двойственная система корней к Φ. Решетка в E, натянутая на Φ, называется решеткой корорутов. И Φ, и Φ имеют одну и ту же группу Вейля W, и для s в W
Если Δ - это набор простых корней для Φ, то Δ - это набор простых корней для Φ.
В описанной ниже классификации корневые системы типа и вместе с исключительными корневыми системами все самодуальные, что означает, что двойная корневая система изоморфна исходной корневой системе. В отличие от этого, корневые системы и двойственны друг другу., но не изоморфен (кроме случаев, когда ).
Вектор в E называется интегральным, если его внутренний продукт с каждым корнем - целое число:
Поскольку набор из с образует основу для двойная корневая система, чтобы убедиться, что является целым, достаточно проверить указанное выше условие для .
Набор интегральных элементов называется решеткой весов, связанной с данной корневой системой. Этот термин происходит от теории представлений полупростых алгебр Ли, где целые элементы образуют возможные веса конечномерных представлений.
Определение корневой системы гарантирует, что сами корни являются составными элементами. Таким образом, всякая целочисленная линейная комбинация корней также является целой. Однако в большинстве случаев будут целые элементы, которые не являются целочисленными комбинациями корней. То есть в общем случае решетка весов не совпадает с решеткой корней.
Корневая система является неприводимой, если ее нельзя разбить на объединение двух собственных подмножеств , так что для всех и .
Неприводимые корневые системы соответствуют некоторым графикам, диаграммам Дынкина им. Евгения Дынкина. Классификация этих графов является простым делом комбинаторики и приводит к классификации неприводимых корневых систем.
Для корневой системы выберите набор Δ из простых корней, как в предыдущем разделе. Вершины присоединенной диаграммы Дынкина соответствуют корням в Δ. Края между векторами проводят в соответствии с углами следующим образом. (Обратите внимание, что угол между простыми корнями всегда составляет не менее 90 градусов.)
Термин «направленная кромка» означает, что двойные и тройные кромки отмечены стрелкой, указывающей в сторону более короткого вектора. (Если рассматривать стрелку как знак «больше», становится ясно, в каком направлении стрелка должна указывать.)
Обратите внимание, что с учетом элементарных свойств корней, отмеченных выше, правила создания диаграммы Дынкина могут также можно описать следующим образом. Без ребра, если корни ортогональны; для неортогональных корней - одинарное, двойное или тройное ребро в зависимости от того, составляет ли отношение длины более длинного к более короткому 1, , . В случае корневой системы , например, есть два простых корня, расположенные под углом 150 градусов (с отношением длины ). Таким образом, диаграмма Дынкина имеет две вершины, соединенные тройным ребром, со стрелкой, указывающей от вершины, связанной с более длинным корнем, к другой вершине. (В этом случае стрелка немного избыточна, поскольку диаграмма эквивалентна в зависимости от направления стрелки.)
Хотя данная корневая система имеет более одного возможного набора простых корней группа Вейля действует транзитивно при таком выборе. Следовательно, диаграмма Дынкина не зависит от выбора простых корней; она определяется самой корневой системой. И наоборот, имея две корневые системы с одной и той же диаграммой Дынкина, можно сопоставить корни, начиная с корней в основании, и показать, что системы фактически одинаковы.
Таким образом, проблема классификации корневых систем сводится к проблеме классификации возможных диаграмм Дынкина. Корневая система неприводима тогда и только тогда, когда ее диаграммы Дынкина связны. Возможные схемы подключения показаны на рисунке. Нижние индексы указывают количество вершин на диаграмме (и, следовательно, ранг соответствующей неприводимой корневой системы).
Если является корневой системой, диаграмма Дынкина для двойной корневой системы получается из диаграммы Дынкина путем сохранения всех тех же вершин и ребер, но с изменением направлений всех стрелок. Таким образом, из их диаграмм Дынкина видно, что и являются двойственны друг другу.
Если является корневой системой, мы можем рассматривать гиперплоскость, перпендикулярную каждому корню . Напомним, что обозначает отражение относительно гиперплоскости, а группа Вейля - это группа преобразований сгенерировано всеми . Дополнение набора гиперплоскостей разъединено, и каждый компонент связности называется камерой Вейля . Если мы зафиксировали определенный набор Δ простых корней, мы можем определить фундаментальную камеру Вейля, связанную с Δ, как набор точек такой, что для всех .
Поскольку отражения сохранить , они также сохраняют набор гиперплоскостей, перпендикулярных корням. Таким образом, каждый элемент группы Вейля переставляет камеры Вейля.
На рисунке показан случай корневая система. «Гиперплоскости» (в данном случае одномерные), ортогональные корням, обозначены пунктирными линиями. Шесть секторов по 60 градусов - это камеры Вейля, а заштрихованная область - основная камера Вейля, связанная с указанной базой.
Основная общая теорема о камерах Вейля такова:
В случае , например, группа Вейля имеет шесть элементов и шесть камер Вейля.
Связанный результат следующий:
Неприводимые корневые системы классифицируют ряд связанных объектов в теории Ли, в частности следующие:
В каждом случае корни являются ненулевыми весами присоединенного представления.
Теперь мы дадим краткое указание на то, как неприводимые корневые системы классифицируют простые алгебры Ли над , следуя аргументам в Хамфрис. Предварительный результат говорит, что полупростая алгебра Ли проста тогда и только тогда, когда ассоциированная система корней неприводима. Таким образом, мы ограничиваем внимание неприводимыми корневыми системами и простыми алгебрами Ли.
. О связях между исключительными корневыми системами и их группами Ли и алгебрами Ли см. E8, E7, E6, F4 и G2.
I | D | ||||
---|---|---|---|---|---|
An(n ≥ 1) | n (n + 1) | n + 1 | (n + 1)! | ||
Bn(n ≥ 2) | 2n | 2n | 2 | 2 | 2 n! |
Cn(n ≥ 3) | 2n | 2n (n - 1) | 2 | 2 | 2 n! |
Dn(n ≥ 4) | 2n (n - 1) | 4 | 2 n! | ||
E6 | 72 | 3 | 51840 | ||
E7 | 126 | 2 | 2903040 | ||
E8 | 240 | 1 | 696729600 | ||
F4 | 48 | 24 | 4 | 1 | 1152 |
G2 | 12 | 6 | 3 | 1 | 12 |
Неприводимые корневые системы именуются в соответствии с соответствующими им связными диаграммами Дынкина. Существует четыре бесконечных семейства (A n, B n, C n и D n, называемых классическим корнем системы ) и пять исключительных случаев (исключительные корневые системы ). Нижний индекс указывает ранг корневой системы.
В неприводимой корневой системе может быть не более двух значений длины (α, α), соответствующих коротким и длинным корням. Если все корни имеют одинаковую длину, они по определению считаются длинными, а корневая система называется просто зашнурованной ; это происходит в случаях A, D и E. Любые два корня одинаковой длины лежат на одной орбите группы Вейля. В не просто связанных случаях B, C, G и F решетка корней натянута на короткие корни, а длинные корни покрывают подрешетку, инвариантную относительно группы Вейля, равную r / 2, умноженному на решетку корней, где r это длина длинного корня.
В соседней таблице | Φ | обозначает количество коротких корней, I обозначает индекс в решетке корней подрешетки, порожденной длинными корнями, D обозначает определитель матрицы Картана, а | W | обозначает порядок группы Вейля.
e1 | e2 | e3 | e4 | |
---|---|---|---|---|
α1 | 1 | −1 | 0 | 0 |
α2 | 0 | 1 | −1 | 0 |
α3 | 0 | 0 | 1 | −1 |
Пусть E будет подпространством R, для которого сумма координат равна 0, и пусть Φ будет набором векторов в E длины √ 2, которые являются целочисленными векторами, т.е. имеют целые координаты в R . Такой вектор должен иметь все координаты, кроме двух, равные 0, одну координату, равную 1, и одну, равную –1, так что всего имеется n + n корней. Один из вариантов выбора простых корней, выраженных в стандартном базисе : αi= ei– ei + 1 для 1 ≤ i ≤ n.
Отражение σiчерез гиперплоскость, перпендикулярную αi, совпадает с перестановкой соседнего i - -я и (i + 1 ) -я координаты. Такие транспозиции генерируют полную группу перестановок. Для смежных простых корней σ i(αi + 1) = αi + 1 + αi= σ i + 1 (αi) = αi+ αi + 1, что есть отражение эквивалентно сложению числа, кратного 1; но отражение простого корня, перпендикулярного несмежному простому корню, оставляет его без изменений, отличаясь кратным 0.
Корневая решетка A n, то есть решетка, порожденная A n корней - проще всего описать как набор целочисленных векторов в R, сумма компонентов которых равна нулю.
Корневая решетка A 2 - это расположение вершин треугольной мозаики .
Корневая решетка A 3 известна кристаллографам как гранецентрированная кубическая (или кубическая плотноупакованная ) решетка.. Это расположение вершин решетки тетраэдрически-октаэдрические соты.
Корневая система A 3 (как и другие корневые системы третьего ранга) может быть смоделирована в Zometool Construction set.
В общем, n решетка корней - это расположение вершин n-мерной простой соты.
e1 | e2 | e3 | e4 | |
---|---|---|---|---|
α1 | 1 | −1 | 0 | 0 |
α2 | 0 | 1 | −1 | 0 |
α3 | 0 | 0 | 1 | −1 |
α4 | 0 | 0 | 0 | 1 |
Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины 1 или √2. Общее количество корней 2n. Один из вариантов простых корней: αi= ei– ei + 1, для 1 ≤ i ≤ n - 1 (выбор простых корней выше для An − 1), а более короткий корень αn= en.
Отражение σ n через гиперплоскость, перпендикулярную короткому корню αn, конечно, просто отрицание n-й координаты. Для длинного простого корня αn − 1, σ n − 1 (αn) = αn+ αn − 1, но для отражения, перпендикулярного короткому корню, σ n(αn − 1) = αn − 1 + 2 αn, разница кратна 2 вместо 1.
Корень B n решетка, то есть решетка, порожденная корнями B n, состоит из всех целочисленных векторов.
B1изоморфен A 1 посредством масштабирования на √2, и поэтому не является отдельной корневой системой.
e1 | e2 | e3 | e4 | |
---|---|---|---|---|
α1 | 1 | −1 | 0 | 0 |
α2 | 0 | 1 | −1 | 0 |
α3 | 0 | 0 | 1 | −1 |
α4 | 0 | 0 | 0 | 2 |
Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины √2 вместе со всеми векторами формы 2λ, где λ - целочисленный вектор длины 1. Общее количество корней 2n. Один из вариантов простых корней: αi= ei– ei + 1 для 1 ≤ i ≤ n - 1 (выбор простых корней выше для An − 1), а более длинный корень αn= 2 en. Отражение σ n(αn − 1) = αn − 1 + αn, но σ n − 1 (αn) = αn+ 2 αn − 1.
Решетка корней C n, то есть решетка, порожденная корнями C n, состоит из всех целочисленных векторов, сумма компонентов которых равна четному целому числу.
C2изоморфен B 2 посредством масштабирования на √2 и поворота на 45 градусов, и поэтому не является отдельной корневой системой.
e1 | e2 | e3 | e4 | |
---|---|---|---|---|
α1 | 1 | −1 | 0 | 0 |
α2 | 0 | 1 | −1 | 0 |
α3 | 0 | 0 | 1 | −1 |
α4 | 0 | 0 | 1 | 1 |
Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины √2. Общее количество корней 2n (n - 1). Один из возможных вариантов простых корней: αi= ei– ei + 1, для 1 ≤ i < n − 1 (the above choice of simple roots for An − 1) плюс αn= en+ en − 1.
Отражение через гиперплоскость, перпендикулярную αnто же самое, что , транспонирующий и отменяющий соседние n-ю и (n - 1) -ю координаты. Любой простой корень и его отражение, перпендикулярное другому простому корню, отличаются от второго корня кратным 0 или 1, а не большим кратным.
Решетка корней D n, то есть решетка, порожденная корнями D n, состоит из всех целочисленных векторов, сумма компонентов которых равна четному целому числу. Это то же самое, что и решетка корней C n.
Корни D n выражаются как вершины выпрямленного n- ортоплекса, диаграммы Кокстера-Дынкина : ... . 2n (n - 1) вершины находятся в середине ребер n-ортоплекса.
D3совпадает с A 3 и поэтому не является отдельной корневой системой. 12 корневых векторов D 3 выражены как вершины , конструкция с более низкой симметрией кубооктаэдра .
D4имеет дополнительную симметрию, называемую тройственностью. 24 корневых вектора D 4 выражаются как вершины , конструкции с более низкой симметрией 24-элементного.
. 72 вершины 122 представляют корневые векторы E6. (Зеленые узлы удвоены в этой проекции плоскости Кокстера E6) | . 126 вершин 231 представляют корневые векторы E7 | . 240 вершин 421 представляют корневые векторы E8 |
В корневой системе есть 240 корней. Только что перечисленный набор - это набор векторов длины √2 в корневой решетке E8, также известный как решетка E8 или Γ 8. Это набор точек в R таких, что:
Таким образом,
1 | −1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | −1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | −1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | −1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | −1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | −1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
−½ | −½ | −½ | −½ | −½ | −½ | −½ | −½ |
Альтернативное описание E 8 Решетка, которая иногда удобна, представляет собой набор Γ '8 всех точек в R таких, что
Решетки Γ 8 и Γ '8 равны изоморфный ; переходить от одного к другому можно, меняя знаки любого нечетного числа координат. Решетка Γ 8 иногда называется четной системой координат для E 8, тогда как решетка Γ '8 называется нечетной системой координат.
Один из вариантов простых корней для E 8 в четной системе координат со строками, упорядоченными по порядку узлов в альтернативных (неканонических) диаграммах Дынкина (см. Выше):
(указанный выше выбор простых корней для D 7) вместе с
1 | −1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | −1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | −1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | −1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | −1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | −1 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | −1 |
−½ | −½ | −½ | −½ | −½ | ½ | ½ | ½ |
Один выбор простых корней для E 8 в нечетной системе координат со строками, упорядоченными по Порядок узлов в альтернативных (неканонических) диаграммах Дынкина (выше):
(указанный выше выбор простых корней для A 7) вместе с
(Использование β3даст изоморфный результат. Использование β1,7 или β2,6 просто даст A 8 или D 8. Что касается β4, его координаты в сумме равны 0, и то же самое верно для α1... 7, поэтому они охватывают только 7 -мерное подпространство, для которого сумма координат равна 0; фактически –2 β4имеет координаты (1,2,3,4,3,2,1) в базисе (αi).)
Поскольку перпендикулярность к α1означает, что первые две координаты равны, E 7 тогда является подмножеством E 8, где первые две координаты равны, и аналогично E 6 - это подмножество E 8, где первые три координаты равны. Это облегчает явное определение E 7 и E 6 как:
Обратите внимание, что удаление α1, а затем α2дает наборы простых корней для E 7 и E 6. Однако эти наборы простых корней находятся в разных подпространствах E 7 и E 6 E 8, чем написанные выше, поскольку они не ортогональны α1или α2.
e1 | e2 | e3 | e4 | |
---|---|---|---|---|
α1 | 1 | −1 | 0 | 0 |
α2 | 0 | 1 | −1 | 0 |
α3 | 0 | 0 | 1 | 0 |
α4 | -½ | -½ | -½ | -½ |
Для F 4, пусть E = R, и пусть Φ обозначает набор векторов α длины 1 или √2 таких, что координаты 2α являются целыми числами и либо все четные, либо все нечетные. В этой системе 48 корней. Один из вариантов простых корней: выбор простых корней, данный выше для B 3, плюс α4= - .
Корневая решетка F 4, то есть решетка, порожденная F 4 корневая система - это набор точек в R таких, что либо все координаты являются целыми числами, либо все координаты являются полуцелыми числами (a сочетание целых и полуцелых чисел не допускается). Эта решетка изоморфна решетке кватернионов Гурвица.
e1 | e2 | e3 | |
---|---|---|---|
α1 | 1 | −1 | 0 |
β | −1 | 2 | −1 |
Корневая система G 2 имеет 12 корней, которые образуют вершины a гексаграмма. См. Рисунок выше.
Один из вариантов простых корней: (α1, β= α2– α1), где αi= ei– ei + 1 для i = 1, 2 - это выбранный выше выбор простых корней для A 2.
Решетка корней G 2, то есть решетка, порожденная корнями G 2, такая же, как решетка корней A 2.
Набор положительных корней естественно упорядочивается, говоря, что тогда и только тогда, когда является неотрицательной линейной комбинацией простых корни. Этот poset оценивается на , и обладает множеством замечательных комбинаторных свойств, одно из которых состоит в том, что можно определить степени фундаментальных инвариантов соответствующей группы Вейля из этого ч.у.м. Граф Хассе представляет собой визуализацию порядка корневого набора.
Викискладе есть носители, связанные с корневыми системами. |