Теорема Силова

В наши дни не без основания говорят об тАЬалгебраизациитАЭ математики, то есть о проникновении идей и методов алгебры, как в теоретические, так и в прикладные разделы всей математики.

В соответствии с принципом тАЬважны не математические объекты, а отношения между нимитАЭ алгебра определяется как наука об алгебраических операциях, выполняемых над элементами различных множеств. Сами алгебраические операции выросли из элементарной арифметики. В свою очередь на основе алгебраических соображений получаются наиболее естественные доказательства многих факторов из тАЬвысшей арифметикитАЭ тАУ теории чисел. теорема силов лагранж

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

В ряду алгебраических дисциплин составляющих совокупности, то, что иногда называют общей алгеброй, теория групп занимает, бесспорно, первое место как наиболее развита из этих дисциплин. Кроме того, теория групп представляется как область алгебры близко соприкасающийся с рядом других алгебраических теорий.

Старейшей и интенсивно развивающей ветвью теории групп, является теория конечных групп. Теорема Силова является краеугольным камнем в теории конечных групп.

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

Цель обусловила постановку и решение следующих задач.

1. Изучить основные понятия теории групп.

2. Рассмотреть теорему Силова и проанализировать различные способы доказательства.

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

Поставленные задачи определили структуру дипломной работы, которая состоит из введения, двух глав, заключения и списка литературы.

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

Во второй главе дается определение р-подгруппы, доказываются теоремы Силова, дается описание групп порядка pq и, кроме того, приводиться примеры силовских р-подгрупп.


Глава I. Дополнительные сведения

1.1 Вспомогательные понятия и утверждения

Непустое множество Gс заданной на нем бинарной алгебраической операцией * называется группой, если выполнено следующие условия:

1) замкнутость тАУ для любого a,ÎGэлемент a*ÎG

2) ассоциативность тАУ для любых a,,cÎG справедливо равенство (a*)*c=a* (*c) ;

3) существование нейтрального элемента тАУ для любого aÎGсуществует элемент eÎGтакой, чтоa*e = e*a=a

4) существование обратного элемента тАУ для любого существует элемент a-1ÎGтакой, чтоa*a-1=a-1*a=e.

Подмножество Hгруппы Gназывается подгруппой, если относительно операции определенной во всей группы подмножество само является группой.

Предложение 1.1.1. Если подмножество H элементов группы Gсодержит вместе с двумя элементами a, их произведение ab и вместе с каждым элементом a его обратный a-1, то H есть подгруппа G.

Доказательство. Надо лишь показать, что H обладает единицей, но единица G равна aa-1 при aÎH и, следовательно, принадлежит H согласно условиям предложения. ■

Группа <G , *> называется циклической, если она состоит из всех целых степеней одного элемента aÎG, то есть G={an|Îℤ} и обозначается G=<a> тАУ циклическая группа, порожденная элементом a .

Теорема 1.1.2.Всякая подгруппа циклической группы сама является циклической группой.

Доказательство. Действительно, если подгруппа H группы G=<g> содержит только нулевую степень элемента g, то в H имеется только один элемент тАУ единица eгруппы G (поскольку g0=e). В этом случае, очевидно, H=<e>.

Если же в подгруппе H содержится какая-нибудь ненулевая степень элемента g, то в ней содержится и некоторая положительная степень g, так как вместе со всяким элементом gk в подгруппу H входит и обратный ему элемент gтАУk. Пусть тАУ наименьшая из положительных степеней элемента g, содержащихся в H, и h=gn. Покажем, что H=<h>, то есть, что H исчерпывается различными степенями элемента h:

тАж, h-2, h-1, h0=e, h1, h2,тАж.

Допустим противное, получим, что в H содержится элемент gs и не делиться на . Но тогда можно представить в виде nq+r, где 0<r<, откуда gs=(gn)qgr=hqgr. Значит, и элемент hтАУq(hqgr)=gr содержится в H, а это противоречит тому, что тАУ наименьшая из положительных степеней элемента g, содержащихся в H.

Из этого рассуждения следует, в частности, что любая подгруппа аддитивной группы ℤ целых чисел является либо единичной подгруппой H={0}, состоящей из единственного элемента 0, либо подгруппой Hn, состоящей из чисел, кратных некоторому целому числу ≥1:

тАж,-2, -, 0, , 2, тАж.

