Белоногов. Задачник по теории групп

! " #

I H E G Hg = gH g G! !

H E G H G <

! H G! " # 4 # #

# g−1Hg. G H G ! H G H = G 7

!

( G

G,

G

I A B E G ! ( G = AB! . A∩B = 1, 0 A G % B G

G = A ×B, ! G #$

A B V × "

( 0. ! ! !

! I

A B ( K0 !

G = A B ! G

A B A < M G

NG(M) := {g G | Mg = gM} G!

M G! 4 " # H G NG(H)

N G ! H N % (/ A # # # H G

! gH (g G)

$ # % (8

G/H G H

, % 00

,
) ϕ G H	!
ϕ(ab) = ϕ(a)ϕ(b) a, b G
G H $ # 2
ϕ(g) : g	gϕ

3 , ϕ G H H

ϕ(G) := {ϕ(g) | g G} E ϕ H!

Ker(ϕ) := {g G | ϕ(g) = 1} E ϕ G A ϕ(G) Gϕ

7 ! H G!

, ϕ G H #! 1 < Kerϕ < G. 7 , ϕ G H !

ϕ(G) = H! ! ϕ E , !

! ϕ(G) = 1 9 G

4

2

$" # #

I H E $# +! M

, G H $#

(α + β)(g) = α(g) + β(g) (α, β M, g G)

# % 5. ! Hom(G, H)

I N G, " # A G

A, N = AN = N A N ∩ A A.

I G E ! N G! g G (o(g), |G : N |) = 1,

g N

. " # #

H ≤ G S E G H

G = H ◦ S ; H

( H G!

. g−1hg H " g G h H! 0 s−1hs H " s S h H!

I A1 A ≤ G B1 B ≤ G! A1 ∩ B1 A ∩ B

N :=	a, b ! a =	1	2	3	4	b =	1	2	3	4	E
		2	1	4	3		3	4	1	2

: S4

( N = a × b E4

. S4 S! , " S3! "! S4 = N S 0 N S4 ! ! S4 = N S

% S4 " . : E

A4 '-

! N G N ab : a b G > N : ambm bmam " $

m

" < G 4 H "

H

( H GD

. # ! H ab :

a b G! H a2b2 : :

# G E G = AB! A B E

> " # # N

G N = (A ∩ N )(B ∩ N ).

$ M E G

( NG(M) := {g G | Mg = gM}) G

M G

. I H ≤ G, NG(H) # # :

N G ! H N.

0 CG(M) NG(M) A ! H G! CG(H) G

M E G > " # A G Z(A) M! Z(M) ∩ A G.

I A < B ≤ G! NG(B \ A) = NG(A) ∩ NG(B)

G 4 M !

NG(M) = 1

I G = A × B E A B!

# : A : B

( I G = A × B E A B! G , " A B

	. I H = A × B E A B!
H	E ˜		˜ !	˜	A
		A	B	A
˜	B
B
	a b E :
G >
	( ab = a × b !
	. CG(ab) = CG(a) ∩ CG(b)!
	0 NG( ab ) = NG( a ) ∩ NG( b )
	! G = a × b ! o(a) = o(b) = n N! H = ab, a−1b
> H = G, n 4 ! |G : H| = 2! n 4
	" < H G H
	( H
H
	.	G H	# #
G H
	0 H G
	# > H ≤ G K E
G H ; H
	( K	# $
!
	. H G

$ L % (8 ! 4 C C

C C

E E G A ! G/E =

GO

H E

G! " # $

G

( I H G G

! H , # #

G

. G " ( ! ! !

G! H! ! G

Z+

H E R+ < " h H

Kh = {x R+ | x > h} > {Kh | h H}

$# ! , H :

Kh (h H) # R+

H K E G

( I D # HgK G(H, K) # $

! HK G D = G/HK ! HgK = gHK

g G

. + HK G ! HgK = gHK g G ;

A4 S4! % 5

> N G A ≤ G > AN ≤ G, A ∩ N A!

AN/N A/A ∩ N.

F ! S A H AN = S ◦ N A = S ◦ (A ∩ N )

G1 G2 E Ni Gi i {1, 2} >

N1 × N2 G1 × G2

(G1 × G2)/(N1 × N2) (G/N1) × (G/N2).

! N K E G >

N ∩ K G G/N ∩ K ≤ (G/N ) × (G/K).

" N K E G !

N ∩ K = 1.

( I G/N G/K ! G

. I G/N G/K E π! π E !

G E π

# · E $ X Y

ϕ E X Y !

ϕ(x1x2) = ϕ(x1) ϕ(x2) x1, x2 G.

I (X, ·) E ! (Y, ) E

A O

$ ) ϕ G H ,

{(g, ϕ(g)) | g G} G × H.

ϕ E , G H >

θ:= (G × G → H | (g1, g2) → ϕ(g1) ϕ(g2)−1)

,

ϕ E , G! A B E 4

>

( (A B)ϕ = Aϕ BϕD

. (AB)ϕ = AϕBϕD

0 A, B ϕ = Aϕ, Bϕ D

> ,

( N G > α gα = gN (g G)

W , G G/N α

G G/N

. ϕ E , G H >

Ker(ϕ) G G/Ker(ϕ) Gϕ.

F ! ϕ = αµ! α E # , G G/Ker(ϕ)!µ E # , G/Ker(ϕ) Gϕ

> N G! Z = {H | N ≤ H ≤ G} A, B Z

( X π : A → A/N (A Z)

Z G/N

. Aπ ∩ Bπ = (A ∩ B)πD

0 Aπ, Bπ = A, B πD

% |Gπ : Aπ| = |G : A|D

& A G Aπ Gπ! A G Gπ/Aπ G/A

ϕ E , G N ! A B E 4

( (A ∩ B)ϕ ≤ Aϕ ∩ Bϕ = (AN ∩ BN )ϕ,

. NG(A)ϕ ≤ NGϕ (Aϕ) = NG(AN )ϕ! 0 CG(A)ϕ ≤ CGϕ (Aϕ) = NG(aN )ϕ

a A

" # ( K0

ϕ E , G g G I o(g) < ∞! o(gϕ) o(g)

! L % . " g E

# : N E

G I (o(g), |G : N |) = 1! g N

" ϕ E , G A ≤ B ≤ G ( Aϕ ≤ Bϕ! |Bϕ : Aϕ| |B : A|

. I A B! Bϕ/Aϕ BKer(ϕ)/AKer(ϕ) ≤ B/A

# G = a b D2n o(a) = n, o(b) = 2 bab = a−1

( ) G! !

a GD

G !

a ! n 4 ! E !

a2

. ) " , ,

D2n.

$ ) "

, , D∞.

A Q8 Z2 × Q8 )

,

7 Z4 × Q8 "

( L , G G/Z(G) D8

. 2 G G/Z(G) Q8

7 Zp∞ , " # # # ,

L " G "! G/Z(G) G

N1 G1 N2 G2

( I N1 N2 G1/N1 G2/N2!

. I G1 G2 N1 N2! G1/N1 0 I G1 G2 G1/N1 G2/N2!

G1 G2OG2/N2O N1 N2O

! 7 G B

4 A , B , C !

" N "! , G/N

# # , E4 F ! :

4 !

# G ! A ∩ B ∩ C = 1

" G ! 4 4 :

" !

: > G

# 3 " G H

( " 4 : G "

D

. G E ! G/Z(G) E4

$ G $ " : G!

4 # # > G/Z(G)

B

! G/Z(G)

M E G M G > |G : M| E

M E G!

G

( I 1 < N G, CG(N ) !

G

. 3 # # # #

G

0 3

G

% I A B E G!

G = A M = B M!

A = CG(B) B = CG(A)!

A, B AB ∩ M E ,

H/K L/M E $ G 7 ! H/K

L/M! (H ∩ L)M = L K ∩ L M ;

H

(H/K L/MD

. M # L M!

H! #

L M! H! #

# H K

H/K L/M > xK → xM (x H ∩ L) , (H ∩ L)K/K L/M

(H ∩ M)K/K C # , C

) x			det(x) , GLn(C)
C·	: , O
		→
( C+/R+ R+
. Q(p)/Z+ Zp∞			!

0 Q+/Np Zp∞ , Np E Q+

! p

o(b),

o(c) = 1,

(o(a), o(b)),

! U "

! ( #

( R+/Z+ U

. U/Zn U

0 C·/Zn C· % C·/R· U

" n N Hn E C·!

! n ! !

4 : # # # #

" > Hn < C· C·/Hn U

# ) Q·! " 2l mn ! {l, m, n} Z m, n 4 ! l! , Q· Z+

$ L (m, n) $ !

x → mxn (x Q·)

, Q·

< # Q+, Z+, R·, Q· !

, " "

G H E I H $#

+! M , G H #

# $ +H

(α + β)(g) = α(g) + β(g) (α, β M, g G)

Hom(G, H)

A = a B = b E $ > Hom(A, B) =

c !

o(a) = ∞!

o(a) < ∞, o(b) = ∞!

o(a) < ∞, o(b) < ∞