Алгебраические системы: Методическая разработка. Часть 2

                    ! " !  #    $    .

.

.

-

       2

 !  

    

, 1998

Typeset by

1

AMS-TEX

 519      . 

 2.  . .. , ..  ..  : ! , 1998. "    #    $  %   "   &  " &  -   ' -     (  ! : # &  ))  $  ',    ,  *  )    )), )  &  )),    ))  %  *&,   ) $    )).   : ) (. .. , . ..   +:  .  ( #    (   (  ! , ) (. !.. 

$  #   #   . .. ,  . 1998

2

4.

   .

-  G {  )) , M { $ , S (M ) {  ))     '  $# $  M  &. ! &,   G      M ,      (   )) G   )) S (M ).     $  g 2 G )            $ g $  M  &, )  :

g1 g2 = g1  g2 : (1) .  x 2 M ,  ) &   g (x)   gx. " /'  &' (g1g2 )x = g1(g2 x). - #   ( e = eM ,   eM { $    $ M  M (..     )) S (M )),  ex = eM (x) = x &  x 2 M .    ,     #    )) G  $  M ,   $ G  M ;! M , )   ) )  (g x) 7! gx = g (x),   #   (g1 g2)x = g1(g2 x) & ' g1 g2 2 G x 2 M

(2)

ex = x &  x 2 M: (3) 0 ,      $ G  M ;! M (g x) 7! gx 2 M ,   &%  & (2){(3),     : G ;! S (M ) g 7! g    g (x) = gx &  x 2 M , && &  (  )) ,   ,   #   )) G  $  M . -/

 #   )) G  $  M )  &    $ ' : G  M ;! M (g x) 7! '(g x) = gx 2 M ,   &%  & (2){(3). 0,   / )   gx { )       & '(g x). 4.1. -  M = f1 2 3 4g { $    ' /, S (M ) = S4 G = fe a b abg {   &  )) # ( . )  1.10). 1  #   )) G  M . & / )    $  : G ;! S4. -$ e = e a = (12)(34) b = (13)(24) ab = (14)(23):

, )   ()   !),  u v = uv & ' u v 2 G.    ,  : G ;! S4 {  (  G #   M . 4.2. -  M = f1 : : :  ng G = Sn  : G ;! Sn {$  #  (.  Sn,   , #   M . 4.3.       . -  G { )) , g {  $, )   ) )  g (x) = gxg;1 x 2 G. g {       $ $  G  &. # ,   gxg;1 = gyg;1,  x = y, .. g { 2  $   z 2 G, 

z = gxg;1,   x = g;1zg, .. g {  2  $. g1 g2 (x) = (g1 g2)x(g1 g2);1 = g1(g2 xg2;1)g1;1 = (g1  g2 )(x): 3

 , g1 g2 = g1  g2 ,   ,  )  & #   )) G  .  #  ker . g 2 ker  () g (x) = gxg;1 = x &  x 2 G () gx = xg &  x 2 G () g 2 Z (G){  )) G: 0 $ g : G ;! G    &   .

.  H {    & )  ))  G,  H = gHg;1 = g (H ) ,   ,    g jH )  &    G         H . -  P (G) { $  ) $   )) G. & ) $  A 2 P (G) g 2 G )$ g (A) = gAg;1. "    )     G           . .    P (G) & $  )  ))  )) G,   )     G         

.

3 x y 2 G    &    ,   y = gxg;1 &   g 2 G.   ,  )  )) H1  H2 G    &    ,   H2 = gH1g;1 &   g 2 G. 4.4.

         

.

-  G {  )) g 2 G. ,   G    &  $ Lg : G ;! G Lg (x) = gx x 2 G. Lg {       $ $  G  &: Lg (x) = Lg (y) ) x = y   z 2 G,  z = Lg (x),   x = g;1z.  , L : G ;! S (G) L : g 7! Lg {  (,     Lg1 g2 (x) = (g1g2)x = g1 (g2x) = Lg1  Lg2 (x).    ,  )) G #         .  #  ker L. gx = x &  x 2 G ) g = e.   , ker L = feg. .  G {  &  )) , jGj = n,  L(G) { )  ))  S (G) = Sn.     ker L = feg,  L(G)

= G ()     ( ').    ,  &   &  ))  (  # )  ))   )) )        # ) (    ). " /        )) { "  *"  )). -  M {   )      ) K , GL(M ) {  ))  $ ' #' )    )     M . ! (  : G ;! GL(M )    &       ( )      )  )) G  )     M , )     M    &       ,    M {      .     GL(M ) { ) ))  S (M ),  )     )) G  )     M   #   )) G  M # )   &. -   )) G #   $  M . 1 (   / m 2 M . $  /  gm,   g )      )) G,    & G-  ( )     ) / m.      )    &,  )  ,   ,    $  M . 3    * /    M , )     / m n 2 M /      , 4

 %  / g 2 G,  #,  gm = n, ..   / m  n

) . ! &,   )) G #   $  M     ,   & ' x y 2 M %  g 2 G,  #,  gx = y.  ,   *   G- 

 M . " %     $  ,    $ #   G #   . -  G #   $  M .    St(x) / x 2 M    & $   ' g 2 G,  ',  gx = x. 0  , St(x) { )  ))  G. -  G {   &  )) , # % &  $  M , x 2 M . 0    Gx   / x.  jGxj = (G : St(x)) {       .    , jGxj  jGj. .  x = gy,  St(x) = gSt(y)g;1. 4.5. -  G = R+ { )) )$' % '   ) # $&.  )   E 2     ) & &      Oxy. 0)   #  R+  E 2. .  m 2 E 2 m = (x y)  2 R+  m = (x y): 0   && &  , ' &% &      ,      O: " / )   St(m) = f1g  m 6= O  St(O) = G. 4.6. -  G  M    )   % )  . 0)   #  G  M ) ) :  2 R+ m = (x y) m = (x ;1 y): .  n = (x0  y0) x0 y0 6= 0   # Gn && &   )  xy = x0 y0    # $   n.   ,    && &   )       O: 4.7. -  G {   &  )) . G #    ) &$&. 0     /, ) &$' $  #,     &        .    / x    &  /      x (  { CG(x))     /, )    ' x. - (       /, ) &$' / x,        / x. 

) &$' /      /

x     ,  x )        /    )) G, ..  x )  $   Z (G)  )) G.      )) G   &  ))  )   % & 

 ) &$' /,    /   ))     ' 

 ) &$' /. " &&   

,  &%    / ,  )      : jGj = jZ (G)j +

s X =1

(G : CG(x ))

(4)

  x   = 1 : : :  s { )     ' 

 ) &$' /,   /   ' *  . 4.8.  )  )) ) &$ ( . 4.3)     ,   )  $   #   )  #   )) G ) &$&  $  ' )  )). " /      )  )) H    &    )  )) 5

