теоремы силова

[avva]

Вот ещё одну странную чёрную дыру обнаружил у себя в голове: в том месте, где должны храниться доказательства теорем Силова (это в теории групп). А они там не хранятся, а медленно улетучиваются, пока я в очередной раз не обнаруживаю, что забыл, хотя казалось бы, всё же просто. Вот и сейчас попытался вспомнить... помню только, что нужно заставить группу действовать умножением на семью всех подмножеств размером pⁿ, а потом орбиты считать... но что-то не вытанцовывается. Пойду подсмотрю где-нибудь.

Comments

[avva.livejournal.com]

Да, точно - но ведь, если не ошибаюсь, это доказательство не нужно, если доказывать также 2-ю и 3-ю теоремы? Из того, что число подгрупп Силова равно 1 по модулю p, следует, что есть хотя бы одна. Или доказательство 2-й и 3-й (через действие группы на семейство подмножеств - именно так, а не семейство подгрупп Силова, если я правильно помню) опирается на это существование хотя бы одной?

Расписывать не надо, спасибо, у меня под рукой есть книга, в к-й могу подглядеть.

[oblomov-jerusal.livejournal.com]

Доказательство 2 и 3 теорем, которое я помню, опирается на действие группы на множество всех максимальных подгрупп Силова.

[avva.livejournal.com]

То, которое я не помню, но смутно припоминаю, действует так: мы доказываем существование подгруппы Силова размером p^a в группе G размером k*p^b, где a<=b. Рассмотрим действие G умножением на семью X всех подмножеств G размером p^a. Если C - орбита внутри X, то элементы C - подмножества G размером p^a, и каждый элемент G встречается внутри элементов C хотя бы раз. Если размер орбиты C равен k*p^(b-a), то каждый элемент G встречается в подмножествах C ровно один раз, и C - искомая нами подгруппа. Другой вариант - что размер орбиты C больше k*p^(b-a); но он должно делить размер G = k*p^b, и поэтому, будучи >k*p^(b-a), он делится на p^(b-a+1). Теперь мы расписываем кол-во элементов в семье X на принадлежащие к t_1 орбитам, содержащим ровно k*p^(b-a) подмножеств, и t_2 орбитам, содержащим больше k*p^(b-a) подмножеств; тут идут какие-то вычисления, которые я забыл, и в результате получаем t_1>0 (и даже по сути дела t_1=1 mod p за ту же цену). Это доказывает всё, кроме сопряжённости любых двух подгрупп Силова, что доказывается отдельно, основываясь на уже полученном.

[oblomov-jerusal.livejournal.com]

Все, что нужно доказать для случая b=a, это что |X|/p^b равно 1 по модулю p. Чтобы не возиться с биноминальным коэффициентом, можно заметить, что |X| зависит лишь от величины G, и рассмотреть случай, когда G - циклическая группа.

[oblomov-jerusal.livejournal.com]

Пардон, следует читать |X|/p^b равно k по модулю p

[oblomov-jerusal.livejournal.com]

Еще раз пардон, на самом деле следует читать: Все, что нужно доказать, это что |X|/p^(b-a) равно k по модулю p.

[oblomov-jerusal.livejournal.com]

Хм. Получается, то что число групп =1(mod p) верно не только для максимальных подгрупп (b=a)? Я этого не знал.

[avva.livejournal.com]

Да, это так. Действительно, получив формулу:

|X| = t_1*k*p^(b-a) + t_2*r*p^(b-a+1)

(где r - какой-то неизвестный коэффициент), смотрим на неё mod p^(b-a+1) и таким образом сбрасываем второе слагаемое в правой части:

|X| = t_1*k*p^(b-a) mod p^(b-a+1)

теперь мы можем подставить циклическую группу, в которой t_1=1, т.е. есть только одна подгруппа размера p^b, и получить

|X| = k*p^(b-a) mod p^(b-a+1)

и отсюда

t_1*p^(b-a) = p^(b-a) mod p^(b-a+1)

(k сократился, т.к. он взаимно прост с p^(b-a+1))

Отсюда сразу следует и что t_1>0, и что t_1=1 mod p, для всех b, а не только для b=a.

[oblomov-jerusal.livejournal.com]

"Большие" орбиты не обязательно одного размера, поэтому нужно обозначить M число элементов X в "больших" орбитах, и записать M=0 (mod p^(b-a+1)), |X|=t_1 * k * p^(b-a)+M.

[avva.livejournal.com]

Да, верно.

[oblomov-jerusal.livejournal.com]

Я помню такое доказательство. Нужна такая общая лемма: если H,K - две подгруппы, для любого a из H aHa^(-1) = H, то {ab|aεH^bεK} - подгруппа размером |H||K|/|H^K| (^ - пересечение). Отсюда следует, что если H и K как выше - подгруппы Силова, причем K - максимального размера, то H - подгруппа K.

Пусть G действует сопряжением на множество всех подгрупп Силова максимального размера. Обозначим орбиты O_1,...O_k. Пусть H - элемент орбиты O_k. Н действует сопряжением на каждую из орбит, разбивая ее на подорбиты. Размер каждой из подорбит - степень p. Ввиду вышедоказанного, {H} - единственная подорбита размером 1. Получаем |O_i|=1 (mod p), |O_j|=0 (mod p) для j!=i. Т.к. i произвольно, то чтобы избежать противоречия должно быть k=1, т.е. все подгруппы сопряжены и их число =1(mod p).

Пусть теперь H - подгруппа Силова. Пусть она действует на множество максимальных подгрупп сопряжением. Размер каждой орбиты - степень р, поэтому должна существовать орбита {K} размером 1. Согласно вышедоказанному, H - подгруппа K.

Верно ли, что каждая подгруппа размером p^a, a<b содержится в подгруппе размером p^(a+1)?

[avva.livejournal.com]

Если она нормальна, то да: поделим на неё, выберем подгруппу размером p в частном и вернёмся обратно. Если нет - не уверен. Ясно, что задача сводится к p-группам: подгруппа размером p^a содержится в какой-то подгруппе Силова (т.е. максимальной) размером p^b, и можно сузить G до этой подгруппы Силова.

[oblomov-jerusal.livejournal.com]

Пусть G - p-группа. Число циклов длины р в ней, согласно доказанному =1 (mod p). Пусть группа действует на них сопряжением, тогда размеры орбит - степени p и поэтому должна быть хотя бы одна орбита размером 1, т.е. G имеет нормальную подгруппу размером p. Требуемый результат доказывается индукцией переходом к фактор-группе. Другое интересное следствие - ни одна группа размером p^n, n>1 не является простой.

Поправка.

[oblomov-jerusal.livejournal.com]

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

[oblomov-jerusal.livejournal.com]

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

[ignat.livejournal.com]

На самом деле, все конечные p-группы даже нильпотентны.