( B , N ) пара - (B, N) pair

В математике , А ( В , Н ) пара является структурой на группы типа Ли , что позволяет дать единые доказательства многих результатов, вместо того , чтобы давать большое количество случая к случаю доказательств. Грубо говоря, это показывает, что все такие группы подобны общей линейной группе над полем. Они были введены математиком Жаком Титсом и иногда называются системами Титса .

Определение

Пара A ( B , N ) - это пара подгрупп B и N группы G такая, что выполняются следующие аксиомы:

  • G порождается B и N .
  • Пересечения, Н , из B и N является нормальной подгруппой из N .
  • Группа W = N / H порождается множествами S элементов ш I порядка 2, для I в некотором непустом множестве I .
  • Если ж я есть элемент S и W является любой элемент из W , то W I Bw содержится в объединении Bw я Wb и BwB .
  • Нет генератор ж я не нормализует B .

Идея этого определения является то , что B является аналогом верхних треугольных матриц общей линейной группы GL п ( К ), Н является аналогом диагональных матриц, а N представляет собой аналог нормализатора из H .

Подгруппу B иногда называют подгруппой Бореля , H - подгруппой Картана , а W - группой Вейля . Пара ( W , S ) является системой Кокстера .

Количество образующих называется рангом .

Примеры

  • Предположим, что G - любая дважды транзитивная группа перестановок на множестве X с более чем двумя элементами. Пусть B - подгруппа группы G, фиксирующая точку x , и пусть N - подгруппа, фиксирующая или меняющая местами 2 точки x и y . Тогда подгруппа H представляет собой набор элементов, фиксирующих как x, так и y , а W имеет порядок 2, и его нетривиальный элемент представлен чем-либо, меняющим местами x и y .
  • И наоборот, если G имеет (B, N) пару ранга 1, то действие G на смежных классах B является дважды транзитивно . Таким образом, пары BN ранга 1 более или менее аналогичны дважды транзитивным действиям на множествах с более чем двумя элементами.
  • Предположим , что G является линейная группа GL п ( К ) над полем K . Мы берем B за верхние треугольные матрицы, H за диагональные матрицы и N за мономиальные матрицы , то есть матрицы с ровно одним ненулевым элементом в каждой строке и столбце. Существует n  - 1 образующих w i , представленных матрицами, полученными перестановкой двух соседних строк диагональной матрицы.
  • Вообще говоря, любая группа лиева типа имеет структуру BN-пары.
  • Редуктивная алгебраическая группа над локальным полем имеет BN-пару, где B - подгруппа Ивахори .

Свойства групп с BN парой

Отображение, переводящее w в BwB, является изоморфизмом множества элементов W в множество двойных смежных классов B ; это разложение Брюа   G  =  BWB .

Если Т является подмножеством S , то пусть W ( Т ) подгруппа W , порожденным Т : мы определим и G ( T ) = BW ( Т ) Б , чтобы быть стандартной параболической подгруппой для T . Подгруппы группы G, содержащие сопряженных с B, являются параболическими подгруппами ; сопряженные с B называются борелевскими подгруппами (или минимальными параболическими подгруппами). Это в точности стандартные параболические подгруппы.

Приложения

BN-пары можно использовать для доказательства того, что многие группы лиева типа просты по модулю своих центров. Точнее, если G имеет BN -пара такую, что B - разрешимая группа , пересечение всех сопряженных с B тривиально и множество образующих W не может быть разложено на два непустых коммутирующих множества, то G проста всякий раз, когда это идеальная группа . На практике все эти условия, за исключением идеального G , легко проверить. Проверка того, что G идеальна, требует некоторых немного беспорядочных вычислений (и на самом деле есть несколько небольших групп лиева типа, которые не идеальны). Но показать, что группа идеальна, обычно намного проще, чем просто показать.

Рекомендации

  • Бурбаки, Николас (2002). Группы Ли и алгебры Ли: главы 4–6 . Элементы математики. Springer. ISBN   3-540-42650-7 . Zbl   0983.17001 . CS1 maint: обескураженный параметр ( ссылка ) Стандартный эталон для пар BN.
  • Серр, Жан-Пьер (2003). Деревья . Springer. ISBN   3-540-44237-5 . Zbl   1013.20001 . CS1 maint: обескураженный параметр ( ссылка )