H    &   N (H )  NG (H ),    )  

     )) G.    , N (H ) = fg 2 Gj gHg;1 = H g: 0  , H N (H )  N (H ) {     & )  ))  G,   $ % & H ,   # H && &   # )  ))#. - (        ' )  ))  G,

) &$' )  ))# H  (G : N (H )). 4.9. -  G = S3.  #  

 ) &$' /  G. " #  )) Sn   #  ) &$. # ,   C1 = (i1 : : :  ik ) C2 = (j1 : : :  jk ) {    k,  C2 = TC1T ;1,   T {  & )   , )  &% & i1  j1 : : :  ik  jk .     (gxg;1)m = gxm g;1,    /, ) &$ $  #      $ ) & .     ) &     ,   ' ) &   ) &$.  $ # /  S3,  #  e, && &    2,    3.   ,  ))

S3  3 

) &$' /: feg f(12) (13) (23)g f(123) (132)g:

 #      / (12)  (123).         

C ((12)) / (12)    /, ) &$' (12), .. 3,   /  G = S3  6,  )   ,  $ ) ,  jC ((12))j = 2.   $ )  2&  /  C ((12)) { e  (12). -/ C ((12)) = fe (12)g.   , C ((123)) = fe (123) (123)2 = (132). 4.10. -  G {  &  )) , H {    & )  ))  G jH j = n. 

$  H nfeg      ) &$# /   G. # , ghg;1 2 H &  h 2 H ,     H {   # . -  /,   h 6= e,   ghg;1 6= e.   ,  )) G #  ) &$&  $  H nfeg.     jH nfegj = n ; 1,  #  G ) &$&  H nfeg    (  : G ;! Sn;1. 4  /  ( && &    )  )) H  G, .. )  )) CG(H )  ' /  G, )    '  /  H . 4.11. -  M { (  )  . $   ' $# )  ,  $ %' (  M  &    )). 3  ))    &  

    M ,  / { 

   M .    )  & &   (  M  )    . -  M { ) #  . " & $  )      )  & &     ' (   '  ,  $ %'   # ) &# (   !). -/ %         $   &    )    $    *. -/  )) D3

 # )     ( )  ))  )) S3. - $,     D3

= S3. # ,  &   && &  %&       32 k (k = 0 1 2) (    )  ))  D3 ,  ( A3 )   $&    #     ( 

    )&  S3 ). 6

5.

  . -  p { )    . ! )) ) &  pn    &

. -  G {   &  )) , p { )    , &% ) &  G. -  )) H  G    & p-  ,   ) &  H  ps. .  ) &  H  pn  pn {  * & ) p, &% & ) &  G,  H    &   p-)  ))#  G.  !.    n    G     p  G        p

p-



,

.

  .

(a)    $   & #  )) G. -  m {    )) G, ..       ,  gm = e &  g 2 G. 0  ,    )  #  #  )) G && &  ) & . - $  # ) ) &  G ,  ) &   ))   

) )  &. -  h 2 G h 6= e H =< h > {    & )  )) , ) $  & h.     G {   )) ,  H {    & )  ))  G  $

  (   )) G=H . 0,      hm = e,  ) &  / h  m.     ) &  H  ) &  / h,  $   ,  ) &  H  m.   , m && & )    & G=H ( gn = gn = e ).     jG=H j < jGj,  )   )  )$ ) &  G=H  mk &   k. -   ,  $ jGj = jG=H jjH j,   , jGj  mk+1 . -  )  p  n = jGj. "    )  & m  )) G  )   ) &   ' /  )) G.     n    ) m,  p  ) &    / x 2 G. -  ) &  x  ps. 

/ xs  ) &  p.    ,      & '  )). (b) &      %    $  )   ) ) &  G. & # &  )) G   ) &$& )   (  

 ( . (4)):

n = jGj = jZ (G)j +

s X

(G : C (x)):

=1

1   Z (G) {   )) G, x { )     ' 

 ) &$' /,   ' *   / . .  p  ) &  Z (G),  

 (a)  Z (G)   / ) &  p. .  p   jZ (G)j,  '&       (G : C (x )) $   &  p. .  (G : C (x))   &  p,     ,  $ ) ,  ) &  )  )) C (x)  &  p.     (G : C (x)) > 1,  jC (x)j < jGj.   ,  )  )) C (x) $ )  )  )$  .    , )  )) C (x) ,   ,   )) G   $ / ) &  p. "#   .    p       G   G     p   ,

-

.

  . 7

(  & ) ) &  G ). .  ) &  G  p,  G )   #

 # p-)  ))#    )   . -  )$,    )   &  '  )), ) &   ' * ) &  G. "

 ,   H {   & )  ))  G,    #   &  p,  ) &  H )   ,  $  &   $ ) p,   ) &  G. -/   & p-)  ))  H ( & %  ) )  )$  ) && &  # p-)  ))#  G, ,   ,  /    $    )   &  )) G. -  )$ ) ,      '  ' ) ))  G & &  p.  (  

 ( . (4)) ) ,  ) &  Z (G)  $  &  p.     e 2 Z (G), ,   , jZ (G)j > 0,  jZ (G)j {    p. -   * Z (G)   $ )  )) H ) &  p. 0  ,  & & )  ))  Z (G) && &   # )  ))#  G. -   : G ;! G=H {     & ) &. .  ps {     & ) p, &% & ) &  G,  ps;1 {     & ) p &% & ) &  G=H . - )  )$   G=H   $   p-)  )) M . -  M = ;1 (M ).  H M  M = M=H .     jH j = p jM j = ps;1  )   ,  $ ) ,  jM j = ps. .. M {   & p-)  ))  G.    ,  $    )   &  )) G. .  H   p    G N (H )  H  G  Q p    N (H )   Q H {

-

-

.

,

{

{

.

  .

    H {    & )  ))  N (H ),  )  #     ( ' QH { )  ))  N (H )  QH=H

= H=H \ Q. - &  (   )) H=H \ Q     H : (H \Q)]  )   ,  $  ) &  H .     H { p- )) ,   H=H \ Q { p- )) . -/ ) &  )  )) QH , # )   ) &  jH j  jH=H \ Qj,   ) p.    ,   & p-)  )) H

  $ &  p-)  )) QH .       & p-)  ))     # ) &     ' p-)  ))  )) G,  QH = H . -  Q QH ,  Q H. $#   .       p          p       p     -

-

-

.

  .

-  T { $   ' p-)  ))   #  )) G.     

) &$ )  ))     ) & ,   )) G #  ) &$&  $  T . 1 (     p-)  )) H 

   G-  T0  T .     H && & )  )) N (H ) {     H  G ( . 4.8).    T0        , .. G : N (H )]. - )    # p-)  )) jH j     # ) )     p, &%# jGj.     jH j  jN (H )j (  ,  $ )  G : N (H )] = jGj=jN (H )j (  ,  $ ),  jT0j = G : N (H )]   &  p, (jT0 j p) = 1. -  Q { p-)  ))  G jQj > 1. +

  )  #  Q ) &$&  T0 . $  T0

)  &  Q- .   $ # Q-  

8

       - /   ( . (    ).    { )  ))  Q.     jQj && & ) )     p,    # )  ))  Q (     # Q-  !)  $ && &

) p.     jT0j    Q-   (jT0 j p) = 1,   T0 $

%   Q- ,   '  1 = p0 . ..    ' p)  )), ) &$'   G )  )) H , { / )   $ 

