WikiDer > Функтор сигнализатора

Signalizer functor

В математике функтор сигнализатора дает пересечения потенциальной подгруппы конечной группы с центраторы нетривиальных элементов абелевой группы. В сигнализатор функтор теорема дает условия, при которых функтор сигнализатора происходит из подгруппы. Идея состоит в том, чтобы попытаться построить -подгруппа конечной группы , у которого есть хорошие шансы стать нормальным в , взяв в качестве генераторов некоторые -подгруппы централизаторов неединичных элементов в одном или нескольких заданных нециклических элементарных абелевых -подгруппы Эта техника возникла в Теорема Фейта – Томпсона, и впоследствии был разработан многими людьми, включая Горенштейн (1969) кто определил функторы сигнализатора, Глауберман (1976) который доказал теорему о разрешимом сигнализаторе о функторе для разрешимых групп, и МакБрайд (1982a, 1982b), который доказал это для всех групп. Эта теорема нужна для доказательства так называемой «дихотомии», утверждающей, что данная неабелева конечная простая группа либо имеет локальную характеристику два, либо имеет компонентный тип. Таким образом, он играет важную роль в классификация конечных простых групп.

Определение

Позволять А быть нециклическим элементарным абелевым п-подгруппа конечной группы Г. An Функтор A-сигнализатора включен г или просто функтор сигнализатора когда А и г ясны это отображение θ из множества неединичных элементов А к набору А-инвариантный п'-подгруппы г удовлетворяющие следующим свойствам:

  • Для каждого неидентичности , группа содержится в
  • Для каждого неидентичности , у нас есть

Второе условие выше называется состояние баланса. Если подгруппы все разрешимый, то функтор сигнализатора сам называется разрешимым.

Решаемая теорема о функторе сигнализатора

Данный некоторые дополнительные относительно мягкие предположения позволяют доказать, что подгруппа из порожденные подгруппами на самом деле -подгруппа. Теорема о разрешимом сигнализаторе о функторе, доказанная Глауберманом и упомянутая выше, говорит, что это будет так, если разрешима и имеет как минимум три генератора. Теорема также утверждает, что при этих предположениях сам будет разрешим.

Было доказано несколько более ранних версий теоремы: Горенштейн (1969) доказал это при более сильном предположении, что имел ранг не ниже 5. Гольдшмидт (1972a, 1972b) доказал это в предположении, что имели ранг не менее 4 или входили в 2-ю группу ранга не менее 3. Бендер (1975) дал простое доказательство для 2-групп, используя ZJ теорема, и доказательство в аналогичном духе было дано для всех простых чисел Флавелл (2007). Глауберман (1976) дал окончательный результат для решаемых функторов сигнализаторов. Используя классификацию конечных простых групп, МакБрайд (1982a, 1982b) показало, что это -группа без предположения, что разрешима.

Полнота

Терминология полноты часто используется при обсуждении функторов сигнализаторов. Позволять - функтор сигнализатора, как указано выше, и рассмотрим множество И всех -инвариантный -подгруппы из удовлетворяющие следующему условию:

  • для всех неидентичности

Например, подгруппы принадлежат И по условию баланса. Функтор сигнализатора как говорят полный if И имеет единственный максимальный элемент при заказе по включению. В этом случае можно показать, что единственный максимальный элемент совпадает с выше, и называется завершение из . Если завершено, и оказывается разрешимым, то как говорят решаемо полный.

Таким образом, теорему о функторе разрешимого сигнализатора можно перефразировать, сказав, что если имеет не менее трех образующих, то каждая разрешимая -сигнализатор функтор на разрешимо полно.

Примеры функторов сигнализаторов

Самый простой способ получить функтор сигнализатора - начать с -инвариантный -подгруппа из и определить для всех неидентичности Однако на практике все начинается с и использует его для построения -инвариантный -группа.

Самый простой функтор сигнализатора, используемый на практике, таков:

Здесь необходимо несколько слов предостережения. Во-первых, обратите внимание, что как определено выше, действительно -инвариантный -подгруппа потому что абелева. Однако необходимы некоторые дополнительные предположения, чтобы показать, что это удовлетворяет условию баланса. Достаточным критерием является то, что для каждого неидентификационного группа разрешима (или -разрешимый или даже -ограниченный). Проверка условия баланса для этого при этом предположении требуется известная лемма, известная как Томпсона -лемма. (Отметим, что эта лемма также называется леммой Томпсона. -лемма, но в этом использовании не следует путать с фигурирует в определении функтора сигнализатора!)

Совместное действие

Чтобы лучше понять функторы сигнализаторов, необходимо знать следующий общий факт о конечных группах:

  • Позволять - абелева нециклическая группа, действующая на конечной группе Предположим, что порядки и относительно просты. потом

Для доказательства этого факта используется Теорема Шура – ​​Цассенхауза чтобы показать, что для каждого простого числа разделение порядка группа имеет -инвариантный Силов -подгруппа. Это сводится к случаю, когда это -группа. Тогда рассуждение по индукции порядка сводит утверждение далее к случаю, когда элементарно абелева с действует несводимо. Это заставляет группу быть циклическим, и результат следует. Смотрите любую из книг Ашбахер (2000) или Курцвейл и Штельмахер (2004) для подробностей.

Это используется как в доказательстве, так и в приложениях теоремы о разрешимом сигнализаторе о функторе. Для начала обратите внимание, что это быстро подразумевает утверждение, что если полное, то его пополнение - это группа определено выше.

Нормальное завершение

Завершение функтора сигнализатора имеет "хорошие шансы" быть нормальным в согласно началу статьи. В данном случае для обоснования этого утверждения будет использован факт взаимного действия. Позволять быть полным -сигнализатор функтор на

Позволять нециклическая подгруппа в Тогда из факта взаимно простого действия вместе с условием баланса следует, что.

Чтобы увидеть это, обратите внимание, потому что является B-инвариантно, имеем

В приведенном выше равенстве используется факт взаимного простого действия, а в содержании - условие баланса. Теперь часто бывает, что удовлетворяет условию "эквивариантности", а именно, что для каждого и неидентичность

Верхний индекс означает сопряжение Например, отображение (который часто является функтором сигнализатора!) удовлетворяет этому условию. Если удовлетворяет эквивариантности, затем нормализатор нормализует Отсюда следует, что если порождается нормализаторами нециклических подгрупп группы затем завершение (т.е. W) нормально в

использованная литература