научный журнал «Актуальные исследования» #24 (103), июнь '22

Особенности теорем Силова и области их применения

Статья посвящена рассмотрению теорем Силова и их доказательств. Обсуждение теорем Силова, изучение определений, а также области их применения является основой исследования. Результатом данной дискуссии является систематизация накопившегося материала по данному вопросу.

Аннотация статьи
теоремы Силова
абелевы группы
Лагранж
силовские подгруппы
математика
Ключевые слова

В 1862 году в мире математики произошло событие, которое невозможно переоценить, – по определенному стечению обстоятельств в университете Христиании Силов заменил профессора по теории Галуа. В итоге, к 1872 году были созданы так называемые теоремы Силова, которые являлись важным результатом всей жизни данного математика, а также ярким результатом теории конечных групп в направлении частичного обращения теоремы Лагранжа.

Первая теорема Силова.

Для каждого простого делителя p порядка группы G существует силовская p-подгруппа S ⊂ G.

Доказательство.

  1. Если |G| = p k, то S = G.
  2. Если G – абелева группа, то S = Torp(G). Для общего случая проведем доказательство по индукции по порядку G [5].

Случай 1.

|Z(G)| делится на p. Z(G) – абелева группа. В ней найдется некая подгруппа A такая, что |A| = p. Ясно, что A – нормальная подгруппа в G. При этом |G/A| = n p, где n = |G|. По предположению индукции в G/A есть силовская p-подгруппа B в G/A. Рассмотрим π −1 A (B) ⊂ G. Имеем, |π −1 A (B)| = |Ker(πa | π −1 A (B) )| · |Im (πa | π −1 A (B) )| = |A| · |B| = p k . Можно взять S = π −1 A (B).

Случай 2.

|Z(G)| не делится на p. Расмотрим разложение группы G на классы сопряженных элементов. Мы знаем, элементами центра называют классы сопряженности, которые состоят из одного элемента. И так как мы видим, что |G| делится на p, то непременно найдется класс сопряженности C такой, что |C| 6= 1 не делится на p. Пусть g ∈ C. Рассмотрим |Cent(g)| = |G| |C| < |G|. С другой стороны, |Cent(g)| делится на p k . По предположению индукции есть силовская подгруппа S ⊂ Cent(g) ⊂ G, при этом |S| = p k[5].

Лемма.

Если силовская подгруппа единственна, то она нормальна.

Доказательство.

Рассмотрим gSg −1 – это подгруппа G. Но |gSg −1 | = |S|. В самом деле, очевидно, что |gSg −1 | ≤ |S|, с другой стороны, S = g −1 (gSg −1 )g, значит, S ≤ |gSg −1 . Имеем, gSg −1 – силовская подгруппа G, а значит, gSg −1 = S, то есть S нормальна.

Вторая теорема Силова.

  1. Любая p-подгруппа G содержится в некоторой силовской.
  2. Любые две силовские p-подгруппы сопряжены.

Доказательство.

Случай m = 1 ясен. Пусть m > 1. Пусть S – силовская p-подгруппа, |S| = p k . Пусть H ⊂ G – подгруппа порядка p l , l ≤ k. Рассмотрим действие H на множестве левых смежных классов по S: h · gS = (hg)S. Корректность очевидна: если gS = g 0S, то g 0 = gs для некоторого s ∈ S. Тогда hg0 = hgs и hgS = hg0S. Из теоремы Лагранжа количество левых смежных классов по S равно |G| |S| = m [2]. Имеем, |H| = p l = |St(gS)| · |Orb(gS)|, значит, порядок каждой орбиты либо 1, либо степень p. Так как сумма порядков орбит не делится на p, есть орбита из одного элемента, то есть hgS = gS. Отсюда g −1hg ∈ S, то есть h ∈ gSg −1 . Таким образом можно сделать вывод, что H ⊂ gSg −1 , где |gSg −1 | = p k . Если |H| = p k , то H = gSg −1 .

Таким образом, можно сделать вывод, что в теории групп теоремы Силова представляют собой неполный вариант обратной теоремы к теореме Лаграджа.

Текст статьи
  1. Беллман, Р. Введение в теорию матриц. М.: Наука, 1978. - 351с.
  2. Борут, А., Рончка, Р. Теория представлений групп и ее приложения. Тома 1-2. М.: Мир, 1980.
  3. Вейль, Г. Классические группы, их инварианты и представления.-М.: Госиздан, 1947. - 48с.
  4. Виберг, Э.Б. Линейное представление групп. - М.: Наука, 1985. - 144с.
  5. Дик, Т. Группы преобразований и теория представлений. - М.: Мир, 1982. - 227с.
  6. Каргаполов, А.И., Мерзляков Ю.И. Основы теории групп. - М.: Наука, 1982. - 288с.
  7. Кострикин, А.И. Введение в алгебру.-М.: Наука, 1977. - 495с.
Список литературы
Ведется прием статей
Прием материалов
c 02 июля по 08 июля
Осталось 2 дня до окончания
Публикация электронной версии статьи происходит сразу после оплаты
Справка о публикации
сразу после оплаты
Размещение электронной версии журнала
12 июля
Загрузка в eLibrary
12 июля
Рассылка печатных экземпляров
22 июля