T0, {  & '&    )  )) H 0 ,   &,  qH 0 q;1 = H 0 &  q 2 Q.   , Q N (H 0 ). - &&    # p-)  )) H 0  p-)  )) Q )  Q H 0 ,    )   $   .         *:  & & p-)  ))   $ &   # p-)  )), ) &$# (   #  # p-)  )) H . "

 ,   Q {   & p-)  )) ,  Q H 0 ,   H 0 = gHg;1 &   g 2 G.     ) &   ' p-)  ))  G ) ,  Q = H 0 . ..  &

  & p-)  )) Q ) &$ (   #  # p-)  )) G. %#   .  p         G    p    G      p      G {

.

,

-

1

.

  .

"  &'      #        p-)  )) Q

   (      p-)  )) H   #  ) &$&  T0 = T ()       &   $   #    ). -  H 0 2 T . .  hH 0 h;1 = H 0 &  h 2 H ,  ) , ) #  Q = H , )  H H 0 ,      H H 0 {   p-)  )),  H = H 0 .    , $  T     ) $# / )  #  H  T ) &$& { )  )) H . "        *   / ,   )   )       #    ,  /'   && & )& p.     T

)  &  )   % & H - ,  jT j 1(modp). 

  #    T { $   '  ' p-)  ))  G.  #   T {   G-  )  #   )) G ) &$&  $  ' )  )).  # G-  && &  ) &  G ,   , jT j  jGj. 6.  #&' pq.    && &  $    

 &     '  )). "    )  ' )%   # 

     (    )) ) &  pq,   p  q {   )     , p < q. -  jGj = pq.   p-)  ))  G  ) &  p ,

  , && &   .   ,   q-)  ))  G {   . -  #       ' q-)  ))  1 + tq   jGj = pq.     (1+tq q) = 1  p < q,  / $,   t = 0.   ,  )) G       q-)  )). 0     Q Q =< b >.     &  g 2 G gQg;1 { $   & q-)  )) ,  Q = gQg;1, .. Q {    & )  ))  G. 9

   ' p-)  ))  G  1 + sp   jGj = pq.     (1 + sp p) = 1,  1 + sp  q. -/ $   &: 1) p   q ; 1.  1 + sp  q  )  s = 0 ,   ,  )) G       q-)  )) P P =< a >,  & && &   # )  ))#  G.     aba;1 2 Q (Q {    & )  )) ),  aba;1 b;1 2 Q.   , ba;1 b;1 2 P  aba;1 b;1 2 P .    , aba;1 b;1 2 P \ Q. P \ Q { )  ))  P ,   , jP \ Qj  jP j = p.   , P \ Q { )  ))  Q ,   , jP \ Qj  jQj = q.     p  q {   )     ,  jP \ Qj = 1 ,  , P \ Q = feg.  , aba;1 b;1 = e  ab = ba. -/ (ab)pq = apq bpq = e. .  (ab)r = e,  r a = b;r 2 P \ Q = feg.     / a  b  ) &  p  q  ,  p  r  q  r.   , pq  r  / ab  ) &  pq = jGj, .. G =< ab > {    &  )) . 2) p  q ; 1. .   G  &      & p-)  )) , 

$ &  ).1) )  ,  G =< ab > {    &  )) . -    1 + sp  ' p-)  ))  G * 1.     1 + sp  q (q { )    ),     ' p-)  ))  G  q. -  P =< a > {     ' p-)  )).     Q =< b > {    & )  ))  G  P \ Q = feg,  P  $  &  (  #   )     # )  G  G=Q. - &  P  jG=Qj,   , G=Q    $' 

 /  P =< a >.    , G = fai bj  i = 0 : : :  p ; 1 j = 0 : : :  q ; 1g  &  & $&  G      ,   )   & & / a  b.     Q {    & )  ))  G,  a;1ba = bk (   k )      ) mod q)  

    k ) mod q      $  G.  , b = e;1 be = (ap );1b(ap ) = a;1 (a;1 (: : : (a;1 ba)a) : : : )a = bkp : 0  kp 1(mod q). " ) Zq   xp ; 1 = 0  p *#,        )  ))  ) #  )) )& Zq. (-    )  ,  Zq {    &  )) ) &  q ; 1.     p  q ; 1,   Zq  &          & )  )) ) &  p. . /  && & *&  *  &.) .  k {    *# & xp 1(mod q) k 6 1,     *&,   1,   k k2 : : :  kp;1. 0     / *& )  &     $  )), )     % a )  )) P  al )      k  kl.  ,   ,  p  q ; 1, %        (

 )) ) &  pq:   {    &,  & {   . "     G = fai bj  i = 0 : : :  p ; 1 j = 0 : : :  q ; 1g ( i bj )(am bn ) = aiam (a;m bj am )bn = m

= ai+mbk j+n: 1   k {  * & xp 1(mod q) k 6 1(mod q). 6.1. -  jGj = 15 = 35. " /   p = 3 q = 5, p   q ;1.   , 10

c

 1) G {    &  )) ) &  15. ( $ / ( ,   )&    )) ) &  pq:) 6.2.  #     )) ) &  6.     jGj = 2  3 p = 2 j q ; 1 = 2,  

 2)

%         (  )) ) &  6:   

(,   ,    & )  )) ,       )) .    ))

) &  6 $    

 { /     &  )) S3.    ,  &    )) ) &  6  (  )) S3. 7.

(!  . (1)

-  G {  )) , G {    )) G.  ),  G(1) { )  ))  G,  &% &   $' )  #    (a b) = aba;1 b;1  a b 2 G. 0)   )   )  )) G(i) = (G(i;1))(1), .. G(i) {   )  )) G(i;1). "  / )  )) && &    &  G,  ,       '  (  )) G. ( -  ))  G,      '  ( G    &       .) 3     % #    (    !): (i) (i)   'G1 ;! G2 {   ,  '(G1 ) = G2 . ! )) G    & !  ,   G(n) = feg &   n. 7.1. " & &   )) G  * ,     $ G(1) = feg. 7.2. -  G {  )) , H {    & )  ))  G. G  *     ,   )) H  G=H  *. (   !) 7.3. -  G = T2 (P ) {  ))  '  $ '  ''  '    ) &  2  ) P .  #     G(1). - 

   a b 1 b2 1 a2 A = 0 a  B = 0 b 2 G 3 3 

  a1 a3  b1 b3 6= 0. 





ABA;1 B;1 = 10 1c 

  c = a1b2 ; a2 b1a+b a2 b3 ; a3b2 : 3 3

" & ) ' &%   /    A  B,  $ )      c #  )   1 c   # / )& P .    , G(1)     '     0 1 . 1 ,          )    , .. G(1) {   )) .  , G(2) = feg  G {  * &  )) . 7.4. .  G = S3  G(1) = A3 G(2) = feg. 7.5. .  G = S4  G(1) = A4 . -  B4 = fe (12)(34) (13)(24) (14)(23)g { )  )) ,  &% &   ' ' )  , %' ) &  2.     11

) &      & & )  ) &$,  B4 {    & )  ))

 S4. )   )  & &,  B4 G(2).  )  , (13)(24) && &    / (123)  (12)(34).  #  , (   )) A4 =B3

 ,      ) &  3.   , B4   $ A4 = G(1). 0  , G(2) = B4.     B4  ,  G(3) = feg. 7.6. -  G { p- )) , jGj = pn .  # ) n ) $,  G {  * &  )) . .  n = 1,  G {    &  )) ,   , G(1) = feg. -  n > 1. - $,  G    #  . # ,         ' )  ))  G & &  p,   (  

 (4)  ,    /  Z (G)  $  &  p, .. jZ (G)j = pk > 1. .  Z (G) = G,  G   G(1) = feg. .  G 6= Z (G),  k < n  jG=Z (G)j = pn;k < jGj. - )  )$   G=Z (G) {  * &  )) . )   7.2 ) ,  G  * . 7.7. " 1963 . 5#  )    ,   &   &  ))   ) &   * . 8.

