Теорема Фейта — Томпсона

Теорема Фейта — Томпсона или теорема о нечётном порядке утверждает, что любая конечная группа нечётного порядка разрешима. Теорему доказали Шаблон:Не переведено 5 и Джон Григгс ТомпсонШаблон:SfnШаблон:Sfn.

История

Шаблон:Quote box Уильям БёрнсайдШаблон:Sfn высказал предположение, что любая неабелева Шаблон:Не переведено 5 имеет чётный порядок. Ричард БрауэрШаблон:Sfn высказал предположение, используя централизаторы инволюций простых групп в качестве базиса для классификации конечных простых групп как в теореме Шаблон:Не переведено 5, что существует лишь конечное число конечных простых групп с данным центром инволюции. Группа нечётного порядка не имеет инволюций, так что для исполнения плана Брауэра в первую очередь необходимо показать, что нециклические конечные простые группы никогда не имеют нечётного порядка. Это эквивалентно доказательству, что группы с нечётным порядком разрешимы, что и доказали Томпсон и Фейт.

Атаку на гипотезу Бёрнсайда начал СузукиШаблон:Sfn, который изучал CA группы. Это группы, в которых централизатор любого нетривиального элемента является абелевым. В своей работе он показал, что все CA-группы нечётного порядка разрешимы. (Позднее он классифицировал все простые CA-группы и все простые группы, в которых централизатор любой инволюции имеет нормальную 2-силовскую подгруппу, найдя в процессе классификации пропущенное семейство простых групп лиева типа, которое теперь носит название Шаблон:Не переведено 5.)

Фейт, Холл и ТомпсонШаблон:Sfn расширили работу Сузуки на семейство Шаблон:Не переведено 5. Это группы, в которых централизатор любого нетривиального элемента является нильпотентным. Они показали, что любая CN-группа нечётного порядка разрешима. Их доказательство похоже на доказательство Сузуки. Доказательство заняло около 17 страниц, что было на то время очень большим для теории групп.

Теорему Фейта — Томпсона можно рассматривать как следующий шаг в этом процессе — они показали, что не существует нециклической простой группы нечётного порядка, в которой любая собственная подгруппа является разрешимой. Это доказывает, что любая конечная группа нечётного порядка разрешима, поскольку Шаблон:Не переведено 5 должен быть простой группой, в которой любая собственная подгруппа разрешима. Хотя схема доказательства близка к схемам доказательства теорем для CA и CN групп, детали существенно более сложные, так что конечная статья имела 255 страниц текста.

Значение доказательства

Теорема Фейта — Томпсона показала, что классификация конечных простых групп с помощью централизаторов инволюций возможна, поскольку любая неабелева простая группа имеет инволюцию. Многие техники, применённые в доказательстве теоремы, а особенно идея Шаблон:Не переведено 5, были позднее развиты в методы, используемые в классификации. Видимо, наиболее революционным аспектом доказательства была его длина — до статьи Фейта и Томпсона редкие статьи в теории групп превышали нескольких страниц и, в основном, их можно было изучить за день. Когда исследователи теории групп осознали, что длинные выкладки могут сработать, начали появляться статьи, содержащие сотни страниц. Некоторые даже превосходят статью Фейта и Томпсона, например, статья Михаэля Ашбахера и Стефена Д. Смита о Шаблон:Не переведено 5 имеет 1221 страницу.

Пересмотр доказательства

Многие математики упростили части исходного доказательства Фейта и Томпсона. Однако все эти улучшения в некотором смысле локальны, основная структура изложения осталась той же самой, но некоторые детали доказательства были упрощены.

Упрощённое доказательство было опубликовано в двух книгах — книге Бендера и ГлауберманаШаблон:Sfn, в которой приведено всё, за исключением теории характера, и книге ПетерфалвиШаблон:Sfn, в которой изложена теория характера. Это пересмотренное доказательство остаётся очень сложным и длиннее исходного доказательства, но написано в более лёгком стиле.

Конечное формальное доказательство, проверенное с помощью Шаблон:Не переведено 5 Coq, объявил в сентябре 2012 Жорж Гонтье, работавший вместе с группой сотрудников в подразделении Microsoft Research и INRIAШаблон:Sfn.

Схема доказательства

Вместо прямого описания теоремы Фейта — Томпсона проще описать CA-теорему Сузуки, а затем пояснить некоторые дополнения, необходимые для CN-теоремы и теоремы о нечётном порядке. Доказательство можно разбить на три шага. Пусть G будет неабелевой (минимальной) простой группой нечётного порядка, удовлетворяющей условиям CA-теоремы. Для более детального изложения статьи о нечётном порядке см. статью ТомпсонаШаблон:Sfn, ГоренштейнаШаблон:Sfn или ГлауберманаШаблон:Sfn.

Шаг 1. Локальный анализ структуры группы G

