.G " H "! |G : H| = s! H G
H t : G
$$ ; H
( G # , ! # t
$D
.G " ! " t
4 : G
4 ,
A " : ,
p E
π E
pd ! # p: πd E : ! # π: ) ! πd# 4
π
7 " I H ≤ G!
G! H!
& G H
4 " J
# G 2
# G
, A q
pqδ! p q E δ E q
" p δ E m !
qm ≡ 1 (mod p)
2 ! E : !
# ! ( ( E : ! #
P E G
pα p E ! α N P Z(G) > α < |G : P |D
H |
min |
xG |
|
|
α < x P |
1 |
| | |
|
|
|
\{ |
} |
|
P E pα p
E ! α > 1 G I |
q = p! |
|
α |
|
˜ |
|
|
" # # |
˜ |
|
! |
|
|G : NG(P )| |
" |
|
|
P |
α |
|
p |
q |
P |
|
|
|
|
|
|
" "
p pq! q E !
A
!
pq! p q E ! A
I G E !
( G = a pα Q! |Q| = qβ ! p q E !
α, β ND
. G ap× Q! a × Φ(Q)
0 Φ(G) = Z(G) = ap × Φ(Q)D
% |Q/Φ(Q)| = qδ! δ E q " pD & G = QD
5 Q = Φ(Q) )
7 |
|
# J J |
4 |
|
# |
! 3 " # G H |
( G ! ! 9 D |
. G E A |
|
" G E p E |
( G G
G
. G p G p pd
G p
0 G p G pd
G p
# G E !
#! 4 : ! p > G p
$ " pd
" p! 4
< # # G H ( G D
. G D
0 G A pq! p q E
) pd!
pd Sp 3 Z
G E ! 4
# . > G .
G E G " #
4 4 # > G .
G E pd!
# p ) G
G E ! #!
4 : ! . > G .
! A ! # !
!
) ! "
" < # π# G H ( G π G/Φ(G)
!
. G E
#
O
$ A! B C E # G
( I A B! A ∩ C B ∩ C
. I A B G! A, B G
3 " # G H
( $ G #! . G #!
0 G
< # # G
H
( . G G! . G E J J
3 " # G H
( G !
. G E J J
G E p E I G
pd! G
G E |
! " |
|
> |
|
G # # # J |
J |
|
|
G E |
π E |
3 " H
( π G G!
. G " " π
! G π E
3 " H
( G π!
.G E " H
π(G) ∩ π = {p}! G " $" "
p a ap G D
π(G) ∩ π = {p, q}! p = q G " π
H! " # # J J
" ) !
! $ !
# 2 # G ! " 4 4
A! B C AC = BC C A, B !
A = B
$ 2 # ! " 4 4
A! B! C AC ∩ BC = (A ∩ B)C
I # G " :
! G
I # !
N E # G
( G/N
, G G/N # #
G
. G/N
G G N
3 " # # G
H
( G G!
!
.G = N a pα ! NG( a ) = a ap Z(G)
) !
" # # $# $
#!
" # # # !
" # # #
! # " #
# # !
# " #
! A # # G "
" #H
( G !
. G = P Q! P E p! |Q| = qβ ! p q E
!
β = 1!
G E 9 Q β E q
" p
" ! # " 4 :
!
# ) # G! # "
: " ! # E !
E #
$ ) G! "
n G G : n
G E ! H < G " : G \ H G ! G 4
G E ! P Sylp(G) Op(G) = 1I
# n := |G : P | (
" p!
n ≡ 1 (mod p2)!
G E A
! #
!
P G
# # # G > P G
P G
# . # # G > P G! G E
J J
G " # $
#
p!
p p > 2
< ! G p # 4 p ] ^Q_`*abc…
! G " # $
# . I .
G J J ! G . 2 # 4 .
" ) ! "
$ #
# # < " !
#
# ) ! "
0 4 : !
% 4 :
$ G E ! # "$
> "$ t G ! |G| < |CG(t)|3 { „aQm*a
A # 4
.$ "$# 4 .$# :
E : : $ # . # : #
G = AB! G E ! A B E 4
(|A|, |B|) = 1 > NG(A) NG(B) "
G ! G = [A, BG]NG(A) = [B, AG] NG(B) 2;
P Sylp(G)! x P ! X := xG P
( 3 Q Sylp(G) ! X ∩ P = X ∩ Q
. 3 Q # ( , "!
# |X ∩ P ∩ Q| ! D = X ∩ P ∩ Q >
NX∩P (D) D! NX∩Q(D) DD |
" x NX∩P (D) \D y |
x, y p# |
NX∩Q(D)\D. |
|
> F: 3 < |
p: x G |
H ( x Op(G)!
. x, xg p " g G
G = AB! G E A, B E 4
p E > Op(A) ∩ Op(B) Op(G)Op(A), Op(B) E p = 3
G E K ≤ G
( I NG(K) = K! H(G) K H(G) E $ G
. G ∩ H(G) Φ(G)
! G = A B = A × B |B| = 3 > ( A E4! G A4D
. A Q8! G SL2(3) A [A, B] = A
" A B E G!
, A4 SL2(3) >
O2(A) = O2(B) A, B A × Z3 B × Z3!
[A, B] = 1
# A B E G! π = {p, q}!
q |
> |
A ∩ B # q# A B! |
[A, B] Op(Z(AB)) |
|
$ T E |
T I # G |
N G > |
|
[N, T ] N ∩ T !
|N | > |T |
t(G) E # #
4 # G
+ > ,
( I t(G) > 1 G ! t(G) E
. I t(G) > 1 G !
G t(G) 4
0 2 # t(G) G = D16
G E τ (G) E # #
|H/HG| H G ( I τ (G) > 1! τ (G) E
. t(G) = p G = P D! P Sylp(G)! D E ! P
! P G