" .

! )) G    &   ,        ' )  )),  '  feg  G.

8.1.

  .

!      An  n = 5 .

  .

- $,  An ) $  &    3, ..  &  & )  

&& & )     (i j k).    ,  & )  

   &  )        )#. -/     )  ,  )   '   )# $ )       )  &   3. 

 4.9     )   / & )  # (12)(13)  (12)(34), ..    )        . " )    )   (132). "  )    (12)(34) = (12)(13)(13)(34) = (132)(134).

 #     / (123)  An .     T (123)T ;1 = (i1  i2  i3),   T (1) = i1 T (2) = i2  T (3) = i3 ,  T 2 CAn (123)     , 

T = UV ,   U (i) = T (i) & i 2 f1 2 3g  U (j ) = j & j 2 f4 : : :  ng V (i) = i & i 2 f1 2 3g V (j ) = T (j ) & j 2 f4 : : :  ng.     U )     (1 2 3),  U 2 fe (123) (1 3 2) = (123)2g. "

 , U {  & )   ,   , V = U ;1T {  & )   . 0  , V $ )   )  )) ' )  , # %' $    $  f1 2 3g. 3 )  ))  ( An;3 .  , jCAn (1 2 3)j = 3jAn;3j = 3(n ; 3)!=2.  (     ) ,       3, )&$12

'  An  (1 2 3),  jAn j=jCAn (1 2 3)j =

n!

n(n ; 1)(n ; 2) : = 3(n ; 3)! 3

-       3  An .  $  ) $    ' / fi1  i2  i3 g  $  f1 : : :  ng )  &  

3: (i1  i2 i3 ) (i1 i3  i2 ). ;n  n (n;1)(n;2) -/ %     3  An  2 3 = .     3     3 ) &$  An  (1 2 3). -  H { )  &    & )  ))  An (n = 5) H 6= feg. .   ) $,  H   $   3,  H     $      3, ,   , H = G.    , &             ,  H   $   3. -  t 2 H t 6= e. + $ t  )     ' .     t {  & )   ,  t  $    )#     % $  & $& t: 1) t = (i1  i2  : : :  ik )(: : : ) : : : {  $  &   k = 4 2) t = (i1  i2  i3)(i4  i5 : : : )(: : : ) : : : {  &   3    3) t = (i1 i2 )(i3 i4)(: : : ) : : : { )        '   )# 4) t = (i1  i2  i3) {   3.     *,    4)  $  $   . -/

 

  1)-3).     H {    & )  )) ,  & # # )   w wtw;1 2 H ,   , wtw;1t;1 2 H . +

      1)-3). 1). "  w = (i2  i3  i4 ),  wtw;1 t;1 = (i1  i2  i3 ) 2 H       . 2) "  w = (i2  i3 i5 ),  wtw;1 t;1 = (i1  i3  i2 i3  i5) 2 H   ) * 

  1). 3). "  w = (i2  i3  i4 ),  wtw;1t;1 = (i1 i3 )(i2 i4) 2 H . & )    # $  ,  (12)(34) 2 H . 

(1 2 5)(12)(34)(1 2 5);1 (12)(34)];1 = (1 2 5)(12)(34)(1 5 2)(12)(34) = (1 2 5)(12)(1 5 2)(12) = (1 2 5)(1 2 5) = (1 5 2) 2 H     $   . 8.2. -  P { ). ! )) SLn(P ),  &% &     ) &  n /   )& P  )   1,    & ) # ##  ))#. 5   ))  )) SLn(P ) )      &             &   PSLn(P ) ( Ln (q )   ,  P {   )  q /). )    % &   .  )& - '. "      P  Z2  Z3  PSLn(P )  (    . 2],  .101-105.) ,

,

.

8.3. ! )) SO(3),  &% &      ' )    '  13

  )     , && & (  #) )  #  ))#. (. 1],  .320321.) 9.

"(&# .

9.1. -  G  H {   )). +

    )   G  H $  G  H , .. $  ) (g h) g 2 G h 2 H . "   G  H  

) 

(g1 h1)  (g2 h2) = (g1 g2 h1h2): , )  ,    /# )  GH && &  ))#. +     ) (eG  eH ). 0   / (g h) && & (g;1 h;1 ). ! ))

G  H    &      G  H .    $ )   ) & )         )) G1  : : :  Gn. 3 "*" )    )), )  ) $  &, %  &,    )). ! )) G    &           H1 : : :  Hn ,   # / g 2 G     )   & &    g = h1    hn,   hi 2 Hi  i = 1 : : :  n: 3 " " ) & )  ,       &  )) G

   &  )   ' )  )). . "  #  G         H1 : : :  Hn  #      # G = HQ1  : : :  Hn  Hi \ ( j6=i Hj ) = feg  # i = 1 : : :  n: ,

,

1)

2)

  .

a) '  . -  G { ) & )     ' )  )) Hi  i = 1Q  : : :  n. 0  ,   1) )& &. .  &   i hi 2 Hi \ ( j6=i Hj )  hi $ )       )  &

hi = h1 : : : hi;1hi+1 : : : hn = h1 : : : hi;1 ehi+1 : : : hn hj 2 Hj : 1   $ e

    &   / )  )) Hi :  #   hi $  )     )  & hi = e : : : ehi e : : : e

  $  e

    &   / )  )) Hj  j 6= i. "        $& (G {) & )     ' )  )) Hi !) $  ' $&' $    , 

 , &

$#  ) )) Hi ) , hi = e: b)     . -  )  & 1)-2).  1)  ,  # / g 2 G $ $  )   / )  )) Hi  i = 1 : : :  n:    ,   *          $&. - $ 14

  ,  /  ' )  )) Hi  , .. hihj = hj hi,   hi 2 Hi  hj 2 Hj  i 6= j . # , hi hj h;i 1 2 Hj  hj h;i 1h;j 1 2 Hi       )  )) Hi  Hj .   , Y hihj h;i 1h;j 1 2 Hi \ Hj Hi \ ( Hk ) = feg: k6=i

) ,  / g 2 G   $&  )   /  )  )) Hi  g = h1 : : : hn = h01 : : : h0n hi h0i 2 Hi   &   s hs 6= h0s:  & )      /   ' )  )) Hi  )  Y 1 0 hshs;1 = h;1 1h01 : : : h;s;11h0s;1h;s+1 hs+1 : : : h;n 1h0n 2 Hs \ ( Hj ) = feg: 0

