WikiDer > Связный набор символов - Википедия

Coherent set of characters - Wikipedia

В математике теория представлений, согласованность является свойством множества символы что позволяет продлить изометрия от подпространства нулевой степени пространства характеров до всего пространства. Общее понятие согласованности было разработано Feit (1960, 1962), как обобщение доказательства Фробениуса существования ядра Фробениуса Группа Фробениуса и работы Брауэра и Сузуки над исключительные персонажи. Фейт и Томпсон (1963, Глава 3) развил последовательность в доказательстве Теорема Фейта – Томпсона все это группы нечетного порядка разрешимы.

Определение

Предположим, что ЧАС является подгруппой конечной группы грамм, и S набор неприводимые персонажи из ЧАС. Написать я(S) для множества целых линейных комбинаций S, и я0(S) для подмножества элементов степени 0 я(S). Предположим, что τ - изометрия из я0(S) до степени 0 виртуальных персонажей грамм. Тогда τ называется последовательный если его можно продолжить до изометрии из я(S) персонажам грамм и я0(S) не равно нулю. Хотя, строго говоря, когерентность на самом деле является свойством изометрии τ, обычно говорят, что множество S является когерентным вместо того, чтобы говорить, что τ когерентно.

Теорема Фейта

Фейт доказал несколько теорем, дающих условия, при которых набор характеров согласован. Типичный из них следующий. Предположим, что ЧАС является подгруппой группы грамм с нормализатор N, так что N группа Фробениуса с ядром ЧАС, и разреши S быть неприводимыми характерами N что нет ЧАС в их ядре. Предположим, что τ - линейная изометрия из я0(S) в символы степени 0 грамм. Тогда τ когерентно, если

  • либо ЧАС является элементарной абелевой группой и N/ЧАС действует просто транзитивно на свои неединичные элементы (в этом случае я0(S) равно нулю)
  • или же ЧАС неабелева п-группа для некоторого простого п чья абелианизация имеет порядок не более 4 |N/ЧАС|2+1.

Примеры

Если грамм простая группа SL2(F2п) за п> 1 и ЧАС является силовской 2-подгруппой с индукцией τ, то когерентность нарушается по первой причине: ЧАС является элементарный абелев и N/ЧАС имеет порядок 2п–1 и действует на него просто транзитивно.

Если грамм простая группа Сузуки порядка (2п–1) 22п( 22п+1) с п странно и п> 1 и ЧАС - силовская 2-подгруппа, а τ - индукция, то когерентность нарушается по второй причине. Абелианизация ЧАС имеет порядок 2п, а группа N/ЧАС имеет порядок 2п–1.

Примеры

В доказательстве теории Фробениуса о существовании ядра группы Фробениуса грамм где подгруппа ЧАС - подгруппа, фиксирующая точку, и S - это множество всех неприводимых характеров ЧАС, изометрия τ на я0(S) является просто индукцией, хотя ее продолжение на я(S) не является индукцией.

Аналогично в теории исключительные персонажи изометрия τ снова является индукцией.

В более сложных случаях изометрия τ перестает быть индукционной. Например, в Теорема Фейта – Томпсона изометрия τ - это Изометрия Дейда.

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