В случае CA анализ прост, поскольку отношение «a коммутирует с b» является отношением эквивалентности на неединичных элементах. Таким образом, элементы разбиваются на классы эквивалентности и каждый класс эквивалентности является множеством неединичных элементов максимальной абелевой подгруппы. Нормализаторы этих максимальных абелевых подгрупп оказывается в точности максимальными собственными подгруппами группы G. Эти нормализаторы являются Шаблон:Не переведено 5, теория характеров для которых вполне прозрачна и подходит для манипуляции, использующей индукцированный характер. Также множество простых делителей|G|разбивается согласно простым числам, которые делят порядки различных классов смежности максимальных абелевых подгрупп. Подход, разбивающий простые делители |G| согласно классам смежности некоторых Шаблон:Не переведено 5 (Подгруппа Холла — это подгруппа, порядок которой и индекс взаимно просты), которые соответствуют максимальным подгруппам группы G (с точностью до смежности), повторяется в доказательстве как CN-теоремы Фейта — Холла — Томпсона, так и теоремы Фейта — Томпсона о нечётном порядке. Каждая максимальная подгруппа M имеет некоторую нильпотентную подгруппу Холла M_σ с нормализатором, содержащимся в M, порядок которой делится на некоторые простые числа, образующие множество $\sigma (M)$. Две максимальные подгруппы смежны тогда и только тогда, когда множества $\sigma (M)$ совпадают, а если они не смежны, множества $\sigma (M)$ не пересекаются. Любое простое число, делящее порядок группы G, оказывается в некотором множестве $\sigma (M)$. Таким образом, простые делители порядка группы G разбиваются на классы смежности, соответствующие классам смежности максимальных подгрупп. Доказательство случая CN уже существенно сложнее случая CA — основной дополнительной проблемой становится доказательство, что две различные силовские подгруппы пересекаются по единичному элементу. Эта часть теоремы о нечётном порядке занимает более 100 журнальных страниц. Ключевым шагом является доказательство Шаблон:Не переведено 5, утверждающей, что абелевы подгруппы нормального ранга, не меньшего 3, содержатся в единственной максимальной подгруппе, что означает, что простые числа p, для которых силовские p-подгруппы имеют нормальный ранг, не превосходящий 2, нужно рассматривать отдельно. Бендер позднее упростил доказательство теоремы единственности, используя Шаблон:Не переведено 5. В то время как в случае CN результирующие максимальные подгруппы M остаются группами Фробениуса, максимальные подгруппы, появляющиеся в доказательстве теоремы о нечётном порядке могут не иметь такой структуры и анализ их структуры и взаимосвязей даёт 5 возможных типов максимальных подгрупп, которые обозначаются как типы I, II, III, IV, V. Подгруппы типа I — это подгруппы «фробениусового типа», небольшое обобщение группы Фробениуса, и, фактически, позднее в доказательстве показывается, что они являются группами Фробениуса. Они имеют структуру $M_F⋊U$, где $M_F$ — наибольшая нормальная нильпотентная подгруппа Холла, а U имеет подгруппу $U_0$ с тем же показателем, так что $M_F⋊U_0$ является группой Фробениуса с ядром $M_F$. Типы II, III, IV, V все являются Шаблон:Не переведено 5 со структурой $M_F⋊U⋊W_1$, где $M_F⋊U$ является порождённое подгруппой группы M. Разделение на типы II, III, IV и V зависит от структуры и вложения подгруппы U следующим образом:

• Type II: U нетривиальная абелева и её не нормализатор содержится в M.
• Type III: U нетривиальная абелева и её нормализатор содержится в M.
• Type IV: U неабелева.
• Type V: U тривиальна.

Все, кроме двух классов максимальных подгрупп, имеют тип I, но могут быть ещё два класса максимальных подгрупп, один типа II, а другой типа II, III, IV или V.

Шаг 2. Теория характера группы G

Если X является неприводимым характером нормализатора H максимальной абелевой подгруппы A CA-группы G, не содержащей A в своём ядре, мы можем из X получить характер Y группы G, который не обязательно неприводим. Из известной структуры группы G просто найти значения характера Y для всех элементов группы G, кроме единицы. Из этого следует, что когда X₁ и X₂ являются двумя неприводимыми характерами нормализатора H, а Y₁ и Y₂ являются соответствующими индуцированными характерами, то Y₁ − Y₂ полностью определено и вычисление его нормы показывает, что это разность двух неприводимых характеров группы G (их иногда называют Шаблон:Не переведено 5 группы G для нормализатора H). Подсчёт показывает, что каждый нетривиальный неприводимый характер группы G возникает ровно один раз как исключительный характер, ассоциированный с нормализатором некоторой максимальной абелевой подгруппы группы G. Похожая аргументация (с заменой абелевых подгрупп Холла на нильпотентные подгруппы Холла) работает в доказательстве CN-теоремы. Однако в доказательстве теоремы о нечётном порядке аргументация построения характеров группы G из характеров подгрупп более тонкая и использует Шаблон:Не переведено 5 между кольцами характеров, а не индуцированные характеры, поскольку максимальные подгруппы имеют более сложные структуры и вкладываются менее прозрачным способом. Теория исключительных характеров заменяется теорией Шаблон:Не переведено 5 для расширения изометрии Дейда. Грубо говоря, эта теория говорит, что изометрия Дейда может быть расширена, если группа не содержит некоторую определённую структуру. ПетерфалвиШаблон:Sfn описывает упрощённую версию теории характера (по статьям Деда, Сибли и Петерфалви).