j 6=s

  , hs = h0s. -  )   .    , $  /  G  $  )  )) Hi   . 0,  )           ,     )) G && & ) & )     ' )  )) Hi  i = 1 : : :  n  /   ' )  )) Hi )    . -/,   g1 = h1 : : : hn g2 = h01 : : : h0n  g1g2 = h1h01 : : : hnh0n. -  H1  : : :  Hn { * ) & )   )  )) Hi  i = 1 : : :  n.  )  &   ) & )  &  ,   $ ' : H1  : : :  Hn ;! G ' : (h1  : : :  hn) 7! g = h1 : : : hn 2 G && & #. -   *  $ & )  & g1g2  ,  ' {  (.    ,    )) G && & ) & )   '   ' )  )) H1  : : :  Hn ,  G  ( * )    )) H1  : : :  Hn. -/

     & $  *    ) & )    )). 9.2.   &  )) # B4  ( )   '   '  ))   ) &  . # , )  B4 = fe a b abg a2 = b2 = (ab)2 = e H1 = fe ag H2 = fe bg.  B4 = H1 H2  H1 \ H2 = feg: -   B4 && & ) & )   ' )  )) H1  H2: (.. B4 {   )) ,  )  )) H1  H2       . - $,   )&  ,   $ # /  )) B4     

   &  )   /  )  )) H1  H2 .) 9.3. -  m  n {   )        . ! )) 

   Zmn  ( ) & )   Zm  Zn. # , 

   a    a )   mn )      )  '(a) = (a0  a00 ),   a0 { 

    a )   m, a00 { 

    a )   n. , )   ()  !),  /   '  , ..       )   & a 

  a. -  (c0 b00 ) { )  & )  Zm  Zn c b 2 Z. 15



  # #       ' %     )   mn    a  ,  a c(m) a b(n), .. (c0  b00 ) = '(a) ,   , ' {  2  $. ) ,   '(a) = (a0  a00 ) = '(b) = (b0  b00 )  a b(m) a b(n).     (m n) = 1,   #    )  '    ,  a

= b(mn), .. a = b ,  ,  $ ' 2.  , '(a + b) = '(a + b) = ((a + b)0  (a + b)00 ) = (a0 + b0  a00 + b00 ) = (a0  a00 ) + (b0  b00 ) = '(a) + '(b) .. ' : Zmn ;! Zm  Zn {  (. 9.4. -  P n { (   n-  )      ) P: - )   P n  &  )) )     P n && & )   P|  :{z: :  P} n

'  )) )& P: 9.5.

.

 G1  : : :  Gn { , H1  : : :  Hn {     G1 : : :  Gn   , G = G1  : : :  Gn H = H1  : : :  Hn :   H {     G  G=H

= (G1 =H1 )  : : :  (Gn =Hn):   .

-   : G ;! (G1 =H1)  : : :  (Gn=Hn ) {  $, )  &  %  : (g1 : : :  gn) = (g1 : : :  gn)   gi = giHi : , )  ,   {  (  ))  ker  = H:   , H {    & )  ))  G  $#  (        ( '. 9.6. " #  )) Rn

  )  )) Zn  &%  n-   '  . 0  , Zn = |Z :{z: :  Z} : 

 9.3  9.4 n

Rn=Zn

= R=Z : : :  R=Z= T| 1  :{z: :  T 1} :

|

{z

}

n

n

   ,  )) T 1 = R=Z  (   #  $   ) # )  . !    ) & )   T 1  T 1 && & (2- )  . - /# )    )) T n = Rn=Zn    & n-    . 10.

*&# . +&  *(,-  !#.

-  G {  )) , S { ) $   G. -     ' )  ))  G,   $ %' S && &  *# )  ))#,   $ %# S: 0   &   16

< S >     &  ,     S , S    &   "  )) < S > : -  )) < S >       /   $' )  # s1s2 : : : sn (n  1)

(1)

   si 2 S  s;i 1 2 S:   / g 2< S >         $#  S ( S ;1)     )    g    (1). 10.1. -  G {  )) , S = fgg { $     / g 2 G:  )  )) < g > {    & )  ))  % / g: 10.2.  ,   & )   n-# ) && & )     )#.    ,   )   & $   %'  )) Sn: -        8.1  )  ,    3   & $   %'  ) #  )) An : -  X { $ .     X (    $ x11 x22 : : : xnn    xi 2 X (i = 1 : : :  n) i = 1:     &     ,          & &    x  x; : -  , .. ,    $ %     ,       e: 0    F (X ) $ ,  &%  e   '   ' . "  $  F (X )  %  . .  f 2 F (X )  ef = fe = f   f1 f2 2 F (X )  )*   f1  f2  )    %& (..   )        &% & 

 x  x;, )  )   )  ,     ). - #    / $  F (X )   )   f1f2 : $ )  ,  $  F (X ) )          $& F (X ) && &  ))#    / e: 0   / f = x11 : : : xnn && & / f ;1 = x;n n x;n;n1 1 : : : x;1 1 : ! )) F (X )    &    , ) $ # $  X: 10.3. .  X = fxg      / ,  F (X ) {    &    &  ))  % / x: ;

10.4.

.

$   #   ) ~ S {    G { ,     # S ~  , F (S ) { #    S ' : S ;! S { #  . %     &   F (S )  G  ,  (s) = '(s)  # s 2 S:  ' ' ,    ' . .  '  2,  / & H  (     &  !    )) G  S . , &    %' L )  )) H  F (S )    & "     !   )) G  S . -  #     ( ' F (S )=H

= G: -/   $  S  $ 

(

17

 L )  &  )) G      ( .   )   )) G    &    "    !  . 0 : G = (S kL): 10.5. -  G = B4 = fe a b abg {   &  )) # , S = fa bg: 0  , G =< S > :    #  (  : F (S ) ;! G =< S > ( . 10.4.)

     (      (  fa bg '  &   )) G  )  , (aaababbbbab;1 a;1 bba) = (a3 bab4 ab;1 a;1b2 a) = a3 bab4 ab;1 a;1b2 a = a: -     )       & (     F (S )   )) G: -  H = ker : - $,  H ) $  &   a2  b2 (ab)2 : # ,   )) G  % /   /  e   , /  $   H: -  H1  * &    & )  ))  F (S )   $ % & a2 b2  (ab)2 :  a a;1 (H1 ) b b;1 (H1 ) ab ba(H1 ): 0   ,    f 2 F (S )  ) mod H1     e a b ab .. jF (S )=H1 j 5 4:     H1 H  )     

G

= F (S )=H

= (F (S )=H1 )=(H=H1 ):

  , 4 = jGj = jF (S )=H j = jF (S )=H1 j : jH=H1 j  4 : jH=H1 j: 0  ) ,  jF (S )=H1j = 4  jH=H1 j = 1 .. H = H1: 10.6. - $,       )) S3 $    % a b 

*& a2  b2  (ab)3 : 0    a  b   ) (1 2) (1 3)  . - $,  a  b ) $   )) S3:      & & )  

   &  )     )# ( S3 / { (1 2) (1 3) (2 3)),

