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

В математика, а (B, N) пара это структура на группы лиева типа это позволяет давать единообразные доказательства многих результатов вместо того, чтобы давать большое количество доказательств в каждом конкретном случае. Грубо говоря, это показывает, что все такие группы похожи на общая линейная группа над полем. Их ввел математик Жак Титс, а также иногда называют Системы синицы.

Определение

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

  • грамм генерируется B и N.
  • Перекресток, ЧАС, из B и N это нормальная подгруппа из N.
  • Группа W = N / H порождается набором S элементов шя порядка 2, для я в каком-то непустом наборе я.
  • Если шя является элементом S и ш любой элемент W, тогда шяЧб содержится в объединении ЧбяwB и BwB.
  • Без генератора шя нормализует B.

Идея этого определения заключается в том, что B является аналогом верхнетреугольных матриц полной линейной группы GLп(K), ЧАС является аналогом диагональных матриц, а N является аналогом нормализатор из ЧАС.

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

Количество генераторов называется классифицировать.

Примеры

  • Предположим, что грамм есть ли дважды транзитивная группа подстановок на съемочной площадке Икс с более чем 2 элементами. Мы позволяем B быть подгруппой грамм фиксация точки Икс, и мы позволяем N быть подгруппой, фиксирующей или обменивающейся 2 очками Икс и у. Подгруппа ЧАС тогда набор элементов, фиксирующих оба Икс и у, и W имеет порядок 2, и его нетривиальный элемент представлен чем-либо, меняющим Икс и у.
  • Наоборот, если грамм имеет пару (B, N) ранга 1, то действие грамм на смежных классах B является дважды транзитивный. Таким образом, BN-пары ранга 1 более или менее аналогичны дважды транзитивным действиям на множествах с более чем двумя элементами.
  • Предположим, что грамм общая линейная группа GLп(K) над полем K. Мы принимаем B быть верхнетреугольными матрицами, ЧАС быть диагональными матрицами, и N быть мономиальные матрицы, т.е. матрицы с одним ненулевым элементом в каждой строке и столбце. Есть п - 1 генераторы шя, представленный матрицами, полученными перестановкой двух соседних строк диагональной матрицы.
  • В общем, любой группа лиева типа имеет структуру BN-пары.
  • Редуктивная алгебраическая группа над местное поле имеет BN-пару, где B является Подгруппа Ивахори.

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

Карта взятия ш к BwB является изоморфизмом множества элементов W множеству двойных смежных классов B; это Разложение Брюа  грамм = BWB.

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

Приложения

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

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

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