Напомним, что две группы G и G' с операциями * и В· называется изоморфными, и обозначаются G@G', если существует отображение f:GВоG' такое, что:

1. f(a*)=f(a)В·f() для любых a, ÎGтАУ отображение f сохраняет выполнимость операций в G и G', то есть отображение f тАУгомоморфно.

2. f тАУ взаимнооднозначно.

Теорема 1.1.3. 1) Любая бесконечно циклическая группа изоморфна аддитивной группе целых чисел ℤ.

2) Любая конечно циклическая группа порядка изоморфна аддитивной группе классов вычетов по модулю .

Доказательство. 1) Определим отображение φ: Gℤ, где φ(an)= , тогда:

a) Так как все целочисленные степени элемента a различны, то отображение φ(an)= является биективным или взаимнооднозначным.

b) Сохраняются операции во множествах: φ(anak) = +k = φ(an)+φ(ak).

Таким образом, 1) доказано.

2) G={e, a1,тАж,anтАУ1} тАУ циклическая группа. Определим отображение φ таким образом: Gn, где φ(ak)= Вадля любого ak из группы G, где kпринимает значения от 0 до -1.

a) Тогда двум равным элементам из группы G соответствуют два равных элемента из ℤn: из того, что am= akÛ am-k= eÛm-k: , по определению, m=k(mod) Û

b) Сохраняется выполнимость операций в группах: (akam)=(ak+m)= === φ(am)+φ(ak). ■

Теорема 1.1.4.Пересечение любого множества подгрупп есть подгруппа.

Доказательство.Пусть A и BтАУ подгруппы группы <G,*>. Докажем, что H=ABтАУ подгруппа.

1) Замкнутость H относительно умножения.

a,ÎHÞ

2)

3) aÎH=A

Если MтАУ произвольная часть группы G, то пересечение (M) всех подгрупп, содержащих M, называющиеся подгруппой, порожденной множеством M, а само MтАУ порождающим множеством подгруппы (M). Иногда говорят, что элементы множества Mявляются порождающими элементами подгруппы (M). Группа, обладающая конечным порождающим множеством, называется конечно порожденной. ■

Теорема 1.1.5. Если MтАУ подмножество группы G, то

(M) = .

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

Обозначим правую часть через H, так как подгруппа (M) содержит все aiиз M, то (M)ÊH. С другой стороны, HHÍH, H-1ÍH, поэтому HтАУ подгруппа, содержащая M. Отсюда HÊ(M) и окончательно H=(M).

Если каждое соотношение в группе G относительно порождающего множества Mявляется следствием из некоторого множества соотношений Ф, то Ф тАУ называют определяющим множеством соотношений группы G относительно порождающего множества M. Группы, имеющие конечное число определяющих соотношений, называются, конечноопределенными. Именно такие группы часто возникают в приложениях теории групп к геометрии и топологии. Иногда определяющие соотношения таковы, что элементам группы удается дать некоторую каноническую запись, и умножение элементов в канонической записи не представляет труда. Рассмотрим примеры этого рода.

Пример 1.Группа задана двумя образующими a и , связанными соотношениями a2=1(то естьa=a-1), 3=1 и aba=2. Очевидным следствием из этих соотношений является ab2a=. Последние два соотношения можно записать в форме ba=ab2 и 2a=ab. Эти соотношения позволяют переносить образующий a через или 2 справа налево, заменяя на 2 и 2 на . Это позволяет записать любой элемент группы в форме akbm при k=0,1и m=0,1,2. Рассматривая элементы этого вида формально, с правилами умножения, вытекающими из правила переноса aсправа налево и условий a2=3=1, нетрудно проверить, что символы akbm действительно образуют группу. Она конечна, её порядок равен 6. Легко видеть, что она изоморфна симметрической группе S3 подстановок из трех элементов. Изоморфизм дается соответствием aВо(1,2), Во(1,2,3).

Пример 2. Группа задана двумя образующими c, aи соотношениями a2=1 и aca=c-1. Здесь образующий c свободен, то есть порождает бесконечно циклическую группу. Очевидным следствием из этих соотношений является acma=cтАУm при любом целом m. Из соотношения acma=c-mследует правило переноса образующего a справа налево, именно, cma=ac-m. Это правило позволяет записать любой элемент группы в виде akcm при k=0,1 и любом целом m. Легко проследить, что символы akcm при умножении с правилами, обусловленными соотношениями a2=cma=ac-m, действительно образуют группу.