Шаг 3. Конечное противоречие

На шаге 2 мы имеем полное и точное описание таблицы характеров CA-группы G. Отсюда, используя факт, что G имеет нечётный порядок, доступна необходимая информация для получения оценки |G| и достижения предположения, что G является простой. Эта часть доказательства аналогично работает для случая CN-групп.

В доказательстве теоремы Фейта — Томпсона, однако, это шаг (как обычно) намного более сложный. Теория характера только исключает некоторые возможные конфигурации, оставшиеся после шага 1. Сначала Фейт и Томпсон показали, что максимальные подгруппы типа I все являются группами Фробениуса. Если все максимальные подгруппы имеют тип I, то аргументы, подобные случаю CN, показывают, что группа G не может иметь минимальной простой группой нечётного порядка, так что имеется в точности два случая максимальных подгрупп типа II, III, IV или V. Большая часть остального доказательства фокусируется на этих двух типах максимальных подгрупп S и T и связи между ними. Некоторые другие аргументы, относящиеся к теории характеров, показывают, что они не могут быть типа IV или V. Две подгруппы имеют определённую структуру — подгруппа S имеет порядок $p^q\times q\times (p^q-1)/(p-1)$ и состоит из всех автоморфизмов лежащего в основе конечного поля порядка p^q вида $x\to a{x}^{\sigma }+b$, где a имеет норму 1 и $\sigma$ является автоморфизмом конечного поля, где p и q — различные простые. Максимальная подгруппа T имеет подобную структуру с обменом p и q. Подгруппы S и T тесно связаны. Если принять, что p>q, можно показать, что циклическая подгруппа S порядка $(p^q-1)/(p-1)$ сопряжена с подгруппой циклической подгруппы T порядка $(q^p-)/(q-1)$. (В частности, первое число делит второе, так что в случае верности гипотезы Фейта — Томпсона из этого следовало бы, что такое произойти не может, и можно было бы доказательство нa этом месте прекратить. Однако гипотеза остаётся недоказанной.)

После применения теории характера к группе G заключаем, что G имеет следующую структуру: существуют простые p>q, такие, что $(p^q-1)/(p-1)$ взаимно просто с p–1 и G имеет подгруппу, задаваемую полупрямым произведением PU, где P — аддитивная группа конечного поля порядка $p^{\text{'}}q$, а U является её элементами с нормой 1. Однако группа G имеет абелеву подгруппу Q с порядком, взаимно простым с p, содержащую элемент y, такой что P₀ нормализует Q и $(P_0{)}^y$ нормализует U, где $P_0$ является аддитивной группой конечного поля порядка p. (Для p=2 возникает подобная конфигурация в группе $S{L}_2(2^q)$, с PU борелевой подгруппой верхних треугольных матриц, а Q — подгруппа порядка 3, генерируемая y=(Шаблон:Su).) Чтобы исключить этот финальный случай, Томпсон использует некоторые наводящие ужас сложные манипуляции с генераторами и соотношениями, которые позднее упростил ПетерфалвиШаблон:Sfn, аргументы которого приведены в статье Бендера и ГлауберманаШаблон:Sfn. Доказательство проверяет множество элементов a в конечном поле порядка p^q, таких что a и 2–a имеют норму 1. Сначала проверяем, что это множество имеет по меньшей мере один элемент, отличный 1. Тогда достаточно сложные аргументы, использующие генераторы и связи в группе G, показывают, что множество замкнуто по взятию обратного. Если a находится в множестве и не равно 1, то многочлен N((1–a)x+1)–1 имеет степень q и имеет по меньшей мере p различных корней, заданными элементами x из F_p, используют факт, что $x\to 1/(2-x)$ отображает множество в себя, так что p≤q, что противоречит предположению p>q.

Использование нечётности

Факт, что порядок группы G нечётен, используется в нескольких местах доказательства следующим образом Шаблон:Sfn.

• Шаблон:Не переведено 5 сильнее для групп нечётного порядка.
• В группах нечётного порядка все неглавные характеры встречаются в парах комплексной сопряжённости.
• Некоторые результаты о p-группах верны только для нечётных простых p.
• Если группа нечётного порядка не имеет абелевых подгрупп ранга 3, то её производная группа нильпотентна. (Это неверно для симметрической группы S₄ чётного порядка.)
• Некоторые аргументы, использующие теорию характера, не проходят для малых простых, в частности, для простого 2.

Литература

• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга Шаблон:Wayback
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга Шаблон:Wayback