Теорема Бёрнсайда

Материал из testwiki
Перейти к навигации Перейти к поиску

Теорема Бёрнсайда — классическая теорема теории конечных групп.

Теорема была доказана Вильямом Бёрнсайдом в начале XX века.[1] Теорема Бёрнсайда долгое время была наиболее известным приложением теории представлений к теории групп. Доказательство без использования характеров группы было найдено Голдсмитом гораздо позже.[2]

Формулировка

Пусть группа G имеет порядок paqb, где p и q — простые числа. Тогда G — разрешима.

Замечания

Схема доказательства Бёрнсайда

  1. Используя математическую индукцию, достаточно доказать, что простая группа G данного порядка — абелева[3].
  2. По теореме Силова, группа G имеет либо нетривиальный центр, либо класс сопряженности размера pr для некоторого r1. В первом случае, поскольку центр является нормальной подгруппой группы G, она должна совпадать с центром, а значит являться абелевой. Значит верен второй случай — существует элемент x группы G, такой что класс сопряжённости элемента x имеет размер pr>1.
  3. Используя свойства ортогональности характеров группы и свойства алгебраических чисел, можно доказать существование нетривиального неприводимого характера χ группы G такого, что |χ(x)|=χ(1).
  4. Из простоты группы G следует, что любое комплексное неприводимое представление характера χ верно (или точно), и отсюда следует, что x принадлежит центру группы G, что противоречит тому, что размер класса сопряжённости больше 1.

Вариации и обобщения

  • Наименьшее простое число в разложении порядка неразрешимой конечной группы, входит в разложение в степени хотя бы 2.

Примечания

Шаблон:Примечания

Литература

  • James, Gordon; and Liebeck, Martin (2001). Representations and Characters of Groups (2 издание.). Cambridge University Press. ISBN 0-521-00392-X. Глава 31.
  • Fraleigh, John B. (2002) A First Course in Abstract Algebra (7 издание). Addison Wesley. ISBN 0-201-33596-4.

Ссылки

  1. Шаблон:Citation
  2. Шаблон:Citation
  3. Скорняков Л. А. Элементы алгебры. — М.: Наука, 1986. — С. 228-229. — Тираж 21 000 экз.