1.2 Смежные классы по подгруппе и теорема Лагранжа

п.1. Пусть в группе G дана подгруппа H. Если a есть произвольный элемент из G, то произведение aH называется левымсмежным классом группы G по подгруппе H, определенным элементомa. Аналогично дается определение правого смежного класса.

Представление группы G в виде объединения левых (правых) смежных классов по подгруппе H называется левосторонним (правосторонним) разложением группы G по подгруппе H.

G=.

Любые два левых (правых) смежных класса по одной и той же подгруппе либо не пересекаются, либо совпадают.

Предположим, что ВаÆ докажем, тогда что .

Имеем, Æ следовательно, существует , такой что . Тогда, Ватак как существует Ватакой что, Васледовательно .

Пусть y произвольный элемент группы H. Тогда элементы xy и xтАУ1yÎH. Поэтому элемент cy=(ax)y=a(xyаH, а элемент ay=(cxтАУ1)y= =c(xтАУ1y) cÎH, так как каждый элемент из cH содержится в aH и наоборот, то aH=cH. Аналогично так же bH=cH и, следовательно, aH=bH.

Аналогично доказывается условие совпадения правых смежных классов: .

Любые два левых (правых) смежных класса по одной и той же подгруппе содержат одинаковое количество элементов.

В самом деле, докажем, что произвольный смежный класс aH содержит столько же элементов, сколько их в подгруппе H. Имеем:

,

.

Рассмотрим отображение φ: gHH по правилу φ(ghi)=hi для любого hiÎH. Заметим что

2) φ тАУ отображение, то есть .

Действительно, .

2) отображение φ взаимно однозначно, что доказывает проведение предыдущих рассуждений в обратном порядке.

2) φ тАУ отображение на H. В самом деле, прообразом произвольного элемента hÎH является элемент ghÎgH: φ(gh)=h. Итак, φ тАУ взаимно однозначное отображение gHна H, отсюда следует, что gH и H содержат одинаковое количество элементов.■

Если группа G состоит из конечного числа элементов, то она называется конечной группой, а число элементов в ней порядком группы.

Теорема 1.2.1. (Лагранжа)Порядок подгруппы конечной группы является делителем порядка группы.

Доказательство.Пусть HтАУ подгруппа конечной группы Gи ВатАУ множество всех различных левых смежных классов группы G по подгруппе H. Тогда,

G=. (1)

Причем любые два смежных класса, входящие в это объединение, не пересекаются, как было отмечено выше. Поэтому если тАУ число элементов множества G и mтАУ число элементов множества H, то есть число элементов в каждом левом смежном классе, то в силу (1), получаем Ваили , где индекс ВатАУ количество смежных классов в разложение (1). Теорема доказана.

Следствие 1. Порядок элемента конечной группы, является делителем порядка группы.

Доказательство. Пусть GтАУ конечная группа, а его элемент порядка m. Тогда циклическая группа, порожденная элементом порядка m, имеет тоже порядок m, то есть . Отсюда по теореме 1.2.1. m является делителем порядка всей группы G. ■

Следствие 2.Пусть GтАУ группа простого порядка, тогда GтАУ циклическая группа (изоморфна ℤp).

Доказательство. Действительно, группа G совпадает с циклическойподгруппой порожденной любым её отличным от е, элементом.

п.2. Покажем, что теорему Лагранжа нельзя обратить, то есть не для любого делителя m порядка группы существует подгруппа порядка m. Например, знакопеременная группа A4 тАУ подстановок четной степени не содержит подгруппы порядка 6. Хотя число 6 делит её порядок равный 12. Докажем это, предварительно сформулируем утверждение.

Произвольная группа порядка 6 либо изоморфна 6, либо изоморфна группе S3.

Доказательство.Пусть GтАУ отличная от единичной группа,

, тогда по следствию теоремы Лагранжа, все элементы искомой группы могут иметь порядки 1, 2, 3, 6. Рассмотрим три случая.

1) Если элемент порядка 6, тогда данная группа циклическая, изоморфна ℤ6.

2) Все неединичные элементы имеют порядок 2. Тогда группа GтАУ абелева.

Пусть для любого элемента aÎG выполняется условие a2=e. В этом случае, если также элемент группы G, то верно равенство:

(ab)2=e, откуда, (ab)(ab)=e и a(ba)=e Умножим полученное равенство слева на a, справа на , получим ba=ab. Отсюда вытекает, что группа GтАУ абелева.

Пусть a, элементы группы G. Несложно видеть, что множество элементов Ваявляется подгруппой группы G (достаточно проверить замкнутость и условие существование обратного элемента.) Порядок этой подгруппы равен 4. Этого быть не может по теореме Лагранжа (4 не является делителем 6). Следовательно, этот случай не имеет место.

3) Все неединичные элементы Gимеют порядок 2или 3 и есть обязательно элемент порядка 3.

Пусть a3=e, тогда a2=, ÎG и Ваобозначим за с тАУ четвертый элемент группы G, отличный от трех предыдущих.

Рассмотрим произведение ec, ac, a2c. Покажем, что ac=d, a2c=fтАУновые элементы группы G.

В· Если ac=e, тоc=a2=, противоречие с условием

В· Если ac=a, то c=e, противоречие.

В· Если ac=a2=, то a2aтАУ1=aтАУ1ac, или a=c, противоречие.

В· Если ac=c, то a=e, противоречие.

Итак, ac=dÎG.

В· Если a2c=e, то c=a противоречие.

В· Если a2c=a, то c= противоречие.

В· Если a2c=a2, то c=e противоречие.

В· Если a2c=c, то a2=e противоречие с условием a3=e.

В· Если a2c=ac, то a=e противоречие.

Таким образом, группа G состоит из 6 элементов: G=.

Докажем, что c2=e. Действительно, очевидно, что c2c, ac, a2c.

Если было бы c2=a (или c2=a2), то выполняется следующие c3=c2c=ac=de, противоречие с условием, что все элементы группы G имеют либо второй или третий порядок (следовательно, c3=c2c=a2c=fe). Таким образом, ни c2, ни c3не равно e, что противоречит условию. Значит c2=e.

Покажем также, что d2=f2=e, то есть c произвольный элемент не входящий в подгруппу , то d2a, a2(f2a, a2). Не сложно видеть, что d2=(ac)2c (иначе d=ac=), d2=(ac)2ac, d2=(ac)2a2c=f (иначе f=a2c=). Таким образом, d2=(ac)2=e и более того, a3=c2=(ac)(ac)=e.

Известно, что симметрическую группу подстановок S3,можно задать двумя образующими и тремя определяющими соотношениями. Следующим образом S3= где в качестве x можно взять подстановку , а в качестве y: .

Следовательно, мы можем утверждать, что . Таким образом, если G группа и , то G изоморфна либо ℤ6, либо S3.

Далее выпишем все элементы группы A4и построим таблицу умножения элементов.

Все 4!=24 перестановки из четырёх символов 1, 2, 3, 4 расположим в таком порядке, чтобы каждая последующая перестановка получалась от предыдущей с помощью одной транспозиции (перемены мест двух символов).

Начнём с перестановки 1, 2, 3, 4. Итак,
.

Так как всякая транспозиция меняет четность перестановки, то в полученном ряду все перестановки, взятые через одну, являются четными (они подчеркнуты).

Теперь уже легко составить все искомые четные подстановки достаточно в каждой из них в качестве первой строки записать перестановку (1234), а в качестве второй строки одну из найденных четных перестановок. Итак,

A4=

.

Строим таблицу умножения.

Таблица 1

e

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

ee

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a1

a1

a2

e

a4

a5

a3

a7

a8

a6

a10

a11

a9

a2

a2

e

a1

a5

a3

a4

a8

a6

a7

a11

a9

a10

a3

a3

a7

a9

a11

a8

a1

a2

a5

a10

a6

a4

e

a4

a4

a8

a10

a9

a6

a2

е

a3

a11

a7

a5

a1

a5

a5

a6

a11

a10

a7

e

a1

a4

a9

a8

a3

a2

a6

a6

a11

a5

a7

e

a10

a4

a9

a1

a3

a2

a8

a7

a7

a9

a3

a8

a1

a11

a5

a10

a2

a4

e

a6

a8

a8

a10

РЖнварiантнi пiдпростори. Власнi вектори i власнi значення лiнiйного оператора


РЖнтерполювання функцiй


Автокорреляционная функция. Примеры расчётов


Актуальные проблемы квантовой механики


Алгебра и алгебраические системы