(2 3) = bab  S3 =< a b > : , )  ,   S3 )& & *& a2 = e b2 = e (ab)3 = e: -  F (S ) {   &  ))  S = fa bg G =< a bjj a2  b2  (ab)3 >= F (S )=H   H {  *#   #   F (S )

  $ %# fa2  b2  (ab)3 g: -   #   #  )) %   ( '  )) F (S )  S3 )    '(a) = (1 2) '(b) = (1 3): -  H1 = ker ' ' : F (S )=H1 ;! S3 {    #  (. 0   a2  b2  (ab)3 2 H1 ,   , H H1: -      %   2#  (  : F (S )=H ;! F (S )=H1 :   = '   : G ;! S3 {  2#  (. - $,  jGj  6: 0      ,   {  (,     jS3 j = 6: ! )) G    % a b )/ # / g 2 G   g = an1 bm1 : : : ank bmk    ni mi 2 Z:     a = a;1  b = b;1   $  ,  0  ni mi  1 i = 1 : : :  k: -&  *&   )) G & 

  ' )  # / a  b     $      )) G: -  ,   $ % 0 $#,    { / e: $

    )  & ab  ba ab 6= ba  G )   )     (ab) = (12)(13) &    (ba) = (13)(12)  S3 /   . -  #

an1 bm1 : : : ank bmk  ni mi 2 f0 1g 18

(5)

  ' 3 $&, {  : aba  bab: 0   / )  &   )) G : aba = ab;1 a;1 = a(ab);1 = a(ab)2 = a(ab)(ab) = bab: -  #  (5),   $ %' 4 $&, $ )    { abab  baba  abab = (ab)2 = (ab);1 = b;1 a;1 = ba   , baba = ab:    ,  / abab  baba  )  ' & 2. 3  ,    )) G  /  4, ,  , / *# .  ) ,    /  )) G   $  &   )  # e a b ab ba aba:   , jGj  6: 10.7. #     &  )) Dk =< a bkja2  b2  (ab)k > : - $,  jDk j = 2k: -  H =< g > {    &  ))  Dk  g = ab:     (ab)k = e  jH j  k: - $,  aga;1  bgb;1 2 H: 0      ,  H {   #   Dk : aga;1 = a(ab)a = ba = (ab);1 = g;1 2 H bgb;1 = b(ab)b = ba = g;1 2 H:     ab;1 = ab = g 2 H  a b( mod H ): 0   ,  Dk =H ) $  &   / a = aH ) &  2.   , jDk j  2k:      ,     )    )) G ) &  2k ) $  & /  a b  ,  a2 = b2 = (ab)k = e: "     )) G $ &  ))

 # )  n- ,  &    )  )        )  n-   2l=k l = 0 : : :  k ; 1   $#    #   n- . ! )) G ) $  & &  $ a  b    #  ,  $     # (   !). -   ab && & )    2=k   , (ab)k = e: - &   )) G  2k: -/ ) &  Dk  $  2k: "     )) G $  &       #  )) Z2 = f0 1g    #  )) Zk = f0 1 : : :  k ; 1g: - )    )) G     ' ) (u v) u 2 Z2 v 2 Zk ) # $& (u1 v1 )(u2 v2 ) = (u1 + u2 (;1)u2 v1 + v2):

. #  G && & ) (0 0) /,    (u v) && & )

(u ;(;1)uv): -$ a = (1 0) b = (1 1):  a2 = b2 = e ab = (0 1) (ab)s = (0 s) a(ab)s = (1 s).   , G ) $  & /  a b  a2 = b2 = (ab)k = e:  )  & G  ,  jGj = 2k. "  '

 ' )  ' & )  & ) &   )) G =< S jjL >,  #  % S  )  &% *& L ) & &     $ ) : 1) ) &   ))   &  '   n )% )   #    %'   )  &%' *#,  2)  ' 

   &  )) G1 ) &  n, % &    %' S , 19

&  ' )& &   )  &% *& L.    #   #  ))      ( '  

%    2  (  : G ;! G1:  1) ) ,   {  ( ,  , jGj = n: 3  ) & &  & *& )       )) G:        &  )) $   %' S , &  ' )& & *& L    )) G =< S jjL >    . " &    ))  %  )  &% *&  & # &    ' ) .    '       

 %   )   * , (     1911 . . /. -  G =< S jjL > : 1. $   : %    , )&%#      *  &  & )   U  (  S , )& &    )) G   U = e: .   #   &  )) G % ,   &,    )) G !     . (3 )      $ ) # $    ) #   .) 2. $     : %    , )&%# & ' ) '  U  V  (  S      *  & , ) &$  / U  V   )) G: 3. $     : %    , )&%# & ) #  )) G1 =< S1jjL1 >      *  & ,  (   )) G  G1 : -. .   1952 .   ,  %    )   &  )) (..  )) G =< S jjL > c   $   %' S    $  )  &%' *# L), &  # )      * .  #   )       * &  ))   )  &% * (    ). &  )) & *& )    * . -  ) &$   $   * . # ,   *  )  ) &$  &  )) G    *  )  ,     )   &  U   U = e { /  $,  )   ) &$ 

 U )  . -   (   * $ &  &,   )) G    ,  )  ,  G =< ajja > (   & , 1957). 11.

. & *  .

-  G {   )) ,  )   & . - $  S  G    &       ,   & #  #   / s1  : : :  sn 2 S   

m1s1 + m2s2 + : : : + mnsn = 0 (mi 2 Z i = 1 : : :  n)

 ,    mi = 0: $  S    &    )) G    #     < S >= G .. # / g 2 G $  )     ##   /  S  /(( . 20

! )) G    &     ,        . , &   ))  ( (   ))  #  # #  )). 11.1. -  Zn { $    )     Rn    ) . Zn && &  # #  ))#   

S = f(1 0 : : :  0) (0 1 : : :  0) : : :  (0 0 : : :  1)g:

"   '  )) ) & )    )) G1  : : :  Gn    & ) &# #    &   G1  : : :  Gn:   )) G    &   ) $ #,       #  #  %' S = fs1 : : :  sn g: " /    $ # / g 2 G $  )     g = m1s1 + m2s2 + : : : + mnsn (mi 2 Z i = 1 : : :  n): .    )      ,  S && &    G ,   , G {   &

  )) . " /   G

= Zn: .  ' 0: A ;! B & #    A  #  0 #    B A = ker ': %     B  A    A = A0  B0 : {

,

  .

-  fbigi2I {    #  )) B. "  / ai 2 A    '(ai ) = bi : "    )  )) B0 $ & )  )), ) $  /  ai  i 2 I: # ,   m1ai1 + : : : + mk aik = 0 , ) && ' )  m1bi1 + : : : + mk bik = 0 ,   , m1 = : : : = mk = 0 .. B0 {   & )  ))  A    fai i 2 I g:    ) ,  B0 \ A0 = f0g: .  a 2 A, '(a) = m1bi1 + : : : + mk bik   a ; (m1 ai1 + : : : + mk aik ) = a0 2 A0 :   , A = A0  B0 : .  G #  #    H    G:   H #  #      #  H       #  G: {

,

{

{

  .

+

   #,   )) G   #   fs1  : : :  sng:     )    # ) n. -  n = 1 $  && ) # / ms1 2 G m 2 Z $  ,  G = Z:    ,  & )  ))  Z   &  f0g  ( Z ..   . 0,   &  ))  $

  &  #. ) ,      &  '  ))     n ; 1 /, 

   )) G    fs1  : : :  sng: .  )  ))

