Белоногов. Задачник по теории групп
.pdf( (M, ) K D
. " a, b M !
α(g) = ga β(g) = bg g M.
# ( G = (M, ·) E ϕ : M × M → M E ,$
" " ,$ α β MM ! ϕ(x, y) = α(x)β(y) x, y M I (M, ϕ)
#! a M #! ϕ(x, y) = xay
x, y M (M, ϕ) (M, ·)
. G = (M, ·) E Φ E ,$#
M × M M " > Φ
C C$" · G "
, ! , " G A +
$ M
$ · ! |
|
x · y = y x |
x y M. |
> (M, ·) (M, ) E ! #
! 4 (M, ·) (M, )
M K $# $# · #!
" a M M " : e x ! ea = ae = axa = ax = e F (M, ·) #O
· E $ $ M.
( ; H
(M, ·) E D
F f M !
f 2 E M M f 2(m) = f (f (m))
m M!
f (x · y) = f (y)f (x) x, y M!
: e M #! f (x)x = e x M
eM = M
. L ( ! F eM =
M.
M E !
$ ! + · E $
|
M. |
|
|||
( (M, +) E C+, R+ Q+ |
|||||
|
|
, ) E C· |
, R· Q· |
||
. (M |
\{ |
0 |
} |
||
|
|
· |
|
0 L : C+ C·
J $ $#
$# # ) Z+.
#
$#
D
$ $#
D
$ $# D
$ $#
D
N $# #! a b
a bD
Mm×n(C) m × n $ (m, n N)
$# $D
4 4 !
# ! $#
O
( J
( (&! , R+
. J $
( (&! , Q+
! ( 7 " H
! " #
! $# D
[0, 1) R $# #! a b
a + b.
. 7 ,
A ,
" M E x |x| < 1 ) M $" " H
x + y,
x y = x + y − 1,
x + y + 1,
−1 < x + y < 1!
x + y ≥ 1!
x + y ≤ −1
( (M, ) E
. (M, ) ( (-
# < |
" n |
||||||||||
|
|
|
$ |
m |
|
! |
|||||
# |
2πi |
|
n |
|
2π |
+ i sin |
2π |
|
{zn | m {0, 1, . . . , n−1}} |
|
|
zn = e n |
(= cos |
n |
n |
) # $# |
|
||||||
|
|
|
|
|
|
|
|
|
|
$ n
Zn
$ $ , Z+! Zn
n N.
=" ! 4 ! $
#
J K = {e, a, b, c} |
|
# |
||||
$ · ! # " # C$# CH |
||||||
· |
e |
a |
b |
c |
|
|
|
e |
e |
a |
b |
c |
|
|
a |
a |
e |
c |
b |
|
|
b |
b |
c |
e |
a |
|
|
c |
c |
b |
a |
e |
|
|
|
|
|
|
|
|
! $ A 4 :
> X E n N
( J X $#
SX
. I |X| = n, SX Sn ! |SX | = n! ). 0 |X| ≥ 3 SX
" n N Sn!
$ $#
# n
( < # S2 S3 :
. G $ S3
,$# x → x! x → 1−1 x ! x → x−x 1 ! x → x1 ! x → x−x 1 ! x → 1 − x M ! /
(! M " $ $ ,$#f g(x) = g(f (x)) L 4 , # S3
! A #
$ ! " #
: A A.
" > : G E < " : g G ϕg G G!
H ϕg(h) = h · g (h G). >
( ϕg E : GD
. {ϕg | g G} $#
SGD 4 RGD
0 g → ϕg (g G) , G RG
# · E $ M
: a M ϕa : M → M, ϕa(b) = ba b M ; H
( (M, ·) E D
. Q " a M ϕa #!
ϕa = ϕb " a, b M!
{ϕa | a M} $
#
$ M! n : x1, . . . , xn,
|
$ · |
" $ H |
||||||||||||
|
|
|
· |
|
x1 |
|
x2 |
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
x1 |
|
x11 |
|
x12 |
|
x1n |
|
|
|
|
|
|
|
|
x2 |
|
x21 |
|
x22 |
|
x2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
xn1 |
|
xn2 |
|
xnn |
|
|
|
|
|
||
xixj = xij ! ij E 1, . . . , n) |
|
|
|
|
||||||||||
; H |
|
|
|
|
|
|
|
|
|
|
|
|
||
( (M, ·) |
|
#D |
|
|
|
|
|
|
|
|||||
. H |
|
|
|
|
|
1 |
|
. . . n |
||||||
" i |
{ |
1, . . . , n |
} |
αi |
= |
2 |
||||||||
|
|
|
|
|
|
|
|
|
1i |
2i |
. . . ni |
! # : M
$ $!
A = {α1, . . . , αn} n :
$ $!
" # : A A
I : x1 . . . , xn " ! $
# ( 0/! 2n : x1, . . . , xn! y1, . . . , yn
" $! # " # $#H
|
x1 |
. . . xn |
|
y1 |
. . . yn |
||
x1 |
x11 |
. . . x1n |
| |
y11 |
. . . y1n |
||
|
|
. . . |
|
| |
|
. . . |
|
|
|
. . . |
|
| |
|
. . . |
|
|
|
. . . |
|
| |
|
. . . |
|
xn |
xn1 |
. . . xnn |
| |
yn1 |
. . . ynn |
||
E |
E |
E |
E |
E |
E |
E |
E |
y1 |
y11 |
. . . y1n |
| |
x11 |
. . . x1n |
||
|
|
. . . |
|
| |
|
. . . |
|
|
|
. . . |
|
| |
|
. . . |
|
|
|
. . . |
|
| |
|
. . . |
|
yn |
yn1 |
. . . ynn |
| |
xn1 |
. . . xnn |
> A B E
# $
( J (a, b)! a A b BR
(a, b) (a , b ) = (aa , bb )
# ) A × B # "
$ A B
. A × B B × A
0 A × B A1 × B1 ! A A1 B B1 A B E
7 (M, ·) ( .. , Z2 × Z2. A
! , Z2 × Z2!
Z2 × Z3 Z6
A 4 , Z4 ! Z2 × Z2.
A " # # # # 5 :
! 3 " ! 5
" I G = (M, ·) E ! $# ( 0/!
( 0( , G × Z2.
# m, n N. m + n :
! , " Sm × Sn
$ M = {2a3b | a, b Z} · E |
$ |
|
M |
|
|
( (M, ·) E |
|
|
. (M, ·) Z+ × Z+ |
|
|
C· A × T, A E |
|
( (&! ! T E # ( (-
) ( 0.
# " #
G = (M, +), M E
# (a1, a2, . . . ) $ ! + E $ M,
(a1, a2, . . . ) + (b1, b2, . . . ) = (a1 + b1, a2 + b2, . . . ).
> G E
M K B(M) K
A 4 B(M) $" H
A B = (A B) \ (A ∩ B) (A, B B(M)).
A B A B ( (B(M), ) E
. ; A X = B X A = B (B(M), )X E
0 " : (B(M), ) .
" (B(M), ), (B(M), ∩) (B(M), \)
O
A E D(A) := (M, ·),
M = {(a, ε) | a A, ε = ±1},
$ · H
(a1, ε1)(a2, ε2) = (a1aε21 , ε1ε2).
( D(A) # ! A
7 ! , D(A) # # A!
!
. I A E ! D(A) = A+ A− , A+ = {(a, 1) | a A}, A− = {(a, −1) | a A}! 4 A+ 4
$ · ! , A! A− "$#
0 # : 4 : #
"$ ! "$#
% 7 D(A) ! #
# : A "$#
& I A B E A B! D(A) D(B)
! ( J (a, b) ! a R b R \ {0},
$#
(a1, b1)(a2, b2) = (a1 + b1a2, b1b2)
# ) 4 G.
. 2 # G !
4 $ · ! 4
, R+, E R·.
0 L G "$ + G :
! O
" ( n N M E (n × n) $ :
R ! " #
! # > M #
$# $ # GLn(R) SLn(R)
. L ( ! 4 R
C GLn(C) SLn(C)
# " n ≥ 2 GLn(R), SLn(R), GLn(C) SLn(C)
$ a R Ma E $
|
|
|
x |
y |
, |
ay |
x |
|
x, y R. a Ma |
# $ |
|
$O |
|
|
# $GLn(C) (n ≥ 2) $ $O
J $# # $#
> ! ! ,
( I M E E $ M!
x y = y! (M, ) E
. < " M (B(M), ) (B(M), ∩)! B(M)
( %%! " F , O
! :
a #! a2 = a
,
. O
I H = (X, ) G = (M, ·) E ! ( X M . x y = x · y " : x y X! ! H
G H ≤ G 7 ! X
G! ! ! X
G! X ≤ G ! ! #!
$ X G S(T!
" : ! "
" $, # ! ! ( J
# " : a G #
G . & ! a . I H ≤ G H = G!
! H E G H < G I 1 < H < G! H #
G H G G! H
G # # #
# G 7 ! A B
! A ∩ B = 1
I H E G g G! Hg :=
{hg | h H} G H% J
G H
G : H! |G : H| H
G G! :
H!
G H " gH
H ) ! # # Hg
# # g(g−1Hg) g−1Hg . (6 g−1Hg " H G
$ '&
J HgK! H K E G g G!
" G (H, K)
|A| |B| # A B
A × B! |A| ≤ |B|
! A B 7