-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.tex
3625 lines (3071 loc) · 378 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\documentclass{article}
\usepackage[T2A]{fontenc}
\usepackage[russian]{babel}
\usepackage{amsmath, amsthm, amssymb, faktor}
\usepackage{rotating}
\usepackage{graphicx}
\graphicspath{ {./images/} }
\newtheorem{corollary}{Следствие}[section]
\newtheorem{lemma}{Лемма}[section]
\newtheorem{theorem}{Теорема}[section]
\newtheorem{example}{Пример}[section]
\DeclareMathOperator{\sgn}{sgn}
\counterwithin*{equation}{section}
\counterwithin*{equation}{subsection}
\title{Мои заметки по теории групп}
\author{}
\date{}
\begin{document}
\maketitle
Данный конспект готовился по списку вопросов из II части кандидатского экзамена по специальности 1.1.5. В нём я разобрал вопросы, которые показались мне неочевидными либо требовали пристального изучения.
\section{Общие факты}
\begin{lemma}
Пусть $H$ -- подгруппа группы $G$. Тогда мощности множеств левых и правых смежных классов совпадают: $$ |gH| = |Hg|, $$ где $g \in G$.
\end{lemma}
\begin{proof}
Построим отображение $$ \varphi: gH \rightarrow Hg^{-1}, $$ которое ставит в соответствие левому классу смежности $gH$ правый класс смежности $Hg^{-1}$ и убедимся, что оно биективно.
\textit{Инъективность}. Пусть $\varphi(g_1 H) = \varphi(g_2H)$, тогда $Hg_1^{-1} = Hg_2^{-1}$. Умножая справа на $g_1$ получаем: $$ He = H g_2^{-1} g_1, $$ где $e$ -- единица группы. Откуда получаем, что $$ g_2^{-1} g_1 = e \Rightarrow g_1 = g_2 \Rightarrow g_1 H = g_2 H. $$
\textit{Сюръективность}. Возьмём произвольный элемент из образа: $Hg^{-1}$. Так как мы находимся в группе, то для любого элемента будет существовать обратный, а следовательно, и прообраз.
Таким образом, отображение $\varphi$ биективно, что и требовалось доказать.
\end{proof}
\begin{lemma} \label{eto_basa}
Если $G = H_1 \oplus H_2$, где $H_1$, $H_2$ -- подгруппы абелевой группы $G$, то $$ \faktor{G}{H_1} \cong H_2, \faktor{G}{H_2} \cong H_1. $$
\end{lemma}
\begin{proof}
Покажем, что $ \faktor{G}{H_1} \cong H_2 $. Возьмём $ g + H_1 \in \faktor{G}{H_1} $, где $g \in G$. Так как $G = H_1 \oplus H_2 $, то $$ g + H_1 = (h_1 + h_2) + H_1, $$ где $h_1 \in H_1, h_2 \in H_2$. В силу абелевости $H_1$ и $H_2$ получаем: $$ h_2 + h_1 + H_1 = h_2 + H_1. $$ Искомый гомоморфизм $\varphi: \faktor{G}{H_1} \to H_2 $ строим следующим образом: $$ \varphi(g + H_1) = \varphi(h_1 + h_2 + H_1) = h_2 \in H_2. $$ Убедимся, что он инъективен:
\begin{align*}
\varphi(h_1 + h_2 + H_1) = \varphi(h_1' + h_2' + H_1) \\
\Rightarrow \varphi(h_2 + H_1) = \varphi(h_2' + H_1) \\
\Rightarrow h_2 = h_2'.
\end{align*}
Проверим сюръективность: для всякого $ h_2 \in H_2$, какой бы $h_1 \in H_1 $ мы не взяли, будет выполнено $$ \varphi(h_1 + h_2 + H_1) = h_2. $$ Следовательно, $\varphi$ -- искомый изоморфизм.
Случай $ \faktor{G}{H_2} \cong H_1 $ разбирается аналогичным образом.
\end{proof}
\newpage
\begin{lemma}
Пусть $G$ -- группа и $A$ -- её подгруппа. Тогда в $G$ существует максимальная подгруппа, пересекающаяся с $A$ по нулю.
\end{lemma}
\begin{proof}
Доказательство будем проводить при помощи леммы Цорна. Пусть $M$ -- множество всех подгрупп группы $G$ таких, что для всякого $X \in M$ выполняется: $$X \cap A = 0.$$ Такие подгруппы существуют, например $X = \{ 0 \}$. Множество $M$ всех таких подгрупп, очевидно, является частично упорядоченным множеством по операции теоретико-множественного включения.
Пусть $I$ - произвольное множество индексов и $\Gamma = \{ X_i \mid i \in I \}$ -- произвольная цепь в $M$. То есть, для всяких $i, j \in I$ либо $X_i \subseteq X_j$, либо $X_j \subseteq X_i$. Чтобы применить лемму Цорна нам осталось показать, что такая цепь имеет мажоранту. Для этого построим множество: $$ X = \bigcup_{i \in I} X_i $$ и убедимся, что оно является мажорантой цепи $\Gamma$. Для того, чтобы сделать это нам нужно показать, что $X_i \subseteq X$ для любого $i \in I$ (очевидно) и что $x \in M$. Последнее означает, что множество $X$ должно являться подгруппой группы $G$ и $X \cap A = 0$.
Покажем, что $X$ -- подгруппа в $G$. Пусть $a,b \in X$. Это означает, что существуют такие $i, j \in I$, что $a \in X_i$, $b \in X_j$.
\begin{figure}[h]
\includegraphics[width=0.5\textwidth]{set_x}
\centering
\end{figure}
Без ограничения общности можно считать, что $X_i \subseteq X_j$, тогда $a, b \in X_j$. Так как $X_j$ -- подгруппа, то $a + b \in X_j$ и $-a \in X_j$. Следовательно, $a + b \in X$ и $-a \in X$, а значит $X$ -- подгруппа.
Осталось показать, что $X \cap A = 0$. Пусть это не так. Тогда существует $x \in X \cap A$ такой, что $x \neq 0$. Это означает, что существует такой индекс $i \in I$, что $x \in X_i$. Раз так, то отсюда будет следовать, что $X_i \cap A \neq 0$ -- противоречие с условием. Таким образом, $X$ -- подгруппа и $X \cap A = 0$, следовательно $X$ -- мажоранта цепи $\Gamma$.
Итак, мы показали, что для произвольной цепи в частично упорядоченном множестве $M$ существует мажоранта, а значит, по лемме Цорна, в множестве $M$ будет существовать максимальная подгруппа, имеющая нулевое пересечение с подгруппой $A$. Что и требовалось доказать.
\end{proof}
\begin{lemma} \label{efiopia}
Пусть $G$ -- конечная группа, $A, B$ -- подгруппы в $G$. Тогда $$ |AB| = \frac{|A| \cdot |B|}{|A \cap B|}. $$
\end{lemma}
\begin{proof}
Рассмотрим отображение $$\varphi: A \times B \rightarrow AB$$ действующее следующим образом: $$ \varphi((a, b)) \mapsto ab, $$ где $a \in A$, $b \in B$.
Оценим в нём число элементов, которые будут <<склеиваться>> друг с другом: $$ ab = a'b', $$ где $a, a' \in A \ $, $b,b' \in B$. Умножим это равенство на ${a'}^{-1}$ слева и на $b^{-1}$ справа: $$ {a'}^{-1}a = b' b^{-1}. $$ Обозначим этот элемент как $c$. Нетрудно видеть, что он будет лежать в $A \cap B$.
Из равенства ${a'}^{-1}a = c$ следует, что $a' = a c^{-1}$. Аналогично, из равенства $b' b^{-1} = c$ следует, что $b' = cb$.
Таким образом мы получаем, что $\varphi((a, b)) = \varphi((ac^{-1}, cb))$, где $c \in A \cap B$. Нетрудно видеть, что для произвольной пары $(a, b)$ общее количество таких пар равно $|A \cap B|$. Или, что то же самое: для каждого элемента $ab \in AB$ существует ровно $|A \cap B|$ пар из $A \times B$, которые переходят в элемент $ab$ при отображении $\varphi$: $$ |AB| \cdot |A \cap B| = |A \times B|. $$ Отсюда получаем: $$ |AB| = \frac{|A| \cdot |B|}{|A \cap B|}, $$ что и требовалось доказать.
\end{proof}
\begin{lemma} \label{rafah}
Пусть $G$ -- группа, $A \trianglelefteq G$, $B \leqslant G$. Тогда $AB \leqslant G$.
\end{lemma}
\begin{proof}
Пусть $a_1 b_1, a_2 b_2 \in AB$, тогда:
\[
a_1 b_1 \cdot a_2 b_2 = a_1 \underbrace{b_1 a_2 b_1^{-1}}_{= a' \in A} \cdot b_1 b_2 = a_1 a' \cdot b_1 b_2 \in AB.
\]
Теперь посмотрим на обратный элемент: $ab \cdot b^{-1} a^{-1} = e$, тогда $$ b^{-1} a^{-1} = \underbrace{b^{-1} a^{-1} b}_{\in A} b^{-1} \in AB. $$
Таким образом, $AB$ -- подгруппа в $G$.
\end{proof}
\begin{lemma} \label{eritrea}
Если $A, B \triangleleft G$ и $A \cap B = \{ e \}$, то $AB \cong A \times B$.
\end{lemma}
\begin{proof}
По лемме \ref{rafah} $AB \leqslant G$. Покажем, что $AB \triangleleft G$. Действительно, пусть $ab \in AB$ и $g \in G$, тогда:
\[
g^{-1} ab g = \underbrace{g^{-1} a g}_{\in A} \underbrace{g^{-1} b g}_{\in B} \in AB \Rightarrow AB \triangleleft G.
\]
Теперь покажем, что элемент из $AB$ представляется единственным образом. Пусть $ab, a'b' \in AB$ и $ab = a'b'$. Домножим слева на $a'^{-1}$ и справа на $b^{-1}$: $$ \underbrace{a'^{-1} a}_{\in A} = \underbrace{b' b^{-1}}_{\in B}. $$ Но так как $A \cap B = \{ e \}$, то $a'^{-1} a = b' b^{-1} = e \Rightarrow a' = a$ и $b' = b$.
Теперь построим изоморфизм $\varphi: AB \rightarrow A \times B$ следующим образом: $$ \varphi(ab) = (a, b). $$
\end{proof}
\begin{theorem} \label{fhsuopi}
Пересечение конечного числа подгрупп конечного индекса само имеет конечный индекс.
\end{theorem}
\begin{proof}
Теорему достаточно доказать для случая двух подгрупп, и тогда по индукции она будет справедлива для любого конечного числа подгрупп.
Пусть $G$ -- группа и $H_1, H_2$ -- её подгруппы конечного индекса, т.е. $|G: H_1| < \infty$ и $|G: H_2| < \infty$.
Проведём оценку числа смежных классов группы $H_1$ по подгруппе $H_1 \cap H_2$ и группы $G$ по подгруппе $H_2$. Пусть $x, y \in H_1$ и $x(H_1 \cap H_2) \neq y(H_1 \cap H_2)$ -- различные смежные классы группы $H_1$ по подгруппе $H_1 \cap H_2$.
Тогда $y^{-1} x (H_1 \cap H_2) \neq (H_1 \cap H_2)$, что означает $y^{-1} x \notin H_1 \cap H_2$. Так как $y^{-1} x \in H_1$, то $y^{-1} x \notin H_2$.
Убедимся, что тогда $xH_2 \neq y H_2$. Действительно, пусть это не так и $x H_2 = y H_2$. Тогда $ y^{-1} x H_2 = H_2 \Rightarrow y^{-1} x \in H_2$ -- противоречие с тем, что $y^{-1} x \in H_1$ и $y^{-1} x \notin H_1 \cap H_2$.
Получается, что число всевозможных комбинаций различных смежных классов группы $H_1$ по подгруппе $H_1 \cap H_2$ не превосходит числа всевозможных комбинаций различных смежных классов группы $G$ по подгруппе $H_2$. Действительно, если бы это было не так и $|H_1:H_1 \cap H_2|$ было бы бесконечно, то тогда и $|G:H_2|$ тоже -- противоречие с конечностью индекса подгруппы $H_2$. Поэтому получаем, что $$ |H_1:H_1 \cap H_2| \leqslant |G:H_2| < \infty. $$
\end{proof}
\begin{lemma} \label{pdenif}
Если $G$ -- конечно порождённая группа и $H \trianglelefteq G$, то $G/H$ -- тоже конечно порождённая.
\end{lemma}
\begin{proof}
Пусть $G = \{ g_1, g_2, \ldots g_k \mid g_j \in G \}$. Тогда нетрудно увидеть, что $$ G/H = \langle g_1 H, g_2 H, \ldots, g_k H \mid g_i \in G \rangle. $$
\end{proof}
\begin{lemma} \label{cvnmweo}
$\mathbb{C}_n \cong \mathbb{Z}_n$
\end{lemma}
\begin{proof}
Так как эти группы циклические, то пусть $a$ -- образующий группы $\mathbb{C}_n$ и $b$ -- образующий группы $\mathbb{Z}_n$, тогда построим отображение $\varphi: \mathbb{C}_n \rightarrow \mathbb{Z}_n$ следующим образом: $$ \varphi(a^k) = b^k. $$
Убедимся, что $\varphi$ -- гомоморфизм. Действительно
\begin{gather*}
\varphi(xy) = \varphi(a^k a^m) = \varphi(a^{k + m}) = b^{k + m} = b^k b^m = \\
= \varphi(a^k) \varphi(a^m) = \varphi(x) \varphi(y).
\end{gather*}
Таким образом, $\varphi$ -- гомоморфизм.
Гомоморфизм $\varphi$, очевидно, сюръективен. Покажем, что он инъективен. Действительно, пусть $\varphi(x) = \varphi(y)$, тогда
\begin{gather*}
\varphi(a^k) = \varphi(a^m), \\
b^k = b^m, \\
\varphi^{-1}(b^k) = \varphi^{-1}(b^m), \\
a^k = a^m \Rightarrow x = y.
\end{gather*}
Таким образом, $\varphi$ -- биективный гомоморфизм, а значит, является изоморфизмом между группами $\mathbb{C}_n$ и $\mathbb{Z}_n$ -- что и требовалось доказать.
\end{proof}
\begin{theorem}[Диксон] \label{djaios}
Любая подгруппа конечного индекса содержит нормальную подгруппу конечного индекса.
Более точно: если $H$ -- подгруппа индекса $k$ в $G$, то существует подгруппа $H_1 \triangleleft G$, $H_1 \leqslant H$ и $|G : H_1| \leqslant k!$
\end{theorem}
\begin{proof}
Рассмотрим правое дествие группы $G$ на множестве правых смежных классов:
\[
G/H = \{ H a_1, H a_2, \ldots , H a_k \}.
\]
Заметим, что среди этого множества будет лежать $H$ в таком виде: $H a_t$, где $a_t \in H$ (то есть не в виде $H e$).
Действие группы будет определяться следующим образом:
\[
H a_i \cdot g = H a_j, \ g \in G.
\]
Заметим, что элемент $g \in G$ будет действовать на множестве $G/H$ как подстановка, потому что если $H a_i \neq H a_j$, то $H a_i g \neq H a_j g$.
На основании этого факта определим отображение $\varphi: G \rightarrow \mathbf{S}_k$ и проверим, что это гомоморфизм.
Пусть $g, h \in G$, $\varphi(g) = \sigma$, $\varphi(h) = \tau$ и $g,h$ действуют на $G/H$ следующим образом: $$ H a_i \xrightarrow{g} H a_j \xrightarrow{h} H a_t. $$
Тогда
\[
i \xrightarrow{\sigma} j \xrightarrow{\tau} t.
\]
Отсюда видно, что $\varphi(gh) = \varphi(g) \varphi(h)$.
Раз $\varphi: G \rightarrow \mathbf{S}_k$ -- гомоморфизм, то
\[
\faktor{G}{\textrm{ker} \ \varphi} \cong \textrm{im} \ \varphi \subseteq \mathbf{S}_k.
\]
Как известно, $\textrm{ker} \ \varphi$ -- нормальная подгруппа. Кроме того, $\textrm{ker} \ \varphi \subseteq H$. Действительно,
\[
\textrm{ker} \ \varphi = \{ g \in G \mid H a_i g = H a_i \text{ для } i=1,2,\ldots, k \}.
\]
Нетрудно заметить, что $G/H$ содержит такое $H a_i$, что $a_i \in H$ и $H a_i = H$. Далее, так как для всякого $g \in \textrm{ker} \ \varphi$ выполнено $H g = H$, то отсюда следует, что $g \in H \Rightarrow \textrm{ker} \ \varphi \subseteq H$.
Наконец, так как $\varphi: G \rightarrow \mathbf{S}_k$, то $|\textrm{ker} \ \varphi| \leqslant k!$
\end{proof}
\subsection{Периодические группы}
Мощность $|G|$ группы $G$ называется \textit{порядком} группы. Если эта мощность конечна, то группа $G$ называется \textit{конечной}, в противном случае -- \textit{бесконечной}.
\textit{Порядком} элемента группы $g$ называется наименьшее $m > 0$ такое, что $g^m = e$ и обозначается $$ o(g) = m. $$
Группа называется \textit{периодической}, если все её елементы имеют конечный порядок.
Если порядки элементов периодической группы ограничены в совокупности, то их наименьшее общее кратное (НОК) называется \textit{периодом} или \textit{показателем} группы.
Приведём некоторые очевидные следствия из этих определений.
\begin{corollary}
Если период группы существует, то это конечное число.
\end{corollary}
\begin{corollary}
Все конечные группы являются периодическими.
\end{corollary}
\begin{proof}
Так как порядок каждого элемента конечен, то НОК порядков всех элементов -- тоже конечное число.
\end{proof}
\begin{corollary}
Существует периодическая группа, содержащая бесконечное число элементов.
\end{corollary}
\begin{proof}
Например это возможно, когда в группе есть бесконечно много элементов простого порядка $p$.
\end{proof}
\begin{lemma}
Существует бесконечная несчётная периодическая группа конечного периода.
\end{lemma}
\begin{proof}
Возьмём прямое произведение несчётного числа групп из двух элементов. Нетрудно убедиться, что тогда каждый элемент, возведённый в квадрат будет равен единице. Таким образом мы построили группу, обладающую несчётным числом элементов и у которой период равен двум.
\end{proof}
Таким образом периодические группы можно разделить на два класса: конечные и бесконечные.
\begin{lemma} \label{nfi384}
Пусть $G$ -- конечная группа, тогда порядок любого элемента делит порядок группы.
\end{lemma}
\begin{proof}
Возьмём циклическую подгруппу, порождённую некоторым элементом из $G$. По теореме Лагранжа порядок подгруппы делит порядок группы, а раз подгруппа циклическая, то и порядок элемента делит порядок группы $G$.
\end{proof}
\begin{lemma}
Пусть $G$ -- конечная группа. Если для некоторого $x \in G$ и простого $p$ верно, что $x^p = e$, то $o(x) = p$.
\end{lemma}
\begin{proof}
Пусть это не так и существует такое $k < p$, что $o(x) = k$. Разделим $p$ на $k$: $$ p = kn + r, \ 0 \leqslant r < k. $$ Остаток $r$ не может быть равен нулю, так как $p$ -- простое, поэтому $0 < r < k$. Тогда: $$ x^p = x^{kn + r} = x^{kn} x^r = {\underbrace{(x^k)}_{=e}}^n x^r = x^r = e. $$ Получаем, что $x^r = e$, $r < k$, что противоречит минимальности $k$ -- противоречие. Следовательно $o(x) = p$.
\end{proof}
\begin{lemma} \label{fjoir}
Если $G$ -- конечная группа, то для любого $x \in G$ верно: $$ x^{|G|} = e, $$ где $e$ -- единица группы $G$.
\end{lemma}
\begin{proof}
По лемме \ref{nfi384} порядок любого элемента делит порядок группы, то есть существуют такие $n > 0, \ m > 0$ что $|G| = n m$ и $o(x) = n$. Тогда $$ x^{|G|} = x^{nm} = (x^n)^m = e^m = e. $$
\end{proof}
\begin{lemma}
Показатель конечной группы $G$ является делителем её порядка.
\end{lemma}
\begin{proof}
Так как по лемме \ref{nfi384} порядок каждого элемента делит порядок группы, то порядок группы должен быть числом, которое делится одновременно на все порядки элементов группы. Если среди таких чисел выбрать наименьшее, то оно будет в точности совпадать с наименьшим общим кратным порядков всех элементов группы, а значит, по определению -- с показателем группы: $$ |G| \geqslant \textrm{НОК}(\{o(x) \mid x \in G \}). $$
Более точно можно записать так: $$ |G| = k \cdot \textrm{НОК}(\{o(x) \mid x \in G \}), $$ где $k > 0$. Таким образом получаем, что показатель группы делит порядок группы -- что и требовалось доказать.
\end{proof}
\begin{lemma} \label{dqiopnw}
Пусть $G$ -- группа, тогда для любого $a \in G$
\[
a^m = e \Leftrightarrow (g^{-1} a g)^m = e, \ \forall g \in G.
\]
\end{lemma}
\begin{proof}
\textit{Необходимость.} Пусть выполнено, что $a^m = e$. Тогда осуществим ряд преобразований этого уравнения
\begin{gather*}
g^{-1} a^m g = g^{-1} g, \\
g^{-1} \underbrace{a a \ldots a}_{m} g = e, \\
\underbrace{(g^{-1} a g) (g^{-1} a g) \ldots (g^{-1} a g)}_{m} = e, \\
(g^{-1} a g)^m = e.
\end{gather*}
\textit{Достаточность.} Пусть $(g^{-1} a g)^m = e$, тогда проделывая в обратном порядке те же преобразования, что и выше, мы и получаем, что $a^m = e$.
\end{proof}
\begin{lemma} \label{fenjoi}
Пусть $G$ -- группа и $a \in G$, тогда
\[
o(a) = o(g^{-1} a g), \ \forall g \in G.
\]
\end{lemma}
\begin{proof}
Пусть $o(a) = m$, тогда по лемме \ref{dqiopnw} $(g^{-1} a g)^m = e$. Предположим, что число $m$ не является порядком сопряжённого элемента $g^{-1} a g$. Пусть $o(g^{-1} a g) = k$. Случай, когда $k > m$ невозможен, так как тогда $o(g^{-1} a g) = m$. Тогда пусть $k < m$. Но тогда по лемме \ref{dqiopnw} $a^k = e$, что противоречит минимальности $m$. Таким образом, $k = m$.
\end{proof}
\subsection{Полициклические группы}
Данный раздел сформирован на основе упражнения 4.4.3 (\cite{kargapolov}, с.56) и нужен для доказательства части б) теоремы \ref{equinor} (\cite{kargapolov}, с.158, теорема 17.2.2), но пока что леммы из этого раздела нигде не используются.
Напомним, что субнормальная матрёшка с циклическими секциями называется \textit{полициклической}, а группа с такой матрёшкой -- \textit{полициклической группой}.
\begin{lemma}
Подгруппа полициклической группы полициклическая
\end{lemma}
\begin{proof}
Пусть $G$ -- полициклическая группа и $H \leqslant G$. Раз $G$ -- полициклическая, то существует ряд
\[
G = G_0 > G_1 > G_2 > \ldots > G_k = \{ e\}
\]
с циклическими факторами.
Построим ряд для подгруппы $H$:
\[
H \geqslant H \cap G_1 \geqslant H \cap G_2 \geqslant \ldots \geqslant H \cap G_k = \{ e \}
\]
и покажем, что все его факторы $ \faktor{H \cap G_i}{H \cap G_{i + 1}} $ тоже циклические. Действительно, по второй теореме об изоморфизме для всяких подгрупп $B, C$ некоторой группы $A$ таких, что $C \leqslant A$ и $B \trianglelefteq A$ имеем:
\[
\faktor{BC}{B} \cong \faktor{C}{B \cap C}.
\]
Заметим, что $BC$ будет являться подгруппой по лемме \ref{rafah}. Далее, обозначим $A = G_i$, $B = G_{i + 1}$ и $C = H \cap G_i$. Тогда, с учётом этих обозначений, а также того, что $G_{i + 1} \subset G_i \Rightarrow G_{i + 1} \cap G_i = G_{i + 1}$ получим:
\begin{gather*}
\faktor{H \cap G_i}{H \cap G_{i + 1}} = \faktor{C}{B \cap C} \cong \faktor{BC}{B} = \\
= \faktor{G_{i + 1}(H \cap G_i)}{G_{i + 1}} \leqslant \faktor{G_i}{G_{i + 1}}.
\end{gather*}
Действительно, это выполнено, так как $ G_{i + 1}\underbrace{(H \cap G_i)}_{\in G_i} \in G_{i + 1} $ -- так как $G_{i + 1} \subset G_i$.
Значит, $ \faktor{H \cap G_i}{H \cap G_{i + 1}} $ изоморфна подгруппе группы $\faktor{G_i}{G_{i + 1}}$, а она по условию циклическая, а всякая подгруппа циклической группы -- снова циклическая.
Таким образом, $ \faktor{H \cap G_i}{H \cap G_{i + 1}} $ -- циклическая группа -- что и требовалось доказать.
\end{proof}
\begin{lemma}
Фактор-группа полициклической группы полициклическая.
\end{lemma}
\begin{proof}
Пусть $G$ -- полициклическая группа. Это значит, что она обладает субнормальным рядом с циклическими секциями:
\[
\{ e \} = G_0 \trianglelefteq G_1 \trianglelefteq G_2 \trianglelefteq \ldots \trianglelefteq G_n = G.
\]
Пусть $H \trianglelefteq G$ и рассмотрим ряд на фактор-группе $G / H$\footnote{Мы здесь действительно имеем право рассматривать произведение подгрупп $G_i H$, так как $H \trianglelefteq G$, $G_i \leqslant G$, следовательно по лемме \ref{rafah} оно является подгруппой в $G$.}:
\[
1 = \overline{G}_0 \leqslant \overline{G}_1 \leqslant \overline{G}_2 \leqslant \ldots \leqslant \overline{G}_n = G / H, \text{ где } \overline{G}_i = \faktor{G_i H}{H}.
\]
Покажем, что это субнормальный ряд с циклическими секциями. Для того, чтобы показать субнормальность нужно убедиться, что $\overline{G}_i \trianglelefteq \overline{G}_{i + 1}$. Проверим это. Пусть $\overline{g_i} \in \overline{G}_i$, $\overline{g}_{i + 1} \in \overline{G}_{i + 1}$ и рассмотрим сопряжённый
\[
(\overline{g}_{i + 1})^{-1} \cdot \overline{g}_i \cdot \overline{g}_{i + 1}.
\]
Так как $\overline{G}_i = G_i H / H$, то $\overline{g}_i = g_i h H = g_i H$, где $g_i \in G_i$. Аналогично $\overline{g}_{i + 1} = g_{i + 1} H$, где $g_{i + 1} \in G_{i + 1}$. С учётом этого и нормальности $H$ в $G$ получаем:
\begin{gather*}
(\overline{g}_{i + 1})^{-1} \cdot \overline{g}_i \cdot \overline{g}_{i + 1} = (g_{i + 1} H)^{-1} (g_i H) (g_{i + 1} H) = \\
= \underbrace{g_{i + 1}^{-1} g_i g_{i + 1}}_{\in G_i} H \in G_i H / H = \overline{G}_i.
\end{gather*}
Итак, нормальность $\overline{G}_i$ в $\overline{G}_{i + 1}$ показана.
Остаётся показать, что секции $\overline{G}_{i + 1} / \overline{G}_i$ циклические. Действительно, из теорем об изоморфизме(\cite{kargapolov}, с.49, теорема 4.2.3 и 4.2.4) получается:
\begin{gather*}
\faktor{\overline{G}_{i + 1}}{\overline{G}_i} = \faktor{\faktor{G_{i + 1}H}{H}}{\faktor{G_iH}{H}} \cong \faktor{G_{i + 1} H}{ G_i H} \cong \\
\cong \faktor{G_{i + 1}}{G_i (G_{i+1} \cap H)} \cong \faktor{G_{i + 1} / G_i}{G_i / G_i (G_{i+1} \cap H)}.
\end{gather*}
Но это означает, что $\faktor{\overline{G}_{i + 1}}{\overline{G}_i}$ является гомоморфным образом группы $G_{i + 1} / G_i$, а гомоморфный образ циклической группы -- циклическая группа.
\end{proof}
\begin{lemma} \label{eftiq}
Расширение полициклической группы посредством полициклической группы -- снова полициклическая группа.
\end{lemma}
\begin{proof}
Пусть $B$ -- полициклическая группа и пусть $A$ -- её расширение посредством фактор-группы $A / B$. Так как $B$ -- полициклическая, то она обладает полициклическим рядом $$ B \triangleright B_1 \triangleright \ldots \triangleright \{ e \}. $$
Так как расширение происходит при помощи полициклической группы $A / B$, то $$ A / B \triangleright A_1 / B \triangleright \ldots \triangleright A_{k - 1} / B \triangleright A_k / B = \{ e \}. $$
Тогда получим объединённый ряд $$ A > A_1 > A_2 > \ldots > A_{k - 1} > B \triangleright B_1 \triangleright \ldots \triangleright \{ e \}. $$
Так как $B \triangleleft A$, то очевидно, что $B \triangleleft A_1, \ B \triangleleft A_2, \ldots, B \triangleleft A_k$, поэтому:
$$ A \triangleright A_1 \triangleright A_2 \triangleright \ldots \triangleright A_{k - 1} \triangleright B \triangleright B_1 \triangleright \ldots \triangleright \{ e \}. $$ То есть получили полициклическую матрёшку, а значит расширение -- полициклическая группа.
\end{proof}
\begin{lemma}
Произведение двух полициклических нормальных подгрупп произвольной группы -- полициклическая подгруппа.
\end{lemma}
\begin{proof}
Пусть $A, B$ -- полициклические группы и $A, B \triangleleft G$. Рассмотрим $AB$. Заметим, что $$ \faktor{AB}{A} \cong B. $$
Отсюда можно увидеть, что группа $AB$ будет являться расширением полициклической группы $A$ при помощи полициклической группы $B$ (потому что $B$ изоморфно фактор-группе $AB / A$, а расширение как раз и проводится при помощи такой фактор-группы), а значит, по лемме \ref{eftiq} она будет являться полициклической группой.
\end{proof}
\newpage
\section{Периодические абелевы группы}
Говорят, что $G$ -- группа \textit{без кручения}, если любой её элемент имеет бесконечный порядок.
В произвольной абелевой группе $G$ совокупность $T(G)$ всех элементов конечного порядка образует подгруппу, которая называется \textit{периодической частью} группы $G$.
\begin{lemma}
Пусть $G$ -- группа, тогда фактор-группа $\faktor{G}{T(G)}$ -- группа без кручения.
\end{lemma}
\begin{proof}
Тот факт, что $\faktor{G}{T(G)}$ -- группа без кручения можно записать следующим образом: $$ T(\faktor{G}{T(G)}) = T(G). $$
Проверим, что это действительно так. Пусть $$ a + T(G) \in T(\faktor{G}{T(G)}), \ a \in G. $$
Так как элемент $a + T(G)$ принадлежит периодической части, то он имеет конченый порядок $n > 0$ и тогда
\begin{align*}
n(a + T(G)) &= \overline{0} = T(G), \\
na + n T(G) & = T(G).
\end{align*}
Так как $T(G)$ -- подгруппа, то
\[
n T(G) = \underbrace{T(G) + T(G) + \ldots + T(G)}_{n \text{ раз}} = T(G),
\] поэтому:
\[
na + T(G) = T(G) \Rightarrow na \in T(G).
\]
Но это означает, что элемент $na$ имеет некоторый конечный порядок $m$:
\[
o(na) = m \Rightarrow m(na) = (mn)a = 0 \Rightarrow o(a) \leqslant mn \Rightarrow a \in T(G).
\]
Раз так, то $a + T(G) = T(G)$ и $T(\faktor{G}{T(G)}) = T(G)$.
\end{proof}
Следует заметить, что вообще периодическая часть не выделяется своим прямым слагаемым (в отличие от делимой части). Рассмотрим в качестве иллюстрации следующий
\begin{example}
Пусть
\[
\overline{G} = \overline{\sum_{p}} \mathbb{Z}_p, \ \ G = \sum_{p} \mathbb{Z}_p
\]
(суммирование по всем простым $p$). Очевидно, $G$ -- периодическая часть в $\overline{G}$. Покажем, что $\faktor{\overline{G}}{G}$ -- полная группа и $G$ не выделяется в $\overline{G}$ прямым слагаемым.
\end{example}
\begin{proof}
Докажем сначала полноту фактор-группы $\faktor{\overline{G}}{G}$. Пусть $n$ -- положительное целое число и $f \in \overline{G}$. Тогда $f$ устроен следующим образом:
\begin{equation} \tag{*} \label{mx}
f = (\underbrace{a_2}_{\in \mathbb{Z}_2}, \underbrace{a_3}_{\in \mathbb{Z}_3}, \underbrace{a_5}_{\in \mathbb{Z}_5}, \underbrace{a_7}_{\in \mathbb{Z}_7}, \underbrace{a_{11}}_{\in \mathbb{Z}_{11}}, \ldots),
\end{equation}
индексация элементов кортежа здесь идёт простыми числами. Попробуем понять, при каких условиях уравнение $nx = f$ будет иметь решение в $\overline{G}$.
Заметим, что это будет выполняться только в тех элементах кортежа \eqref{mx}, номера которых будут строго превышать $n$. То есть, решение уравнения $nx = a_p \in \mathbb{Z}_p$ будет существовать только тогда, когда $p > n$. Это означает, что при различных $p > n$ в каждой из групп $\mathbb{Z}_p$ существует элемент $g_p$ с условием:
\[
n g_p = f(p).
\]
<<Обнулим>> начальную часть кортежа, то есть на тех позициях, номера которых $\leqslant n$ мы поставим нули. Делать это мы будем, используя следующие обозначения:
\[
g(p) =
\begin{cases}
0 & \text{ при } p \leqslant n, \\
g_p & \text{ при } p > n,
\end{cases}
\ \ \ \
f'(p) =
\begin{cases}
0 & \text{ при } p \leqslant n, \\
f(p) & \text{ при } p > n.
\end{cases}
\]
Отсюда видно, что тогда $ng = f'$. Но $fG = f'G$, так как видно, что $f$ может быть получен путём прибавления того самого <<выброшенного>> куска, а он содержит лишь конечное число ненулевых компонент, а именно такие элементы и составляют $G$. Раз так, то уравнение $nx = fG$ имеет решение в $\faktor{\overline{G}}{G}$.
Теперь допустим, что $G$ разлагается в прямую сумму $\overline{G} = G \oplus H$. Так как $\faktor{\overline{G}}{G}$ делима и $\faktor{\overline{G}}{G} \simeq H$ (по лемме \ref{eto_basa}), то $H$ тоже будет полна. То есть, в подгруппе $H$ при произвольном $n$ должно иметь решение уравнение $nx = h, \ h \in H$. Но это не так, так как, например, если $h(p) \neq 0$, то это уравнение не может иметь решений при $n = p$. Полученное противоречие доказывает наше утверждение относительно $\overline{G}$.
\end{proof}
\subsection*{Примарные группы}
Группа, в которой порядок каждого элемента равен степени простого числа $p$ называется \textit{p-группой}: $$ A(p) = A_p = \{ x \mid o(x) = p^n, n \geqslant 0 \}. $$
Такие группы образуют класс \textit{примарных} групп для различных простых $p$.
% В периодической абелевой группе $G$ совокупность $A_p$ всех элементов, порядки которых есть степени фиксированного простого числа $p$ образует подгруппу. Очевидно, $A_p$ -- максимальная $p$-подгруппа в $G$; она называется \textit{примарной компонентой} группы $G$.
\begin{corollary}
Существуют бесконечные примарные группы.
\end{corollary}
\begin{corollary}
Примарная группа является периодической.
\end{corollary}
\begin{proof}
В примарной группе порядок любого элемента конечен.
\end{proof}
\begin{corollary}
Существуют примарные группы, которые не имеют конечного периода.
\end{corollary}
\begin{lemma} \label{prime_period}
Если $A(p)$ -- примарная группа, то её период равен $$ \max\{ o(x) \mid x \in A(p) \} = p^{\max \{ \log_p{o(x)} \mid x \in A(p) \} }. $$
\end{lemma}
\begin{lemma}
Если $G$ -- p-группа конечного периода $p$, то для любого $ g \in G $ верно: $o(g) = 1$ либо $o(g) = p$.
\end{lemma}
\begin{proof}
Так как период группы равен наименьшему общему кратному порядков всех её элементов, то он должен делиться на порядок любого элемента группы. Но период группы - простое число, а оно делится только на себя и на единицу, откуда и вытекает условие леммы.
\end{proof}
\begin{theorem}[О разложении периодической группы в прямую сумму примарных компонент] \label{fiona}
Пусть $A$ -- периодическая абелева группа. Тогда
\begin{enumerate}
\item A(p) -- подгруппа группы $A$;
\item $$ A = \sum_p A(p); $$
\item Если $$ A = \sum_p A'(p), $$ где $A'(p)$ -- группа, у которой все элементы имеют порядки, являющиеся степенями простого числа $p$, то $A'(p) = A(p)$.
\end{enumerate}
\end{theorem}
\begin{proof}
1. Возьмём $x, y \in A(p)$, тогда $p^m x = 0$ и $p^n y = 0$ для $m, n \in \mathbb{N}$. Обозначим $t = \max (m, n)$, тогда:
$$ p^t (x + y) = p^t x + p^t y = 0 + 0 = 0 \Rightarrow x + y \in A(p). $$
Теперь возьмём $x \in A(p)$ и рассмотрим порядок элемента $-x$. Известно, что $$ o(x) = o(-x), $$ а это и означает, что $-x \in A(p)$. Таким образом, $A(p)$ -- подгруппа группы $A$.
2. Пусть $a \in A$. Тогда $o(a) = p_1^{\alpha_1} p_2^{\alpha_2} \ldots p_k^{\alpha_k} = n$.
Рассмотрим систему чисел $\{ q_i = \frac{n}{p_i^{\alpha_i}} \}_{i = 1..k}$:
\begin{align*}
q_1 =& p_2^{\alpha_2} \ldots p_k^{\alpha_k}, \\
q_2 =& p_1^{\alpha_1} p_3^{\alpha_3} \ldots p_k^{\alpha_k}, \\
\vdots & \\
q_k =& p_1^{\alpha_1} p_2^{\alpha_2} \ldots p_{k - 1}^{\alpha_{k - 1}}.
\end{align*}
У всех этих чисел не будет общего делителя (кроме 1), а значит, они все взаимно просты, т.е.:
$$ (q_1, q_2, \ldots, q_k) = 1. $$
Это означает, что можно записать соотношение Безу, то есть существуют $u_1, u_2, \ldots, u_k$ такие, что
$$ q_1 u_1 + \ldots + q_k u_k = 1. $$ Домножим это равенство слева и справа на $a$:
\[
\underbrace{q_1 u_1 a}_{\in A(p_1)} + \underbrace{q_2 u_2 a}_{\in A(p_2)} \ldots + \underbrace{q_k u_k a}_{\in A(p_k)} = a,
\]
то есть $q_i u_i a \in A(p_i)$, так как $p_i (q_i u_i a) = 0 \Rightarrow o(q_i u_i a) = p_i$. Таким образом мы показали, что $a \in \sum_p A(p)$.
Осталось доказать, что $\sum_p A(p)$ -- действительно прямая сумма. Иначе говоря нужно показать, что $A(p_i) \cap \sum_{j \neq i} A(p_j) = \{ 0 \}$.
Пусть это не так. Это означает, что это пересечение непусто, т.е.
\[
\exists x \in A(p_i) \cap \sum_{j \neq i} A(p_j), \ x \neq 0.
\]
Тогда, так как $x \in \sum_{i \neq j} A(p_j)$, то
$$ x = x_1 + x_2 + \ldots x_{i - 1} + x_{i + 1} + \ldots + x_k.\footnote{\text{То есть в этой сумме отсутствует $x_i$.}} $$
Это означает, что
\begin{equation*}
\begin{cases}
p_1^{\beta_1} x_1 = 0 \\
\vdots \\
p_{i - 1}^{\beta_{i - 1}} x_{i - 1} = 0 \\
p_{i + 1}^{\beta_{i + 1}} x_{i + 1} = 0 \\
\vdots \\
p_k^{\beta_k} x_k = 0
\end{cases}.
\end{equation*}
Откуда следует, что
\[
p_1^{\beta_1} \ldots p_{i - 1}^{\beta_{i - 1}} p_{i + 1}^{\beta_{i + 1}} \ldots p_k^{\beta_k} \underbrace{(x_1 + \ldots + x_{i - 1} + x_{i + 1} + \ldots + x_k)}_{x} = 0.
\]
Но, так как $x \in A(p_i) \Rightarrow p_i^{\beta_i} x = 0$, то получаем:
\begin{equation*}
\begin{cases}
p_1^{\beta_1} \ldots p_{i - 1}^{\beta_{i - 1}} p_{i + 1}^{\beta_{i + 1}} \ldots p_k^{\beta_k} x = 0 \\
p_i^{\beta_i} x = 0
\end{cases}.
\end{equation*}
Так как $$ (p_1^{\beta_1} \ldots p_{i - 1}^{\beta_{i - 1}} p_{i + 1}^{\beta_{i + 1}} \ldots p_k^{\beta_k}, p_i^{\beta_i}) = 1, $$ то $x = 0$, а следовательно, сумма прямая.
3. То, что $A'(p) \subseteq A(p)$ для всех $p$ -- очевидно. Покажем, что $A(p) \subseteq A'(p)$ для любого $p$. От противного -- предположим, что это не так. Тогда найдётся такое $p'$, что $A'(p') \subset A(p')$. Следовательно, будет существовать такой $0 \neq x \in A$, что $x \in A(p')$ и $x \notin A'(p')$. Раз $x$ не принадлежит своему прямому слагаемому $A'(p')$, то по условию его можно разложить: $$ x = x_1 + x_2 + \ldots + x_k, $$ где $0 \neq x_1 \in A'(p_1), 0 \neq x_2 \in A'(p_2), \ldots, 0 \neq x_k \in A'(p_k)$. В этом разложении существует компонента $x_i \in A'(p')$.
Если $x_i = 0$, то получаем:
\begin{gather*}
p_1^{\alpha_1} x_1 = 0, \\
p_2^{\alpha_2} x_2 = 0, \\
\vdots \\
p_k^{\alpha_k} x_k = 0,
\end{gather*}
среди которых нет строчки $(p')^\beta x_i = 0$.
Отсюда получаем, что: $$ p_1^{\alpha_1} \dots p_k^{\alpha_k} x = 0, $$ где среди $p_1^{\alpha_1} \dots p_k^{\alpha_k}$ отсутствует множитель $(p')^\beta$. С другой стороны, так как $x \in A(p')$, то $(p')^\beta x = 0$. Получаем, что $x$ аннулируется двумя взаимно простыми числами, а значит $x = 0$ -- противоречие, так как мы предполагали, что $x \neq 0$.
Теперь, если $x_i \neq 0$, то $$ x = x_1 + \dots + x_i + \dots + x_k, $$ где $x_j \neq 0$ для всех $1 \leqslant j \leqslant k$. Перенесём $x_i$ в левую часть: $$ x - x_i = x_1 + \dots + x_{i - 1} + x_{i + 1} + \dots +x_k. $$ Так как $x_i \in A'(p')$ и $x \in A(p')$, то получаем, что элемент $x - x_i$ будет аннулироваться какой-то степенью $p'$ и это число будет взаимно простым с тем, которое аннулирует элементы справа, следовательно $x - x_i = 0$ и $x = x_i$. Следовательно, $x \in A'(p')$ -- противоречие с условием.
\end{proof}
Следующий ряд утверждений сформулирован на основе доказательства первой теоремы Прюфера (\cite{kargapolov}, с. 92)
\begin{theorem} \label{rfunqweiop}
Абелева группа $G$ простого периода $p$ разлагается в прямую сумму циклических подгрупп: $$ G = \sum_{i \in I} \langle a_i \rangle, $$ где $a_i \in G$.
\end{theorem}
\begin{proof}[Доказательство №1 -- через линейное пространство]
Представим абелеву группу простого периода $p$ как линейное пространство над полем из $p$ элементов и воспользуемся теоремой о разложимости линейного пространства в прямую сумму подпространств.
В качестве множества векторов у нас будут выступать элементы группы $G$, а в качестве скаляров - элементы поля $GF(p) = \mathbb{Z}_p$. Умножение определим так: $$ u \cdot g = \underbrace{g + \dots + g}_{u \, \text{раз}} \in G, $$ где $g \in G$, $u \in \mathbb{Z}_p$. При таком определении все аксиомы линейного пространства будут выполнены. То есть абелева группа $G$ будет являться линейным пространством над полем $\mathbb{Z}_p$.
\textit{Случай 1}. Данное линейное пространство конечномерно. Тогда в нём существует базис $\{ e_1, \dots, e_n \}$ и группа разлагается по нему: $$ G = \mathbb{Z}_p e_1 \oplus \ldots \oplus \mathbb{Z}_p e_n $$ как линейное пространство. При этом $$ \underbrace{\mathbb{Z}_p e_i}_{(0, \dots, 0, \star, 0, \dots, 0 )} \cap \underbrace{\sum_{j \neq i} \mathbb{Z}_p e_j}_{(\star, \dots, \star, 0, \star, \dots, \star )} = \{ 0 \}. $$
\textit{Случай 2}. Линейное пространство бесконечномерно. Для того, чтобы применить теорему о разложимости на подпространства, нам нужно показать, что в данном линейном пространстве существует максимальное линейно независимое подмножество векторов, которое порождает всё пространство.
Существование такого максимального линейно независимого подмножества будем доказывать при помощи леммы Цорна. Пусть $M$ -- множество всех линейно независимых подмножеств линейного пространства $G$ над полем $\mathbb{Z}_p$. Такие существуют -- например множество, состоящее из одного ненулевого элемента $\{ g \}$, $g \in G$ -- очевидно, что оно линейно независимо. Нетрудно заметить, что множество $M$ будет частично упорядоченным множеством по операции теоретико-множественного включения. Пусть $I$ -- произвольное множество индексов и $\Gamma = \{ X_\gamma \mid \gamma \in I \}$ -- произвольная цепь в $M$. Чтобы применить лемму Цорна нам нужно показать, что любая такая цепь имеет мажоранту. Рассмотрим множество $$ X = \bigcup_{i \in I} X_i $$ и проверим, будет ли оно являться мажорантой цепи $\Gamma$. То, что $X$ будет являться верхней гранью для любого элемента цепи $\Gamma$ очевидно. Остаётся показать, что $X \in M$, то есть что $X$ -- линейно независимое подмножество. Возьмём произвольные $ x_1, \dots, x_n \in X$ и рассмотрим линейную комбинацию $$ \lambda_1 x_1 + \lambda_2 x_2 + \ldots + \lambda_n x_n, $$ где $\lambda_i \in GF(p)$. Так как $\Gamma$ -- цепь, то для любых пар индексов $\alpha, \beta \in I$ выполняется $X_\alpha \subseteq X_\beta$ либо $X_\beta \subseteq X_\alpha$, а значит, существует такой индекс $\gamma \in I$, что $ x_1, \dots, x_n \in X_\gamma$, откуда следует, что $ \{ x_1, \dots , x_n \} $ -- линейно независимое подмножество. Таким образом, по лемме Цорна в $G$ существует максимальная линейно независимое подмножество.
Покажем, что любой элемент из $x \in G$ выражается через это множество. Возможны два случая: $x \in X$ и $x \notin X$. Если $x \in X$, то он выражается через эту систему: $$ x = 1 \cdot x. $$ Пусть $x \notin X$, Так как $X$ -- максимальная линейно независимая система векторов, то $X \cup \{ x \}$ будет линейно зависима. Это значит, что $$ \lambda_1 x_1 + \ldots + \lambda_n x_n + \mu x = 0, $$ где $\lambda_1, \dots, \lambda_n, \mu$ не все нулевые.
Рассмотрим два случая.
\begin{enumerate}
\item[(а)] $\mu = 0 \Rightarrow \lambda_1 x_1 + \ldots + \lambda_n x_n = 0 $, а это возможно только при $\lambda_1 = \lambda_2 = \dots = \lambda_n = 0$, так как $x_1, \dots, x_n$ -- линейно независимая система векторов. Но мы же предполагали, что среди $\lambda_1, \dots, \lambda_n, \mu$ не все нулевые -- противоречие.
\item[(б)] $\mu \neq 0$. Тогда $$ \lambda_1 x_1 + \ldots + \lambda_n x_n = - \mu x, $$ что означает, что $x$ раскладывается по $X$.
\end{enumerate}
Применяя теорему о разложимости линейного пространства в прямую сумму подпространств получаем разложение $G$ как линейного пространства над своим базисом $\{ e_\alpha \mid \alpha \in I \}$: $$ G = \bigoplus \sum_{\alpha \in I} \mathbb{Z}_p e_{\alpha}. $$ Откуда следует, что как абелева группа $G$ раскладывается в прямую сумму циклических подгрупп: $$ G = \bigoplus_{\alpha \in I} \mathbb{Z}_p. $$
\end{proof}
\begin{proof}[Доказательство №2 -- трансфинитной индукцией]
Пусть $G \neq 0$ и рассмотрим подгруппу, порождённую каким-либо ненулевым элементом из $G$: $$ G_1 = \{ 0, a, 2a, \ldots, (p-1)a \}. $$
Для каждого ординала $\xi$ строим $G_\xi$ следующим образом.
\textit{Базис}: $\xi = 1$. Тогда $G_\xi$ уже построено.
\textit{Индукционный шаг}. Пусть $\forall \eta < \xi$ группа $G_\eta$ построена. Тогда рассмотрим два случая:
\begin{enumerate}
\item[(а)] $\xi$ -- не предельный ординал. Тогда $\xi = \eta + 1$. Если $G_\eta = G$, то $G_{\eta + 1} = G_\eta$ и всё доказано. Если же $G_\eta \neq G$, то берём $x \notin G_\eta$. Тогда $\langle x \rangle = \mathbb{Z}_p$, при этом $$ G_\eta \cap \langle x \rangle = 0. $$ Это действительно так, потому что пересечение подгрупп будет подгруппой, а все подгруппы группы $\langle x \rangle$ -- это $\{ 0 \}$ и $\langle x \rangle$. Но случай, когда $\langle x \rangle \subset G_\eta$ невозможен, так как мы выбрали $x \notin G_\eta$, следовательно, $G_\eta$ пересекается с $\langle x \rangle$ по нулю.
Тогда в качестве $G_\xi = G_{\eta + 1}$ берём $G_\eta \oplus \langle x \rangle$, которое будет являться прямой суммой.
\item[(б)] $\xi$ -- предельный ординал. Тогда положим: $$ G_\xi = \bigcup_{\eta < \xi} G_\eta. $$
\end{enumerate}
Таким образом, для каждого ординала $\xi$ построена группа $G_\xi$, которая является прямой суммой групп, изоморфных $\mathbb{Z}_p$.
Понятно, что $G_{\xi_1} \subseteq G_{\xi_2}$ при $\xi_1 < \xi_2$ (по построению).
Берём ординал $\xi_0$, который по мощности больше, чем мощность $|G|$\footnote{Такой обязательно существует, так как по лемме Цермело любое множество можно вполне упорядочить. За каждым ординалом стоит какое-то вполне упорядоченное подмножество, а значит существуют ординалы, за которыми стоят подмножества более мощные, чем $|G|$. Тогда $G_{\xi_0}$ точно будет совпадать с $G_{\xi_0 + 1}$. Тут можно взять $2^{|G|}$, так как, например, если взять 40 подмножеств пятиэлементного множества, то среди них обязательно найдутся совпадающие. Более общо: если взять гиперконтинуум подмножеств, то среди них обязательно найдутся совпадающие, но в данном случае нам достаточно и $|G|$. Цепь, как набор подмножеств счётного множества не может быть несчётной.} и возьмём все такие $G_\xi$, где $\xi \leqslant \xi_0$. Все такие $G_\xi$ не могут быть различными, то есть существует такое $\eta$, что $$ G_\xi = G_\eta = G_{\eta + 1} = G_{\eta + 2} = \ldots $$ Таким образом мы исчерпаем все ординалы и $$ G_\xi = G. $$
\end{proof}
\begin{lemma}
Пусть $G$ -- абелева p-группа с периодом $p^n$, $n > 0$. Тогда $pG = \{ pg \mid g \in G \}$ -- подгруппа группы $G$ с периодом $p^{n - 1}$.
\end{lemma}
\begin{proof}
Сначала покажем, что $pG$ -- подгруппа группы $G$. Возьмём $ x, y \in pG $. По определению группы $pG$ это означает, что $x = px'$ и $y = py'$, где $x', y' \in G$. Тогда $$ x + y = px' + py' = p \underbrace{(x' + y')}_{ \in G} \in pG. $$
Теперь, пусть $x \in pG$. Отсюда следует, что $x = px'$, где $x' \in G \Rightarrow -x' \in G $, а значит $ p(-x') \in pG$. Следовательно, $pG$ -- подгруппа группы $G$.
Теперь покажем, что период группы $pG$ равен $p^{n - 1}$. Пусть $g \in G$, тогда: $$ p^n g = 0 \Rightarrow p^{n - 1} (pg) = 0 \Rightarrow o(pg) = p^{n - 1}. $$
А это и означает, что период группы $pG$ равен $p^{n - 1}$ и лемма доказана.
\end{proof}
\begin{lemma}
Пусть $G$ -- абелева p-группа, у которой подгруппа $pG$ разлагается в прямую сумму циклических подгрупп: $$ pG = \sum_{i \in I} \langle a_i \rangle, $$ где $a_i \in pG$. Тогда уравнение $$ px = a_j $$ имеет решение в $G$ для любого $j \in I$.
\end{lemma}
\begin{proof}
Возьмём $j \in I$ и рассмотрим прямую сумму циклических подгрупп $ \sum_{i \in I} \langle a_i \rangle $. В ней, очевидно, будет существовать элемент $$ 0 + \ldots + 0 + k a_j + 0 + \ldots + 0 \in \sum_{i \in I} \langle a_i \rangle, $$ где $k \in \mathbb{Z}$. В частности, элемент $$ 0 + \ldots + 0 + a_j + 0 + \ldots + 0 \in \sum_{i \in I} \langle a_i \rangle. $$ Следовательно, раз $ pG = \sum_{i \in I} \langle a_i \rangle $, то будет существовать такой элемент $pg \in pG$, что $$ pg = 0 + \ldots + 0 + a_j + 0 + \ldots + 0 = a_j, $$ что и требовалось доказать.
\end{proof}
\begin{lemma}
Пусть $G$ -- абелева p-группа, у которой подгруппа $pG$ разлагается в прямую сумму циклических подгрупп: $$ pG = \sum_{i \in I} \langle a_i \rangle, $$ где $a_i \in pG$ и уравнение $$ px = a_j $$ имеет решение $x_j$ в $G$ для любого $j \in I$. Пусть $X = \{ x_i \mid i \in I \}$ -- подмножество решений уравнения $px = a_j$ в $G$. Положим $ H = \langle X \rangle $, тогда $$ H = \sum_{i \in I} \langle x_i \rangle. $$
\end{lemma}
\begin{proof}
Ясно, что $H$ будет подгруппой в $G$ по построению.
Сначала покажем, что $H \subseteq \sum_{i \in I} \langle x_i \rangle$. Возьмём $h \in H$, тогда существует его разложение по порождающему множеству $X$:
\begin{equation} \label{eq_h} \tag{$\star$}
h = \varepsilon_1 a_1 + \varepsilon_2 a_2 + \ldots + \varepsilon_m a_m,
\end{equation}
где $\varepsilon_i = \pm 1$, $a_i \in X$, $ 0 < m < \infty $.
Так как каждый $a_j$, $1 \leqslant j \leqslant m$ принимает значение какого-то элемента $x_i \in X$, то может случиться так, что для некоторых $1 \leqslant j,k \leqslant m$ будет верно, что: $$ a_j = a_k = x_i. $$ А это означает, что в разложении (\ref{eq_h}) можно сгруппировать те $a_k$, которые равны одному и тому же элементу порождающего множества $x_i$. Для того, чтобы сделать такую группировку, для каждого разложения (\ref{eq_h}) элемента $h \in H$ и каждого $i \in I$ (соответствует $x_i$ из порождающего множества) определим множество $$S_i = \{k \mid a_k = x_i, 1 \leqslant k \leqslant m \}.$$ То есть, множество $S_i$ содержит те индексы слагаемых в разложении (\ref{eq_h}), в которых $a_k = x_i$. Тогда разложение (\ref{eq_h}) в силу абелевости группы $G$ можно переписать так: $$ h = \underbrace{\underbrace{\left( \sum_{j \in S_1}{\varepsilon_j} \right) }_{\in \mathbb{Z}} x_{i_1}}_{\in \langle x_{i_1} \rangle} + \underbrace{\underbrace{\left( \sum_{j \in S_2}{\varepsilon_j} \right)}_{\in \mathbb{Z}} x_{i_2}}_{\in \langle x_{i_2} \rangle} + \ldots + \underbrace{\underbrace{\left( \sum_{j \in S_{l}}{\varepsilon_j} \right)}_{\in \mathbb{Z}} x_{i_l}}_{\in \langle x_{i_l} \rangle} \in \sum_{i \in I} \langle x_i \rangle, $$ где $\varepsilon_i = \pm 1$, $ i_1, i_2, \ldots, i_l \in I $, $l \leqslant m $ и $l$ равно числу различных $x_i$ в разложении (\ref{eq_h}). Что и требовалось доказать.
Обратно, покажем, что $\sum_{i \in I} \langle x_i \rangle \subseteq H$. Возьмём $x \in \sum_{i \in I} \langle x_i \rangle$, тогда $$ x = k_{i_1} x_{i_1} + k_{i_2} x_{i_2} + \ldots + k_{i_l} x_{i_l}, $$ где $k_{i_j} \in \mathbb{Z}$, $i_1, i_2, \ldots, i_l \in I$, $l < \infty$ (так как сумма прямая). Тогда, в частности:
\begin{multline*}
x = \sgn (k_{i_1}) \underbrace{(1 + \ldots + 1)}_{k_{i_1} \text{раз}} x_{i_1} + \sgn (k_{i_2}) \underbrace{(1 + \ldots + 1)}_{k_{i_2} \text{раз}} x_{i_2} + \ldots \\
\ldots + \sgn (k_{i_l}) \underbrace{(1 + \ldots + 1)}_{k_{i_l} \text{раз}} x_{i_l}.
\end{multline*}
Если раскрыть все скобки, то $x$ будет представим в виде: $$ x = \delta_1 a_1 + \delta_2 a_2 + \ldots + \delta_m a_m, $$ где $\delta_i = \pm 1$, $a_i \in \{x_{i_1}, \ldots, x_{i_l} \}, m = k_1 + k_2 + \ldots + k_l$. Следовательно, $x$ раскладывается по множеству порождающих $x_i$, и $x \in H$.
Остаётся доказать, что $ \sum_{i \in I} \langle x_i \rangle $ -- прямая сумма. Возьмём $x \in \sum_{i \in I} \langle x_i \rangle $, тогда: $$ x = k_{i_1} x_{i_1} + k_{i_2} x_{i_2} + \ldots + k_{i_l} x_{i_l}, $$ где $i_1, \ldots, i_l \in I$, $k_{i_j} \in \mathbb{Z}$. Умножим обе части на $p$: $$ px = k_{i_1} p x_{i_1} + k_{i_2} p x_{i_2} + \ldots + k_{i_l} p x_{i_l}. $$ Так как каждое $x_{i_j}$ является решением уравнения $p x_{i_j} = a_{i_j}$ (по условию), то: $$ pG \ni px = k_{i_1} a_{i_1} + k_{i_2} a_{i_2} + \ldots + k_{i_l} a_{i_l} \in \sum_{i \in I} \langle a_i \rangle. $$ Так как из условия мы знаем, что $ pG = \sum_{i \in I} \langle a_i \rangle $ -- прямая сумма, то $ \sum_{i \in I} \langle x_i \rangle $ -- тоже будет являться прямой суммой. Что и требовалось доказать.
\end{proof}
\section{Теоремы Силова}
\subsection*{Сопряжённые элементы, нормальные подгруппы}
Говорят, что элемент группы $a$ \textit{сопряжён} с элементом $b$ посредством элемента $x$, если $$ a = x^{-1} b x. $$ Часто используют степенные обозначения: $$ x^{-1} b x = b^x. $$
\begin{lemma}
$$ (ab)^x = a^x b^x, \, \, (a^x)^y = a^{xy}. $$
\end{lemma}
\begin{proof}
$$ (ab)^x = x^{-1}abx = x^{-1}a x x^{-1} b x = a^x b^x, $$
$$ (a^x)^y = y^{-1} a^x y = y^{-1} x^{-1} a x y = a^{xy}. $$
\end{proof}
Если $A, B$ -- два подмножества группы, то обозначают $$ A^B = \{ a^b \mid a\in A, b \in B \}. $$
\begin{lemma}
Подгруппа $H$ группы $G$ тогда и только тогда нормальна в $G$, если $$ H^G \subseteq H. $$
\end{lemma}
\begin{proof}
\textit{Необходимость}. Пусть $H$ -- нормальная подгруппа в $G$. Тогда рассмотрим множество $$ H^G = \{ h^g \mid h \in H, g \in G \} = \{ g^{-1} h g \mid h \in H, g \in G \}. $$ По определению нормальной подгруппы для всякого $g \in G$ выполняется $ gH=Hg $, что равносильно тому, что $g^{-1}Hg = H$. А это означает, что для всякого $h \in H$ $$g^{-1}hg \in H. $$ С учётом этого получаем, что каждый элемент из $H^G$ лежит в $H$, а значит, $H^G \subseteq H$.
\textit{Достаточность}. Пусть $H$ -- подгруппа в $G$ и выполняется $H^G \subseteq H$. Это означает, что для любых $h \in H$, $g \in G$ существует $h' \in H$ такое, что
\begin{equation} \label{eq_1}
g^{-1} h g = h'.
\end{equation}
С одной стороны, умножая (\ref{eq_1}) на $g$ слева получаем: $$ hg = g h', $$ откуда следует, что
\begin{equation} \label{eq_2}
Hg \subseteq gH.
\end{equation}
С другой стороны, умножая (\ref{eq_1}) на $g^{-1}$ справа мы получим: $$ g^{-1} h = h' g^{-1}, $$ а следовательно, $g^{-1} H \subseteq H g^{-1}$. Так как $g^{-1} \in G$, то это равносильно $$ xH \subseteq Hx, $$ для всякого $x \in G$. Учитывая это, а также (\ref{eq_2}) заключаем, что $xH = Hx$ для любого $x \in G$, что и является критерием нормальности группы $H$.
\end{proof}
\begin{lemma}
Отображение группы $G$ на себя по правилу $$ a \mapsto a^x $$ (при фиксированном $x \in G$) является изоморфизмом.
\end{lemma}
\begin{proof}
Обозначим данное в условии отображение группы $G$ на себя как $ \varphi_x: G \rightarrow G $, где $x \in G$. Сюръективность по условию, выполнена, а значит, нужно только проверить инъективность. Пусть $a, b \in G$ и $$\varphi_x (a) = \varphi_x(b).$$ Тогда $$ a^x = b^x \Leftrightarrow x^{-1} a x = x^{-1} b x.$$ Умножая на $x$ слева и на $x^{-1}$ справа получаем, что $a = b$. Следовательно, $\varphi_x$ -- изоморфизм для любого $x \in G$, что и требовалось доказать.
\end{proof}
\begin{lemma} \label{gachimuchi}
Пусть $G$ -- группа и $a, b \in G$. Положим $a \sim b$, если $a$ и $b$ сопряжены в $G$. Тогда $\sim$ -- отношение эквивалентности.
\end{lemma}
\begin{proof}
Сопряжённость элементов $a$ и $b$ в $G$ означает, что существует такой $x \in G$ что $a = b^x$. Проверим, будет ли являться это отношение отношением эквивалентности.
\textit{Рефлексивность}. $$ a = a^x = x^{-1} a x. $$ Очевидно, это будет выполняться при $x = e$, где $e$ -- единица группы $G$.
\textit{Симметричность}. Пусть $a \sim b$. Это означает, что $$ a = b^x \Rightarrow a = x^{-1} b x. $$ Умножив это уравнение на $x$ слева и на $x^{-1}$ справа получаем: $$ x a x^{-1} = b \Rightarrow b = a^{-x}.$$ Таким образом получаем, что $b \sim a$.
\textit{Транзитивность}. Пусть $a \sim b$ и $b \sim c$. Это означает, что $$a = x^{-1} b x \text{ и } b = y^{-1} c y.$$ Подставляя второе уравнение в первое получаем: $$ a = x^{-1} y^{-1} c y x \Rightarrow a = c^{yx}. $$ Следовательно, $a \sim c$.
\end{proof}
С учётом доказанного выше получаем, что $G$ разбивается на непересекающиеся классы сопряжённых элементов $a^G$.
Подмножество $M^x$ называется \textit{сопряжённым} с подмножеством $M$ в группе $G$ при некотором $x \in G$. Нетрудно заметить, что $| M^x | = |M|$, а между собой эти множества могут как пересекаться, так и нет.
В отличие от смежных классов классы сопряжённых элементов не всегда равномощны. При вычислении их мощностей решающую роль играет понятие нормализатора. Пусть $M$ -- подмножество, $H$ -- подгруппа группы $G$. \textit{Нормализатором} множества $M$ в подгруппе $H$ называется множество $$ N_H(M) = \{ h \mid h \in H, M^h = M \}, $$ которое, как легко проверить, является подгруппой в $H$. Если не указано, в какой подгруппе $H$ берётся нормализатор, то это означает, что он берётся во всей группе $G$.
\begin{lemma}
Если $M$ -- подмножество, $H$ -- подгруппа группы $G$, то нормализатор $N_H(M)$ является подгруппой группы $H$:
\[
N_H(M) \leqslant H.
\]
\end{lemma}
\begin{proof}
Пусть $a, b \in N_H(M)$. Тогда, по определению нормализатора, $a, b \in H$ и $$ M^a = M \text{ и } M^b = M. $$ Это означает, что $$ a^{-1} M a = M, \ b^{-1} M b = M. $$ Подставляя первое уравнение во второе получаем: $$ b^{-1} a^{-1} M a b = (ab)^{-1} M (ab) = M, $$ откуда следует, что $M^{ab} = M$. Так как $ab \in H$ (так как $H$ -- подгруппа), то получаем, что $ ab \in N_H(M)$.
Теперь пусть $a \in N_H(M)$. Тогда $a \in H$ и $M^a = M$. Это означает, что $$ a^{-1} M a = M. $$ Умножим это равенство слева на $a$, а справа на $a^{-1}$: $$ M = a M a^{-1} = (a^{-1})^{-1} M a^{-1}. $$ Отсюда следует, что $M^{a^{-1}} = M$. Так как $a^{-1} \in H$ (так как $H$ -- подгруппа), то $a^{-1} \in N_H(M)$.
Таким образом получили, что $N_H(M) \leqslant H$ -- что и требовалось доказать.
\end{proof}
\begin{lemma}
Пусть $G$ -- группа. Подгруппа $H$ нормальна в $G$ тогда и только тогда, когда её нормализатор совпадает со всей группой: $$ N_G (H) = G. $$
\end{lemma}
\begin{proof}
Пусть $H \trianglelefteq G$. Построим нормализатор подгруппы $H$:
\[ \label{eq} \tag{$\ast$}
N_G(H) = \{ g \in G \mid H^g = H \}.
\]
Таким образом, нам нужно показать, что $N_G(H) = G$. Включение $N_G (H) \subseteq G$ очевидно.
Пусть $g \in G$. Так как $H$ -- нормальная, то $g^{-1} H g = H$. Но, именно такие элементы и составляют нормализатор \eqref{eq}, поэтому $g \in N_G(H) \Rightarrow G \subseteq N_G(H)$ и $N_G(H) = G$.
Обратно, пусть $N_G(H) = G$. Тогда, по определению, $G$ состоит из элементов вида \eqref{eq}. То есть, для каждого $g \in G$ выполняется $ g^{-1} H g = H $, что и является критерием нормальности подгруппы $H$.
\end{proof}
Пусть $M$ -- подмножество, $H$ -- подгруппа группы $G$. Мы назвали нормализатором $M$ в $H$ совокупность тех элементов из $H$, которые перестановочны с множеством $M$ в целом. Можно рассмотреть также множество тех элементов из $H$, которые перестановочны с $M$ поэлементно, т.е.
\[
C_H(M) = \{ h \in H \mid m^h = m \text{ для всех } m \in M \}.
\]
Это множество называется \textit{централизатором} множества $M$ в $H$ и является, как мы сейчас увидим, нормальной подгруппой нормализатора $N_H(M)$. Если не указано, в какой подгруппе $H$ берётся централизатор, то это означает, что он берётся во всей группе $G$.
\begin{lemma} \label{vweqwqw}
Пусть $M$ -- подмножество, $H$ -- подгруппа группы $G$, тогда $$ C_H(M) \trianglelefteq N_H(M). $$
\end{lemma}
\begin{proof}
Сначала убедимся, что $C_H(M)$ -- подгруппа в $N_H(M)$. То, что $C_H(M) \subseteq N_H(M)$ очевидно. Проверим, что это группа. Пусть $a, b \in C_H(M)$. Тогда для любого $m \in M$ выполняется, что $$ m^a = m \text{ и } m^b = m. $$ Или, что то же самое: $$ a^{-1} m a = m, \ b^{-1} m b = m. $$ Подставим первое равенство в левую часть второго: $$ b^{-1} a^{-1} m a b = m. $$ Откуда следует, что $m^{ab} = m$. Так как $a,b \in H$ и $m^{ab} = m$ получаем, что $ab \in C_H(M)$.
Теперь пусть $a \in C_H(M)$. Так как $m^a = m$, то $$ a^{-1} m a = m. $$ Умножив это равенство слева на $a$ и справа на $a^{-1}$ получаем: $$ m = a m a^{-1}, $$ откуда следует, что $m^{a^{-1}} = m$. С учётом того, что $a^{-1} \in H$ получаем, что $a^{-1} \in C_H(M)$. Таким образом мы показали, что $C_H(M)$ -- подгруппа группы $N_H(M)$.
Теперь покажем, что $C_H(M)$ является нормальной подгруппой группы $N_H(M)$, то есть для каждого $g \in N_H(M)$ должно выполняться $$ g^{-1} C_H(M) g \subseteq C_H(M). $$ Пусть $x \in g^{-1} C_H(M) g \Rightarrow x = g^{-1} h g$, где $h \in H$ такой, что $m^h = m$ для всякого $m \in M$. Тогда
\[
m^x = m^{g^{-1} h g} = (g^{-1} h g)^{-1} m (g^{-1} h g) = g^{-1} h^{-1} \underbrace{g m g^{-1}}_{m^{g^{-1}}} h g = g^{-1} (m^{g^{-1}})^h g.
\]
Так как $g^{-1}\in N_H(M)$, то $m^{g^{-1}} \in M$. А раз $m^h = h$ для всех $m \in M$, то $(m^{g^{-1}})^h = m^{g^{-1}}$:
$$
g^{-1} (m^{g^{-1}})^h g = g^{-1} m^{g^{-1}} g = g^{-1} g m g^{-1} g = m.
$$
Таким образом мы получили, что $m^x = m$ для всякого $x \in g^{-1} C_H(M) g$. Учитывая это, а также то, что $x \in H$ (так как $x = g^{-1} h g$, где $g, g^{-1}, h \in H$) получаем, что $x \in C_H(M)$. Следовательно, подгруппа $C_H(M)$ нормальна в $N_H(M)$ -- что и требовалось доказать.
\end{proof}
Централизатор всей группы называется её \textit{центром} и обозначается $Z(G) = C_G(G)$. Так как $$ C_G(G) = \{ z \in G \mid g^{z} = g \text{ для всех } g \in G \}, $$ то рассмотрим $$ g^z = g \Rightarrow z^{-1} g z = g. $$ Умножим слева на $z$: $$ gz = zg. $$ То есть центр группы -- это множество таких элементов группы, которые коммутируют со всеми остальными её элементами. Таким образом можно считать, что $$ Z(G) = \{ z \in G \mid zg = gz \text{ для каждого } g \in G \}. $$ Группа тогда и только тогда абелева, когда она совпадает со своим центром. Единица всегда лежит в центре. Если других центральных элементов группа не содержит, то она называется \textit{группой с тривиальным центром} или \textit{группой без центра}
\begin{lemma}
Пусть $G$ -- группа, тогда $$ Z(G) \trianglelefteq G. $$
\end{lemma}
\begin{proof}
Проверим, что $Z(G)$ -- подгруппа. То, что $Z(G) \subseteq G$ очевидно. Пусть $a, b \in Z(G)$. Тогда $$ag = ga \text{ и } bg = gb$$ для любого $g \in G$. Умножим первое равенство справа на $b$: $$ agb = gab. $$ Теперь подставим второе равенство в левую часть последнего: $$ (ab)g = g(ab) \Rightarrow ab \in Z(G). $$
Теперь пусть $a \in Z(G)$ и покажем, что $a^{-1} \in Z(G)$. Для каждого $g \in G$ имеем: $$ ag = ga. $$ Умножим слева и справа на $a^{-1}$: $$ a^{-1} (ag) a^{-1} = a^{-1} (ga) a^{-1} \Rightarrow g a^{-1} = a^{-1} g. $$ Таким образом $a^{-1} \in Z(G)$.
Теперь покажем, что $Z(G)$ -- нормальная, а именно покажем, что $ g^{-1} Z(G) g \subseteq Z(G) $. Действительно, пусть $x \in g^{-1} Z(G) g \Rightarrow x = g^{-1} z g$ для некоторого $z \in Z(G)$. Но, так как $z$ коммутирует со всеми элементами группы, получаем: $$ x = g^{-1} z g = z g^{-1} g = z. $$ Раз $z \in Z(G)$, то и $x \in Z(G)$. Таким образом, $ g^{-1} Z(G) g \subseteq Z(G) $, а следовательно $Z(G)$ -- нормальная подгруппа в $G$, что и требовалось доказать.
\end{proof}
\begin{lemma}
Если факторгруппа $G/Z(G)$ циклическая, то $G$ является абелевой.
\end{lemma}
\begin{proof}
Рассмотрим естественный гомоморфизм $$ \varphi: G \rightarrow \faktor{G}{Z(G)}. $$ Так как любая циклическая группа абелева, то $$ \varphi(x) \varphi(y) = \varphi(y) \varphi(x), $$ где $x,y \in G$. По определению гомоморфизма $\varphi(xy) = \varphi(x) \varphi(y)$. С учётом этого получаем $$ xy = yx. $$ Что и требовалось доказать.
\end{proof}
\begin{lemma}
Пусть $G$ -- группа, тогда центр является пересечением централизаторов всех элементов группы $G$: $$ Z(G) = \bigcap_{g \in G} C_G(g). $$
\end{lemma}
\begin{proof}
Пусть $x \in \bigcap_{g \in G} C_G(g)$. Тогда, по определению централизатора: $$ x\in C_G(g) = \{ z \mid z \in G, g^z = g \} $$ для каждого $g \in G$. То есть для $x$ выполняется, что $g^x = g$. Но это означает, по определению: $$ x^{-1} g x = g \Rightarrow gx = xg. $$ Но именно такие $x$ и содержит центр группы, поэтому $x \in Z(G)$.
Теперь пусть $x \in Z(G)$. Это означает, что $xg = gx$ для любого $g \in G$. Умножим слева на $x^{-1}$: $$ g = x^{-1} g x \Rightarrow g^x = g. $$ Отсюда видно, что $x \in C_G(g)$. Но, так как это выполнено для каждого $g \in G$, то отсюда следует, что $x \in \bigcap_{g \in G} C_G(g)$.
Таким образом получили, что $ Z(G) = \bigcap_{g \in G} C_G(g) $ -- что и требовалось доказать.
\end{proof}
\subsection*{Действие группы на множестве}
Говорят, что группа $G$ \textit{действует на множестве} $M$, если для каждого элемента $m \in M$ и $g \in G$ определён элемент $mg \in M$, причём $$ (m g_1) g_2 = m(g_1 g_2) \text{ и } me = m, $$ для всех $m \in M$, $g_1, g_2 \in G$, $e$ -- единица группы $G$. Множество $$ mG = \{ mg \mid g \in G \} $$ называется \textit{орбитой} элемента $m$.
\begin{lemma}
Пусть группа $G$ действует на множестве $M$. Если $m_1, m_2 \in M$ и $m_1 G \cap m_2 G \neq \emptyset$, то $$ m_1 G = m_2 G. $$
\end{lemma}
\begin{proof}
Если это так, то существуют такие $g_1, g_2 \in G$, что $$ m_1 g_1 = m_2 g_2. $$
Умножим справа на $g_2^{-1} h$, где $h$ -- произвольный из $G$: $$ m_1 g_1 g_2^{-1} h = m_2 h. $$ Заметив, что $g_1 g_2^{-1} h \in G$ и что $h \in G$, получаем, что: $$ m_1 G = m_2 G. $$ Что и требовалось доказать.
\end{proof}
Отсюда заключаем, что орбиты двух элементов либо совпадают, либо не пересекаются.
Пусть группа $G$ действует на множестве $M$. \textit{Стабилизатором} элемента $m \in M$ называется множество $$ G_m = \{ g \mid g \in G, mg = m \}. $$
\begin{lemma}
Пусть группа $G$ действует на множестве $M$, тогда для любого $m \in M$ множество $G_m$ является подгруппой в $G$.
\end{lemma}
\begin{proof}
Пусть $m \in M$ и $a, b \in G_m$. Это значит, что $ma = m$ и $mb = m$. Подставим первое уравнение в левую часть второго: $$ (ma)b = m \Rightarrow m(ab) = m \Rightarrow ab \in G_m. $$
Теперь пусть $a \in G_m$. Следовательно, $ma = m$. Умножая справа на $a^{-1}$ получаем: $m = m a^{-1} \Rightarrow a^{-1} \in G_m.$
Таким образом, с учётом того, что $G_m \subseteq G$ получаем, что $G_m$ -- подгруппа в $G$, что и требовалось доказать.
\end{proof}
\begin{lemma} \label{zfdsa}
Пусть группа $G$ действует на множестве $M$, $m \in M$. Элементы $x, y \in G$ лежат в одном смежном классе по $G_m$ тогда и только тогда, когда $mx = my$.
\end{lemma}
\begin{proof}
\textit{Необходимость}. Пусть $x, y$ лежать в одном смежном классе по подгруппе $G_m$. Это означает, что существует такой $h \in G$, что $x, y \in G_m h$. Значит, существуют такие $g_1, g_2 \in G_m$, что $x = g_1 h$, $y = g_2 h$ и $m g_1 = m$, $m g_2 = m$ для любого $m \in M$.
Действуя элементом $m$ на $x$ и $y$ получаем:
\begin{gather*}
mx = mg_1 h, \ my = mg_2 h \Rightarrow \\
\Rightarrow mx = mh, \ my = mh.
\end{gather*}
Следовательно, $mx = my$.
\textit{Достаточность}. Пусть $mx = my$, $m \in M$. Возьмём подгруппу $G_m$ и рассмотрим правые смежные классы $G_m x$ и $G_m y$. Нужно показать, что $x$ и $y$ лежат в одном смежном классе, а так как смежные классы либо не пересекаются, либо совпадают, то достаточно доказать, что $G_m x = G_m y$.
Докажем, что $G_m x \subseteq G_m y$. Пусть $g x \in G_m x$, где $g \in G_m$ такой, что $m g = m$, тогда: $$ g x = g x y^{-1} y. $$ Проверим, будет ли элемент $g x y^{-1}$ лежать в $G_m$, для этого подействуем на него элементом $m$: $$ m g x y^{-1} = m x y^{-1} = m y y^{-1} = m. $$ Таким образом, $g x y^{-1} \in G_m$, а значит $$ g x = \underbrace{g x y^{-1}}_{\in G_m} y \in G_m y. $$
Случай $G_m y \subseteq G_m x$ разбирается аналогично. Получаем, что $G_m x = G_m y$, а значит, $x$ и $y$ лежат в одном смежном классе -- что и требовалось доказать.
\end{proof}
\begin{lemma}
Пусть группа $G$ действует на множестве $M$, $m \in M$. Тогда отображение
\begin{gather*}
\varphi: \faktor{G}{G_m} \rightarrow mG, \\
\varphi(G_m x) = m x, \ x \in G
\end{gather*}
является биекцией.
\end{lemma}
\begin{proof}
\textit{Инъективность}. Пусть $\varphi(G_m x) = \varphi(G_m y), \ x, y \in G$. Тогда $mx = my$. По лемме \ref{zfdsa} это означает, что $x, y$ лежат в одном смежном классе, а значит, $G_m x = G_m y$.
\textit{Сюръективность}. Какой бы элемент из $mG$ мы не взяли, скажем $mx$, $x \in G$, его прообразом будет являться смежный класс $G_m x$. Следовательно, отображение $\varphi$ сюръективно.
Таким образом мы получили, что отображение $\varphi$ является биекцией -- что и требовалось доказать.
\end{proof}
\begin{corollary}
Если $G$ -- группа, действующая на множестве $M$ и $m \in M$, то порядок (или длина) орбиты $mG$ равна индексу стабилизатора элемента $m$: $$ |mG| = |G:G_m|. $$
\end{corollary}
Следующие утверждения сформулированы на основе доказательства теорем Силова (\cite{kargapolov}, с. 99).
\begin{lemma} \label{txdd}
Пусть $G$ -- конечная группа, $|G| = n$ и $ \mathfrak{M} $ -- множество всех подмножеств мощности $k < n$ из $G$. Тогда для всякого $M \in \mathfrak{M}$ и $g \in G$ верно, что $$ Mg \in \mathfrak{M}. $$
\end{lemma}
\begin{proof}
Переформулируем условие так: нужно показать, что $|Mg| = |M|$. Очевидно, что $|Mg| \leqslant |M|$. То есть, мощность множества $Mg$ не может возрасти относительно $M$. Предположим, что $|Mg| < |M|$. Тогда будут существовать $m_1, m_2 \in M$, $m_1 \neq m_2$ такие, что $$ m_1 g = m_2 g. $$ Умножив справа на $g^{-1}$ получим: $$ m_1 = m_2. $$ Получили противоречие, следовательно, $|Mg| = |M|$ и $Mg \in \mathfrak{M}$.
\end{proof}
\begin{lemma} \label{zpre}
Пусть $G$ -- конечная группа, $|G| = n$ и $ \mathfrak{M} $ -- множество всех подмножеств мощности $k < n$ из $G$. Пусть $\{ M_1, \dots , M_s \}$ -- орбита некоторого $M \in \mathfrak{M}$. Положим $$ G_i = \{ g \mid g \in G, M_1 g = M_i \}, $$ где $1 \leqslant i \leqslant s $. Тогда $G_1$ -- подгруппа в $G$, а $G_i$ -- в точности правые смежные классы группы $G$ по подгруппе $G_1$.
\end{lemma}
\begin{proof}
Покажем, что $G_1$ -- подгруппа в $G$. Пусть $a, b \in G_1$. Тогда $M_1 a = M_1$ и $M_1 b = M_1$. Подставив первое уравнение во второе получим: $$ (M_1 a) b = M_1 \Rightarrow M_1(ab) = M_1 \Rightarrow ab \in G_1. $$
Теперь покажем, что $a^{-1} \in G_1$. Пусть $a \in G_1$, тогда $$ M_1 a = M_1 \Leftrightarrow M_1 a a^{-1} = M_1 a^{-1} \Leftrightarrow M_1 = M_1 a^{-1} \Rightarrow a^{-1} \in G. $$
Осталось показать, что $G_i$ -- в точности правые смежные классы группы $G$ по подгруппе $G_1$. Для начала заметим, что $$ G = G_1 \cup G_2 \cup \ldots \cup G_s. $$ Действительно, возьмём произвольный $g \in G$. Тогда будет существовать некоторый номер $i$ такой, что $M_1 g = M_i$ (так как $M_1$ -- элемент орбиты $MG$). Отсюда следует, что $g \in G_i$. То есть каждый $g \in G$ принадлежит какому-то $G_i$. Тогда, с учётом этого нам нужно показать, что $G_1 g_i = G_i$, где $\ g_i \in G_i$.
Возьмём произвольный $g_i \in G_i$ и рассмотрим правый смежный класс $G_1 g_i$. Мы знаем, что $M_1 g_1 = M_1$ и $M_1 g_i = M_i$, при $g_1 \in G_1$. Тогда $$ M_1 g_1 g_i = M_1 g_i \Rightarrow M_1 g_1 g_i = M_i, $$ а это означает, что $g_1 g_i \in G_i \Rightarrow G_1 g_i \subseteq G_i$.
Осталось показать, что $G_i \subseteq G_1 g_i$. Пусть $x \in G_i$. Тогда $M_1 x = M_i$. Учитывая, что $M_1 g_i = M_i$ получаем, что $$ M_1 x = M_1 g_i. $$ Умножим на $g_i^{-1}$ справа: $$ M_1 x g_i^{-1} = M_1, $$ откуда следует, что $$x g_i^{-1} \in G_1 \Rightarrow x g_i^{-1} g_i \in G_1 g_i \Rightarrow x \in G_1 g_i. $$ Таким образом получили, что $G_1 g_i = G_i$ для каждого $i \in \{ 1, \ldots, s\} $ -- что и требовалось доказать.
\end{proof}
\begin{lemma} \label{qxbn}
Пусть $H$ -- подгруппа в $G$. Тогда $H^g$ -- подгруппа для любого $g \in G$.
\end{lemma}
\begin{proof}
Пусть $g \in G$ и $a, b \in H^g = g^{-1} H g $. Тогда существуют такие $h_1, h_2 \in H$ что $$ a = g^{-1} h_1 g, \ b = g^{-1} h_2 g. $$ Тогда $$ ab = g^{-1} h_1 g g^{-1} h_2 g = g^{-1} \underbrace{h_1 h_2}_{\in H} g \in H^g. $$ Теперь пусть $a \in H^g$. Тогда $a = g^{-1} h g$ для некоторого $h \in H$. Тогда $$ a^{-1} = (g^{-1} h g)^{-1} = g^{-1} \underbrace{h^{-1}}_{\in H} g \in H^g. $$
Таким образом $H^g$ -- подгруппа группы $G$, что и требовалось доказать.
\end{proof}
\begin{lemma} \label{mtqr}
Пусть $H$ -- подгруппа группы $G$. Тогда $H$ -- нормальная подгруппа в $N_G(H)$:
\[
H \trianglelefteq N_G(H).
\]
\end{lemma}
\begin{proof}
Сначала покажем, что $H$ -- подгруппа в $N_G(H)$. Для этого достаточно убедиться, что $H \subseteq N_G(H)$. Действительно, так как $$ N_G(H) = \{ g \mid g \in G, H^g = H \}, $$ то для любого $h \in H$ верно, что $H^h = h^{-1}Hh = H$, так как $H$ -- подгруппа. А значит, $h \in N_G(H) \Rightarrow H \subseteq N_G(H)$.
Теперь убедимся, что $H \trianglelefteq N_G(H) $. Для этого проверим, что $g^{-1} H g \subseteq H$ для всякого $g \in N_G(H)$. Пусть $x \in g^{-1} H g$. Тогда существует такой $h \in H$, что $$ x = g^{-1} h g. $$ Из определения множества $N_G(H)$ следует что $H^g = H \Rightarrow g^{-1} H g = H \Rightarrow Hg = gH$. А это означает, что существует такой $h' \in H$, что $$ x = g^{-1} g h' = h' \in H. $$
То есть мы получили, что если $x \in g^{-1} H g$, то $x \in H$. Следовательно, $H$ -- нормальная подгруппа в $N_G(H)$, что и требовалось доказать.
\end{proof}
\begin{lemma} \label{rafik}
Пусть группа $G$ действует на себе посредством сопряжений. Элемент $g \in G$ лежит в центре $Z(G)$ тогда и только тогда, когда его класс сопряжённости состоит из единственного элемента: $$ x^G = \{ x \}. $$
\end{lemma}
\begin{proof}
\textit{Необходимость}. Пусть $x \in Z(G)$, тогда класс сопряжённости элемента $x$: $$ x^G = \{ x^g \mid g \in G \} = \{ g^{-1} x g \mid g \in G \}.$$ Так как для любого $g \in G$ верно, что $xg = gx$, то получаем $$ x^G = \{ g^{-1} g x \mid g \in G \} = \{ x \mid g \in G \} = \{ x \}. $$
\textit{Достаточность}. Пусть класс сопряжённости элемента $x$ состоит из одного элемента: $x^G = \{ x \}$. Это означает, что для всех $g \in G$ верно, что $g^{-1} x g = x$. Но тогда отсюда следует, что $xg = gx$, а это и означает, что $x \in Z(G)$.
\end{proof}
\subsection{Доказательство теорем Силова}
Пусть $G$ -- конечная группа, а $p$ -- простое число, которое делит порядок $G$. Подгруппа порядка $p^\alpha$ называется \textit{$p$-подгруппой}.
Выделим из порядка группы $G$ максимальную степень $p$, то есть $|G| = p^r l$, где $l$ не делится на $p$. Тогда \textit{силовской $p$-подгруппой} называется подгруппа группы $G$, имеющая порядок $p^r.$
\begin{theorem}[О существовании силовских подгрупп]
Пусть $G$ -- конечная группа, $p$ -- простое число. Тогда для каждой степени $p^\alpha$, делящей порядок $G$, в $G$ существует подгруппа порядка $p^\alpha$.
\end{theorem}
\begin{proof}
Пусть $|G| = p^r l$, $(p, l) = 1$. Возьмём $\mathfrak{M}$ -- множество всех подмножеств мощности $p^\alpha$ из $G$. Тогда их количество будет равно:
\begin{multline*}
|\mathfrak{M}| =
\begin{pmatrix}
p^r l \\
p^\alpha
\end{pmatrix}
= \frac{(p^r l)!}{p^\alpha! \cdot (p^r l - p^\alpha)!} = \\
= \frac{p^r l \cdot (p^r l - 1)!}{p^\alpha \cdot (p^\alpha - 1)! \cdot (p^r l - p^\alpha)!} = \\
= p^{r - \alpha} l \frac{(p^r l - 1) \cdot (p^r l - 2) \cdot \ldots \cdot (p^r l - (p^\alpha - 1)) \cdot (p^r l - p^\alpha)!}{(p^\alpha - 1)! \cdot (p^r l - p^\alpha)!} = \\
= p^{r - \alpha} l \frac{(p^r l - 1) \cdot (p^r l - 2) \cdot \ldots \cdot (p^r l - (p^\alpha - 1))}{(p^\alpha - 1)!} = \\
= p^{r - \alpha} l \prod_{j = 1}^{p^\alpha - 1} \frac{p^r l - j}{j}.
\end{multline*}
Получается, что наибольшая степень $p$, делящая $|\mathfrak{M}|$, -- это $ p^{r - \alpha} $. Если $M \in \mathfrak{M}$, $g \in G$, то, очевидно, $Mg = \{ mg \mid m \in M \} \in \mathfrak{M}$ (см. лемму \ref{txdd}), так что $G$ действует на $\mathfrak{M}$ правыми сдвигами. Теперь пусть $\{M_1, \ldots , M_s\}$ -- та орбита, мощность $s$ которой не делится
\footnote{Орбита с таким порядком всегда будет существовать. Действительно -- пусть такой орбиты не существует, тогда порядки всех орбит будут делить $p^{r - \alpha + 1}$. Так как мощность множества $\mathfrak{M}$ равна сумме мощностей всех орбит, то вынося $p^{r - \alpha + 1}$ за скобки мы получаем, что $p^{r - \alpha + 1}$ делит $|\mathfrak{M}|$ -- противоречие. } на $p^{r - \alpha + 1}$. Пусть, далее, $$ G_i = \{ g \mid g \in G, \ M_1 g = M_i \}, \ 1 \leqslant i \leqslant s. $$
Непосредственно проверяется, что $G_1$ -- подгруппа в $G$, а $G_i$ -- правые смежные классы $G$ по $G_1$ (см. лемму \ref{zpre}). Покажем, что подгруппа $G_1$ имеет требуемый порядок $p^\alpha$. Обозначим пока $|G_1| = t$, тогда по теореме Лагранжа $$ s \cdot t = |G|. $$ Очевидно, что будет существовать наибольшая степень $p$, делящая $s$, -- обозначим её как $p^{r - \alpha -\varepsilon}$, где $ 0 \leqslant \varepsilon \leqslant r - \alpha$, тогда: $$ \underbrace{s}_{p^{r - \alpha -\varepsilon} s'} \cdot
\underbrace{t}_{p^{\alpha + \varepsilon} t'} = \underbrace{|G|}_{p^r l}, $$ то есть получили, что $p^{\alpha + \varepsilon}$ делит $t$, в частности, $t \geqslant p^\alpha$. С другой стороны, если $x \in M$, то, очевидно, $xG_1 \subseteq M_1 $, поэтому $|G_1| \leqslant |M_1|$ или $t \leqslant p^\alpha$. Окончательно $t = p^\alpha$.
\end{proof}
\begin{theorem}[О вложении силовских подгрупп]
Если $p^{\alpha + 1}$ делит порядок $|G|$, то каждая подгруппа порядка $p^\alpha$ из $G$ вложена в некоторую подгруппу порядка $p^{\alpha + 1}$ из $G$.
\end{theorem}
\begin{proof}
Пусть $p^{\alpha + 1}$ делит $|G|$, $P$ -- подгруппа порядка $p^\alpha$ из $G$, $\mathfrak{C}$ -- класс подгрупп (лемма \ref{qxbn}), сопряжённых с $P$ элементами из $G$: $$ \mathfrak{C} = \{P^{g_1}, P^{g_2}, \ldots, p^{g_s} \}. $$ Известно, что $$|\mathfrak{C}| = | G : N_G(P) |. $$ Рассмотрим два случая относительно мощности $|\mathfrak{C}|$.
Если $|\mathfrak{C}|$ не делится на $p$, то по теореме Лагранжа $|N_G(P)|$ делится на $p^{\alpha + 1}$: $$ \underbrace{|G|}_{p^{\alpha + 1} m k} = \underbrace{| G : N_G(P) |}_{m} \cdot
\underbrace{|N_G(P)|}_{p^{\alpha + 1} k}, $$ где $(p, m) = 1$. \footnote{При этом $p$ и $k$ не обязательно взаимно простые.}
Так как подгруппа $P$ будет нормальной в $N_G(P)$ (см. лемму \ref{mtqr}), то рассмотрим факторгруппу $\faktor{N_G(P)}{P}$. По теореме Лагранжа: $$ \underbrace{|N_G(P)|}_{p^{\alpha + 1} k} = \underbrace{| \faktor{N_G(P)}{P} |}_{p k} \cdot \underbrace{|P|}_{p^\alpha}. $$ Так как $p$ делит $|\faktor{N_G(P)}{P}|$, то по теореме о существовании силовских подгрупп, в $\faktor{N_G(P)}{P}$ существует подгруппа $\faktor{P^*}{P}$ порядка $p$. Тогда для её прообраза $P^*$ будет выполнено: $$ \underbrace{|P^*|}_{p^{\alpha + 1}} = \underbrace{|\faktor{P^*}{P}|}_{p} \cdot \underbrace{|P|}_{p^\alpha}. $$ Таким образом получили, что подгруппа $P$ порядка $p^\alpha$ является подгруппой группы $P^*$ порядка $p^{\alpha + 1}$ -- что и требовалось доказать.
Пусть теперь $|\mathfrak{C}|$ делится на $p$. Группа $P$ действует на $\mathfrak{C}$ сопряжениями, причём мощности орбит $|P:N_P(P^g)|$ делят $|P|$, так как: $$ \underbrace{|P|}_{p^\alpha} = \underbrace{|P:N_P(P^g)|}_{p^\beta} \cdot \underbrace{|N_P(P^g)|}_{p^{\alpha - \beta}}, $$ где $g \in G$. Значит, мощности орбит имеют вид $p^{\alpha_i}$, $\alpha_i \geqslant 0$. Так как имеется по крайней мере одна одноэлементная орбита $\{P^e\} = \{P\}$, то непременно найдётся и другая одноэлементная орбита $\{Q\}$.
\footnote{Потому что если существует только одна одноэлементная орбита, то тогда сумма порядков всех орбит не могла бы делить $p$, а по условию у нас $|\mathfrak{C}|$ делится на $p$. Например, $1 + p^3 + p^8 + \ldots$ -- не может делить $p$.}
Но это означает, что $P$ нормализует $Q$, то есть: $$ x^{-1} Q x = Q, \text{ для всех } x \in P. $$ Понятно, что отсюда следует, что $xQx^{-1} = Q$ при всех $x \in P$.
Теперь покажем, что $PQ$ является $p$-подгруппой. Возьмём $u,v \in PQ$. Тогда $u = x_1y_1$, $v = x_2, y_2$ при $x_1, x_2 \in P$, $y_1, y_2 \in Q$. Рассмотрим произведение двух элементов множества $PQ$:
\begin{multline*}
u \cdot v = x_1y_1 \cdot x_2 y_2 = \underbrace{x_1 y_1 x_1^{-1}}_{ = y' \in Q} x_1 x_2 y_2 = y' x_1 x_2 y_2 = \\
= (x_1 x_2) \underbrace{(x_1 x_2)^{-1} y' (x_1 x_2)}_{ = y'' \in Q} y_2 = \underbrace{x_1 x_2}_{\in P} \underbrace{y'' y_2}_{\in Q} \in PQ.
\end{multline*}
Теперь пусть $x \in P$, $y \in Q$ и рассмотрим $$ (xy)^{-1} = y^{-1} x^{-1} = x^{-1} \underbrace{x y^{-1} x^{-1}}_{\in Q} \in PQ. $$
Подгруппа $PQ$ будет являться $p$-подгруппой, так как по лемме \ref{efiopia}: $$ |PQ| = \frac{|P| \cdot |Q|}{|P \cap Q|} = \frac{p^\alpha \cdot p^\alpha}{p^\beta}, $$ где $\beta < \alpha$ (так как если $\beta = \alpha$, то $P = Q$). То есть делитель произведения степеней простого числа сам обязан быть степенью того же простого числа. Таким образом, $PQ$ является $p$-подгруппой в $G$.
Теперь применим к $PQ$ тот внутренний автоморфизм группы $G$, который переводит $Q$ в $P$. То есть, так как подгруппы $P$ и $Q$ лежат в одной орбите относительно действия группы $G$, то существует такой $g_0 \in G$, что $$ Q^{g_0} = g_0^{-1} Q g_0 = P. $$
Подействуем элементом $g_0$ на $PQ$: $$ g_0^{-1} PQ g_0 = \underbrace{g_0^{-1} P g_0}_{P'} \underbrace{g_0^{-1} Q g_0}_{P} = P' P. $$ По лемме \ref{qxbn} множество $P'P$ будет подгруппой в $G$, а по по лемме \ref{efiopia} будет являться ещё и $p$-подгруппой: $$ |P'P| = \frac{|P'|\cdot |P|}{|P' \cap P|} = \frac{p^\alpha \cdot p^\alpha}{p^\beta}, $$ где $\beta < \alpha$ (так если $\beta = \alpha$, то $P' = P$). Таким образом, можно считать, что $|P'P| = p^{\alpha + \varepsilon}$, где $0 < \varepsilon \leqslant \alpha$.
Теперь покажем, что $ P \triangleleft P'P $. Действительно, пусть $h = uv \in P'P$, тогда:
\begin{multline*}
h^{-1} P h = (uv)^{-1} P (uv) = v^{-1} \underbrace{u^{-1}}_{\in P'} P \underbrace{u}_{\in P'} v = \\
= v^{-1} (g_0^{-1} \underbrace{x}_{\in P} g_0)^{-1} P (g_0^{-1} x g_0) v = v^{-1} g_0^{-1} x^{-1} \underbrace{g_0 P g_0^{-1}}_{ Q} x g_0 v = \\
= v^{-1} g_0^{-1} \underbrace{x^{-1} Q x}_{ Q} g_0 v = v^{-1} \underbrace{g_0^{-1} Q g_0}_{ P} v = v^{-1} P v \in P.
\end{multline*}
Следовательно, $P$ -- собственная нормальная подгруппа в $P'P$.
По теореме Лагранжа для $P'P$: $$ \underbrace{|P'P|}_{p^{\alpha + \varepsilon}} = \underbrace{|\faktor{P'P}{P}|}_{p \cdot p^{\varepsilon - 1}} \cdot \underbrace{|P|}_{p^\alpha}. $$ Так как порядок факторгруппы $\faktor{P'P}{P}$ делит $p$, то в ней существует силовская подгруппа порядка $p$ -- обозначим её $\faktor{P^*}{P}$. Тогда, для её прообраза $P^*$ будет верно: $$ |P^*| = \underbrace{|\faktor{P^*}{P}|}_{p} \cdot \underbrace{|P|}_{p^\alpha} = p^{\alpha + 1}. $$ Таким образом, для заданной подгруппы $P$ порядка $p^\alpha$ мы показали, что она вкладывается (является подгруппой) в группу $P^*$ порядка $p^{\alpha + 1}$ -- что и требовалось доказать.
\end{proof}
\begin{theorem}[О сопряжённости силовских $p$-подгрупп]
Все силовские $p$-подгруппы из $G$ сопряжены в $G$.
\end{theorem}
\begin{proof}
Пусть $P$ -- силовская $p$-подгруппа из $G$, а $\mathfrak{C}$ имеет прежний смысл. Надо доказать, что любая силовская $p$-подгруппа $Q$ из $G$ лежит в $\mathfrak{C}$.
Рассмотрим действие $p$-подгруппы $Q$ сопряжениями на $\mathfrak{C}$. Мощности орбит будут иметь вид $p^{\alpha_i}$, $\alpha_i \geqslant 0$, так как: $$ \underbrace{|Q|}_{p^r} = \underbrace{|Q:N_Q(P^g)|}_{p^{\alpha_i}} \cdot \underbrace{|N_Q(P^g)|}_{p^{r - \alpha_i}}, $$ где $g \in G$.
Так как теперь $|\mathfrak{C}|$ заведомо не делится на $p$: $$ \underbrace{|G|}_{p^r l} = \underbrace{\underbrace{|G: N_G(P)|}_{|\mathfrak{C}|} \cdot |N_G(P):P|}_{l} \cdot \underbrace{|P|}_{p^r}, $$ то существует некоторая одноэлементная орбита $\{ P' \}$, а это означает, что $Q$ нормализует $P'$: $$ y^{-1} P' y = P', \text{ при всех } y \in Q. $$ Тогда $P'Q$ есть подгруппа, так как:
\begin{multline*}
\underbrace{u}_{\in P'Q} \cdot \underbrace{v}_{\in P'Q} = \underbrace{x_1}_{\in P'} \underbrace{y_1}_{\in Q} \cdot \underbrace{x_2}_{\in P'} \underbrace{y_2}_{\in Q} = y_1 \underbrace{y_1^{-1} x_1 y_1}_{ = x' \in P'} x_2 y_2 = \\
= \underbrace{y_1 x' y_1^{-1}}_{ \in P'} \underbrace{y_1 x_2 y_1^{-1}}_{ \in P'} \underbrace{y_1 y_2}_{\in Q} \in P'Q,
\end{multline*}
\[
(\underbrace{x}_{\in P'} \underbrace{y}_{\in Q})^{-1} = \underbrace{y^{-1} x^{-1} y}_{\in P'} \underbrace{y^{-1}}_{\in Q} \in P'Q.
\]
Оценим порядок подгруппы $P'Q$ по лемме \ref{efiopia}: $$ |P'Q| = \frac{|P'| \cdot |Q|}{|P' \cap Q|} = \frac{p^r \cdot p^r}{p^\beta}. $$ Так как пересечение подгрупп $P' \cap Q$ -- подгруппа, и $p^r$ -- максимальная степень числа $p$, делящая $|G|$, то $\beta \leqslant r$. Но случай, когда $\beta < r$ невозможен, так как тогда: $$ |P'Q| = p^{2r - \beta} > p^r, $$ что противоречит максимальности $p^r$. Получается, что $\beta = r$, следовательно $|P' \cap Q| = p^r$, и, учитывая что $|P'| = |Q| = p^r$ получаем, что $P'Q = P' = Q \in \mathfrak{C}$ -- что и требовалось доказать.
\end{proof}
\begin{theorem}[О количестве силовских $p$-подгрупп]
Количество силовских $p$-подгрупп из $G$ сравнимо с 1 по модулю $p$ и делит порядок $G$.
\end{theorem}
\begin{proof}
Пусть $P$ -- силовская $p$-подгруппа и $G$ действует на $P$ сопряжениями: $$ \mathfrak{C} = \{ P^{g_1}, P^{g_2}, \ldots, P^{g_s} \}. $$ По теореме Лагранжа:
\begin{equation} \tag{*} \label{eqq}