H G   $ &   # )  )) G0 =< s1  : : :  sn;1 >  ) )  )$    $ &     & H: -  )  H 6 G:0 $   ' /(( )  sn  $#  $' /  H )    fs1  : : :  sn g    )  ))  Z.   & )  ))   (m) ..

    ' '  , &%' &  m m > 0. 0    ^h /  H &   /(( )  sn  $ )    fs1  : : :  sn g  m. 21

 &  h 2 H  #  &  k  ,  h ; k^h 2 H 0 = H \ G0 : - )  )$   H 0 {   & )  ))  G0    fh1 : : :  ht g t  n ; 1: )     &,  fh1 : : :  ht h^ g {   )  )) H   $ %# t + 1 /, t + 1  n:     , 

 ,         ) $ #  #

#  )) G   $       /.   /    

 # #  )) G    &   G    & rankG: .  G     #     n H    G H 6= f0g: %   # fy1  : : :  yn g  G    1  : : :  m  {

{

  ,  1) i j i+1  2) fxi = i yi  i = 1 : : :  mg  #  H:  1 : : :  m      1) { 2),      .

            )            . -    # -   )   /  )   &   '    A = (aij ): -    )  )    &  $  #-   (  )  1 )      ) {  )    i-#   j -#  , $#     (i 6= j ) (    & ).    A = (aij ) aij 2 Z        ,     /   #     , / aii  

#   aii  0 aii jai+1i+1: 1   )  )   &,    aii = 0  ajj = 0 & j > i: "   -      &,   & -   /  )   & $  )         . -       ) &  &         ,    &     '  . -/        )             )% / ' )   # )    )   &        ()  /     &

 &   '   ).  ),            -       )%  *' %' #   k- ) &  Dk :     Dk  & & )  / ' )   &',  / ei  &%   #    (   $) $  # ) (   e1 = D1  ei = Di =Di;1 i = 2 : : :  r ej = 0 j = r + 1 : : :  n: (1) 1   r {  *# ) & ,  '  &  . 3

$    )   &   #   '   ,   ,    #    #    $  $  # ) (   (1).  , )% / ' )   #       $ )         ,  # )  & &   . 0,  )           )   *

$ &     & ) &'   . -/  $   )     #   /  )   &        )    & ) &'   .  ,    & -  , )  & & /        )  ) ,   '   #    & ,   #      

22

  /  1,    ,  -1,    ) ,     &    #      / aij  i 6= j: ") /  )   &     (  )    A   $    A  ( )  )   % /    .  $ & /  &     )   1: -/ )   / '     $  )   1:    & -  ,         )   1    &  & .     & 

    ,   $ )       )  & / '   .       $,   & -  :     & 

    ,         && &    &   

(/    ,    #  n- ) &  { )      {  1, ,  ,    * %    Dk  $  1,

. (1)).          / ,      ' )  &  # )%     / ' )   #.    & -  , )    # /   &   '   :     n  m-   A  B /      , 

%   &        U  V  ,  B = UAV: -  )  S = fs1 : : :  sn g {    )) G, T = fw1 : : :  wm g {   )  )) H m  n: .  S 0 = fs01  : : :  s0n g { #    G     ) ' T = (tij )  S  S 0 & &   #  /(( , &  # %    &     /((  (   ) '  S 0  S ).    , jT j  jT ;1j = jT j;1 {    .   , P jT j = 1:     T {  &  &. + $ wi )    sj  j = 1 : : :  n wk = ni=1 aik si  aik 2 Z: "       $  )  (w) = (s)A   (w) {   (w1 : : :  wm) (s) {  

(s1  : : :  sn ) A = (aij ) { n  m-   . - '       H  G         )   &  : (w0 ) = (w)T1  (s0 ) = (s)T2    T1  T2 {  %    ) ' .    , (w0 ) = (w)T1 = (s)AT1 = (s0 )T2;1 AT1    ,    A0     &  "  "   '   wi0     (s0 )

&    # A * A0 = T2;1 AT1 :     T1 T2;1 {  &         A  A0 / .   , T1  T2 $    ,     A0     #  .   , $      (x)  (y)  H  G  ,    xi = iyi  i = 1 : : :  m: .      '   i                A: $  Tor(G) /   ) &   #  )) G   )  )),  &    &      . .  Tor(G) = feg   &,  G {      . " %   G=Tor(G) {  ))    &. # ,   ng = ng = 0  G=Tor(G)  ng 2 Tor(G) ,   , m(ng) = (mn)g = 0 &   m .. g 2 Tor(G) ,  , g = 0: -  A {   &   ))    fy1  : : :  yng H { )  ))  A

   fx1 = 1y1  : : :  xm = m ym g:   c1y1 + : : : + cnyn 7! (c1 : : :  cn) && &  (  )) A  Zn /  ( )   )  )) H  )  )) ( 1 )( 2): : :( m )(0) : : : (0): -/, 

    (   )) ) & )  &  )) ) ) & )     ' )  )), A=H

(2) = Z1  : : :  Zm  Zn;m 23

  ,

.

Tor(A=H )

= Z1  : : : Zm:

(3)

(    #    #    # .

  .

-  fs1 : : :  sn g {  %  )) G: +

      )) A    fs01  : : :  s0ng.   ' : c1s01 + : : : + cns0n 7! c1s1 + : : : + cnsn && & /) (  )) A  G: -  H = ker ':  G

= A=H:     ( . *), $      fy1  : : :  yn g fx1 : : :  xm g (m  n)  A  H

 ,  ,  xi = i yi  i = 1 : : :  m: 0   0 = Tor(G)

= Tor(A=H )

= n ; m



Z1  : : :  Zm ( . (3)). -/ 1 = : : : = m = 1  G = A=H = Z ( . (2)).   , G {   &  )) .   &   )) G    & p-   ,    ) &  && &

) )     p. . (    G     )       H1 : : :  Hn : G = H1  : : :  Hn:  G = K1  : : :  Kl     G     )        l = n          Ki

= Hi : {

,

  .

0  ,   &  )) && &   ) $ #. -     ) $   )) G    (   ))  #  )) A    ) )  )) H .. G

= A=H: ! )) A=H   (2).       *   A=H {   &  )) ,   (  (2) n = m  G

= A=H

= Z1  : : :  Zn: ! )) G { s )   &, jGj = p  )/     i && & )& )     p:  )  )     )) G    ) &#  )  '   '  )).     ij i+1  ( 1 : : :  n) = (pm1  : : :  pmn ) mi  mi+1 s = m1 + : : : + ms  G

= Zpm1  : : :  Zpmn :    $ p-)  #  )) G  ) &    ' ) ))      )    ) (pm1  : : :  pmn ):  $,   $& p-)  #  )) G  ) &    ' )  ))    ). $  pG = fpg j g 2 Gg && & )  ))#  G   (   )) G=pG      )  & & $  / )& Fp 

   )   p : ag = ag: "  ,   ))

G=pG   &   )      Fp :     Zpk=pZpk

= Z=pZ= Fp   &  $& G ) &  )  '   ' )  )), G

= Zpk1  : : :  Zpkl  G=pG

= Fp  : : :  Fp = Flp  .. l = dimFp G=pG: 1 , &  $& G  ) &    ' p-)  ' )  ))  

  '  $     G=pG     )     

Fp        $&. .    ) $&  $  # ) ) &   )) G: ! )) ) &  p && &   #   

 ' ' )  )), )/ G

= Zp {    $ G  24

) &    ' )  )). ) ,     ) $&    & p-)  '  )), ) &   ' * ) &   )) G: ) ,  p-)   &  )) G   )   &    ) &#    ' )  )):   $ ) (p : : :  p pmt  : : :  pmn )  { ) (p : : :  p pkr  : : :  pkn ): 1     )  ) $#      ,  ( Zp: & )  $&    '   ' t ; 1 &   { r ;1: ,   &,  )  )) pZpm  ( Zpm 1: "

 , pZp = f0g: & )  )) pG )   $&:   { ) (pmt ;1  : : :  pmn ;1)  { ) (pkr ;1  : : :  pkn ;1):     jpGj < jGj  ) )  )$   ) $# &  )) pG ) .    , t = r mt = kt : : :  mn = kn  /  ,  ) ' $#  )) G ) . p-)    )),   $ $  ) &    ' )  )), ) &  pm1  : : :  pmn  mi  mi+1     p-   (m1 : : :  mn).  p- )) ) (1 : : :  1)    &      p-  .     '   '  $ / # # p ))    & . ( )    #  ))   / #

# p- ))!) .  G   #      n = pk11 : : : pkmm (p1  : : :  pm     *  Gi             pi  #   #      G   pki i  G = G1  : : :  Gm : ;

{

{

).

,

  .

6   & )  )) , ) $  & / ) &  pk    $ &   # p-)  )).         p-)  )) ) &$,    & p-)  ))  #  #  ))        /, ) &  '   ) p. -  g 2 G  ) &  m = kl (k l) = 1 u v 2 Z  ,  ku + lv = 1:g $  )     g = 1g = (uk +vl)g = u(kg)+v(lg): 3 kg  ) &  l

lg { ) &  k:     (l u) = 1 / u(kg)  $  ) &  l:   , v(lg)  ) &  k:    , g = g1 + g2   g1 = u(kg) g2 = v(lg) { /   )  ' ) &  k  l:   ,   ) &  m /

g  ps11 ps22 : : : psrr    p1 : : :  pr {   )     ,  g = g1 + g2 + : : : + gr    / gi  ) &  pmi i  )/   $ &   # pi -)  )) Gi :    , G = G1 + G2 + : : : + Gm : 0      ,  /  { ) & &. -  0 6= gP2 Gi \ (j6=iGj ):   , g  ) &  pli l > 0:  #  , g = j6=i gj  gj 2 Gj :     Q pkj j gj = 0  tg = 0   t = j6=i pkj j : -/ pli jt )   . -  )) G1  : : :  Gm    &           )) G: .  G     #      G = Zr  Z1  Z2  : : :  Zm   i j i+1  i = 1 : : :  m ; 1:  r 1  : : :  m  i j i+1      G    {

.

.

  . 25

-      ) $   )) G    A=H (.. G

= A=H ),   A {   &   ))    , H { )  ))  A: 5  (2)

 $ $  )) G r = n ; m:  $  ,     

i  (  (2) * 1 (     (2),  % i = 1 { ). 5  (3)  $ )  )) Tor(A=H )

= Tor(G): 0  ) , n ; m r  G=Tor(G)

Z = Z {

  &



 ))

 r. -/   = r )     .     $,  Tor(G)

= Tor(A=H ) {   & ^

  )) . 0  Tor(G)   G: 0,    $&  )) G G

= Zr  Z1 : : :  Zq  ij i+1 i = 1 : : : q ; 1 1 > 1 ^  )  $ & )  )) G G^

=  = Z1  : : :  Zq  i j i+1 i = 1 : : :  q ; 1 1 > 1: (4) - $,    1 : : :  q )     .   &   )) G^     

   &  ) &  '  ' p-)  )).   p-)  ))  G^  (   p-)  ))   :  #    p-)  ))  : -  jG^ j = jj = 1 2 : : : q = pk11 pk22 : : : pkss  p1  : : :  ps {   )     . + $ i  )   $, (5) i = pl1i1 pl2i2 : : : pslis  i = 1 : : :  q lij  li+1j : 1     lij    0. ! )) Zi

   &  ) & 

'  ' p-)  )),   && &     ))  ) &  pl1i1  pl2i2  : : :  plis s  Zi

(6) = Zpl1i1  : : :  Zplsis : ^ "  ,  (4)  (6) )  $ G G^

=  = qi=1Zi = = qi=1Zpl1i1  : : :  Zplsis ]: (7) 02 &&     ##  (7),  % )     pj   )  $  # )  )) G^ (pj )  ) &  )  '   ' )  )), (8) G^ (pj )

= Z l1j  : : :  Z lqj : pj

pj

   ,   & pj -)  )) G^ (pj )  ) (l1j  : : :  lmj ) lij  li+1j :   , &  j = 1 : : :  s )  # pj -)  ))  G^ )  & &     $#   i  )   )  '   ( .(5)). 26

0 ,  & )  ' pj -)  )) G^ (pj ) .. & $& (8) & ^  )  )    G^   )   pj  &% ) &   )) G   (4): G^ = G^ (p1 )  : : :  G^ (ps )

= sj=1 Zpl1j  : : :  Zplqj ] = j j = qi=1Zpl1i1  : : :  Zplsis ] =

= Z1  : : :  Zq    i = pl1i1 pl2i2 : : : plsis :     lij  li+1j   ij i+1 i = 1 : : :  q ; 1:    ,  & )  ' pj -)  ))  G^ (l1j  : : :  lqj ) (/ ) )     !),      '    i:   n    &    )) G ( )    # #  ))   / # #  ))!).   1 : : :  k    &        )) G: -  G {   &   ))  jGj = ps11 : : : psnn : - $ % ,    # /((   &,  & )   ) G1 : : :  Gn  )) G Gi = qj i=1 Zpkij : 7   ,  ki1  ki2  : : :  kiqi : -  q = maxfqi  i = 1 : : :  ng: i    n  q -   ,  i-#    j-   #    pki ij :      )   .  /((   &  $  &

 %  : n Y q;j+1 = pki ij  j = 1 : : :  q i=1

.. q;i+1 && & )   / j-  )  #   .   .

G = ni=1Gi

)

= ni=1(qji=1 Zpkij = i & ) &    &

= qj=1(ni=1Z kij )

= qj=1 Zq pi

j+1 :

;

11.2. -  G {   )) ) &  324 = 22  34:  G = G1  G2   jG1 j = 22  jG2 j = 34 : . ,  )  , G1

= Z2  Z2 G2 = Z9  Z3  Z3  q1 = 2 q2 = q = 3 k11 = k12 = 1 k21 = 2 k32 = k23 = 1:  % &    







2 2 1 : 32 3 3

 1 = 3 2 = 6 3 = 18  G = Z3  Z6  Z18:

'&# 

27

1.    . . "    . .:   , 1977. 2.   ) . .,  & 8. . 0     )). .:   , 1977. 3. , .  . .:  , 1968. 4. 9 .  &  )). .: ,, 1962. 5.   "., 

., / .    &  &  )). .:   , 1974.

28