éJ ÊJÊjJË@ QÓQË@ Èñk áK PAÖß éʂʃ

25áK QÖß
. | G |= 10  m'.
IJ G áÓ éJ Ò£AK éJ KQk. èQÓP H ð ø XAJmÌ '@ AëQå”J« e ð èQÓP G áºJË
. |K| = 5 IJ  m'. éJ Ò£AK K éJ KQk. èQÓP ÉJ.® K G à @ áëQK. - 1
 ‚ I‚  
. é¢J .  Ë G à @ i.JJƒ@ - 2
. éJ ÊJÊm' G à @ áëQK. - 3

Ég
. |G| = 10 = 2.5 :AJK YË
:AJK YË . G áÓ éJ KQk. QÓP ñÊJƒ −5 Ë@ XY« n5 I.‚jJË - 1.2
 
n5 ≡ 1[5] n5 ≡ 1[5]
⇒ ⇒ n5 = 1
n5 /2 n5 ∈ {1, 2}

. K / G éJÓ ð |K| = 5 ©Ó G áÓ K èYJkð éJ KQk. èQÓP ñÊJƒ −5 Yg. ñK à X@

 ‚ I‚    
. é¢J .  Ë G à @ i.JJ‚¯ K / G à @ AÖß. ð K 6= G ð K 6= {e} àA¯ |K| = 5 àñ» áÓ - 2.2
 ÉÒªJ‚ éJ ÊJÊm' AîE @ G á« àAëQË - 3.2
. áJ¯Q£ .
 G  G |G| 
à B éJ KðX K èQÓQË@ éJÓ ð K =
|K|

= 2 à @ i.JJ‚ |K| = 5 ð K / G àñ» áÓ :úÍð B@ é®K Q¢Ë@

. éJ ÊK YJ.K úÍAJËAK. ð úÍð @ XY« AîDJ. KP
   éJÓ ð
:AJK YË ð D(G) ⊆ K à @ i.JJ‚

D(G) ⊆ K 6 G
⇒ D(G) 6 K
D(G) 6 G
: éJÓ ð
D(D(G)) 6 D(K) ⇒ D2 (G) 6 D(K)
 
. D2 (G) = {e} éJÓ ð . D(K) = {e} úÍAJËAK. ð éJ ÊK YJ.K úæê¯ úÍð @ XY« 5 AîDJ. KP à B éK PðX K à @ AÖß.
: à X@
∃n = 2 ∈ N∗ / D2 (G) = {e}

. éJ ÊJÊm' G
èQÓQË@ à @ úæªK @ Yë ð
 
àB G Ë éJ Ò£AK I.J»QK éJ ËAJJÓ ùë Σ : G ⊃ K ⊃ {e} : éJ ËAJË@ éJ ËAJJÖÏ @ à @ l• @ð : éJ KAJË@ é®K Q¢Ë@
G K á  G K 
àAJK PðX K ð {e} KQÓQË@ àA¯ áJËð @ 2 ð 5 ©Ó K =2ð
{e}
= 5 à @ AÖß. ð . K / G ð {e} / H
. àAJJÊK YJ.K éJÓ ð
. éJ ÊJÊm' G úÍAJËAK. ð éJ ÊK YJ.K AêÊÓ@ñ« É¿ éJ Ò£AK I.J»QK éJ ËAJJÓ ÉJ.® K G à X@

26 áK QÖß
. G Ë é® J‚Ö Ï @ èQÓQË@ D(G) ð èQÓP G áºJË
:úÍAJË@ ñ¯A¾JË@ á« áëQK. - 1
(∀x, y ∈ G, [x, y] ∈ D(G)) ⇔ (∀xi , yi ∈ G, 0 ≤ i ≤ n, [x1 , y1 ] · · · [xn , yn ] ∈ D(G))

f (D(G1 )) ⊆ D(G2 ) à @ áëQK. . f ∈ Hom(G1, G2) ð áKQÓP G2 , G1 áºJË - 2
 
. f (D(G1)) = D(G2) àA¯ @QÓA« f àA¿ @ X@ éK @ áëQK. - 3

Ég
 
: à @ Q»YK
D(G) = h{[x, y], x, y ∈ G}i

∀x, y ∈ G, [x, y] ∈ D(G) : à @ Q®K .È ð B@ Ð@QÊJƒ B@ á« áëQ.JË - (a - 1
: Q®Ë@ áÓ AJK YË . 0 ≤ i ≤ n , xi, yi ∈ G áºJË ð
∀i ∈ {1, . . . , n}, [xi , yi ] ∈ D(G)

: àA¯ èQÓP D(G) àñ» áÓ ð
[x1 , y1 ] · · · [xn , yn ] ∈ D(G)

: à @ Q®K .úGAJË@ Ð@QÊJƒ B@ á« áëQ.JË - (b
∀xi , yi ∈ G, 0 ≤ i ≤ n, [x1 , y1 ] · · · [xn , yn ] ∈ D(G)
. x, y ∈ G áºJË ð
: AJK YË , Q®Ë@ áÓ ð , 2≤i≤n , xi = y i = e ð y = y1 , x = x1 ©“ñK.
[x1 , y1 ][e, e] · · · [e, e] ∈ D(G)

. [x, y] ∈ D(G)
ø @ [x1, y1] ∈ D(G) éJÓ ð
  (b ð (a áÓ
.H. ñÊ¢ÖÏ @ ñ¯A¾JË@ i.JJ‚

. f (D(G1)) ⊆ D(G2) à @ áëQ.JË - 2
:AJK YË CKAÖß f àñ» áÓ . x1, x2 ∈ G1 ð [x1, x2] ∈ D(G1) ©Ó f ([x1, x2]) ∈ f (D(G1)) áºJË

2
 f ([x1 , x2 ]) = f (x−1 −1 −1 −1
1 x2 x1 x2 ) = f (x1 )f (x2 )f (x1 )f (x2 )

= (f (x1 ))−1 (f (x2 ))−1 )f (x1 )f (x2 )

= [f (x1 ), f (x2 )]
 
f ([x1 , x2 ]) ∈ D(G2 ) ø@ [f (x1 ), f (x2 )] ∈ D(G2 ) àA¯ f (x1 ), f (x2 ) ∈ G2 à @ AÖß.
: éJÓ ð
∀f ([x1 , x2 ]) ∈ f (D(G1 )), f ([x1 , x2 ]) ∈ D(G2 )

(1) f (D(G1 )) ⊆ D(G2 ) à X@


.QÓA« f à @ AÒÊ« úGAJË@ Z@ñJk B@ á« áëQ.JË . 2 È@ñ‚Ë@
 I.‚k Èð B@ Z@ñJk B@ AJK YË - 3
: AJK YË @QÓA« CKAÖß f àñ» áÓ . y1, y2 ∈ G2 ©Ó [y1, y2] ∈ D(G2) áºJË
∃x1 , x2 ∈ G1 / y1 = f (x1 ) ∧ y2 = f (x2 )
: éJÓ ð
−1 −1
[y1 , y2 ]) = [f (x1 ), f (x2 )] = (f (x1 )) (f (x2 )) )f (x1 )f (x2 )

= f (x−1 −1
1 )f (x2 )f (x1 )f (x2 )

= f (x−1 −1
1 x2 x1 x2 )

= f ([x1 , x2 ]) ∈ f (D(G1 ))

: éJÓ ð
∀[y1 , y2 ] ∈ D(G2 ), [y1 , y2 ] ∈ f (D(G1 ))
(2) D(G2 ) ⊆ f (D(G1 )) à X@
. éK . ñÊ¢ÖÏ @ è@ð A‚ÖÏ @ i.JJ‚
  (2) ð (1) áÓ

27 áK QÖß

. f ∈ End(G) ð AêË é® J‚Ö Ï @ èQÓQË@ D(G) ð ø XAJmÌ '@ AëQå”J« e ð èQÓP G áºJË

f (D(G)) = D(f (G)) : à @ áëQK. - 1
: à @ áëQK. . ø XAJmÌ '@ AëQå”J« e0 ð éJ ÊK YJ.K èQÓP G0 áºJË - 2
 
0 D
∀g ∈ Hom(G, G ), ∃!ϕ ∈ Hom , G0 / ϕ◦p=g
D(G)

. (
 ®Ë@
é҂  ɓAmÌ éÊÓA  ‚Ë@  éJ “AmÌ '@ ÉÒªJƒ@ ) .úGñKA®Ë@ QÒªË@ ñë p : G → D IJ  k
D(G)
. n éJ . KQË@ áÓ é® J‚Ö Ï @ èQÓQË@ ùë Dn(G) IJ  k ∀n ∈ N, f (Dn(G)) = Dn(f (G)) : à @ áëQK. - 3
 
. éJ ÊJÊm' f (G) àA¯ éJ ÊJÊm' G I KA¿ X@ éK @ 3 È@ñ‚Ë@  -4
 áÓ i.JJƒ@

3
 Ég
 
. úÎg@X ÉKAÖß f : G −→ G à @ AÒÊ« f (D(G)) = D(f (G)) à @ áëQ.JË - 1
àñºK f : G −→ f (G) éËAm  Ì '@ è Yë ú¯ ð . G2 = f (G) ð G = G1 Yg AK 26 áK QÒJË@ ÉÒªJ‚ à @ ù®ºK
.
  ¯ .@QÓA« CKAÖß
. f (D(G)) = D(f (G)) à @ à X@ i.JJ‚

ÉÒªJƒAK. , ϕ ÉKAÒJË@ éJ KYgð ð Xñk. ð á« àAëQ.Ë . D(G) / G à @ ÕΪK ð CKAÖß g : G −→ G0 áºJË - 2
   ®Ë@
 ɓAmÌ éÊÓA  ‚Ë@
 éJ “AmÌ '@
. D(G) ⊆ Kerg à @ áëQ.K à @ ù®ºK é҂
[x, y] ∈ D(G) áºJË à X@ . 5 áK QÒJÊË 1 È@ñ‚Ë@  I.‚k , [x, y] Yg AK à @ ù®ºK , D(G) áÓ @Qå”J« Yg B
:AJK YË . x, y ∈ G IJ  k
g([x, y]) = g(x−1 y −1 xy)

= g(x−1 )g(y −1 )g(x)g(y)

= (g(x))−1 (g(y))−1 )g(x)g(y)

= [g(x), g(y)]

 ð  
i.JJ‚ D(G0 ) = {e0 } AJK YË éJ ÊK YJ.K G0 àñ» áÓ ð [g(x), g(y)] ∈ D(G0) àA¯ g(x), g(y) ∈ G0 à @ AÖß.
 
: éJÓ ð . [x, y] ∈ Kerg à @ úæªK @ Yë ð . g([x, y]) = e0 ø @ [g(x), g(y)] = e0 à @
∀[x, y] ∈ D(G), [x, y] ∈ Kerg
   , é҂
 ®Ë@
 ɓAmÌ éÊÓA
 ‚Ë@ éJ “AmÌ '@ I.‚k ,úÍAJËAK. ð
: à @ i.JJ‚ D(G) ⊆ Kerg à X@
 
D
∃!ϕ ∈ Hom , G0 / ϕ◦p=g
D(G)

.©k. @QËAK. àAëQ.Ë@ ÉÒªJ‚ , n∈N É¿ Ég. @ áÓ f (Dn (G)) = Dn (f (G)) éJ “AmÌ '@ á« àAëQ.Ë - 3
  •  Ì
: à B éjJ m éJ“Am '@ n = 0 Ég. @ áÓ
f (D0 (G)) = f (G) = D0 (f (G))

: à X@ AJK YË . n éJ . KQË@ úæk

 éjJ  m• AîE @ Q®K . 1 È@ñ‚Ë@
 I.‚k éjJ  m• éJ “AmÌ '@ n = 1 Ég @ áÓ
.
 
( ©k. @QË@ éJ“Q¯ ) f (Dn (G)) = Dn (f (G))
 m• AîE @ áëQK ð
:ø @ (n + 1) éJ . KQË@ YJ« éjJ .
f (Dn+1 (G)) = Dn+1 (f (G))

:AJK YË ,©k. @QË@ éJ “@Q¯ ð 1  ÈAÒªJƒAK.

È@ñ‚Ë@

4
 f (Dn+1 (G)) = f (D(Dn (G)))

= D(f (Dn (G)))

= D(Dn f (G))

= Dn+1 (f (G)).

. n∈N
É¿ Ég. @ áÓ éjJ  m• éJ “AmÌ '@ à X@

∃n0 ∈ N∗ / Dn (G) = {e} 0 : à X@ . éJ ÊJÊm' G èQÓQË@ à @ Q®JË - 4
:Ym.' , n = n0 Ég. @ áÓ , 3  ÉÒªJƒAK. ð . éJ ÊJÊm' G ð f G) 6 G à B éJ ÊJÊm' f (G) à @ ¡kCK
È@ñ‚Ë@
f (Dn0 (G)) = Dn0 (f (G))
: éJÓ ð
f ({e}) = Dn0 (f (G)) ⇒ {e} = Dn0 (f (G))

. éJ ÊJÊm' f (G) úÍAJËAK. ð

áK QÖß 28

. |G| = 4p IJ  m'. , p ≥ 5 ,AJËð @ @XY« p ð ø XAJmÌ '@ AëQå”J« e ð éJ îDJÓ èQÓP G áºJË
  m'. H éJ Ò£AK éJ KQk. èQÓP ÉJ.® K G à @ áëQK. - 1
. éJ ÊJÊm' G à @ i.JJƒ@
 Õç' |H| = p IJ
. |HK| Yg. ð @ Õç' HK 6 G @ XAÖÏ É¯ . |K| = 2 IJ  m'. K éJ KQk. èQÓP ÉJ.® K G à @ ‡ ®m ' - 2
? J.H Ë ùë Éë . 3 AêËñ£ G Ë Σ éJ Ò£AK I.J»QK éJ ËAJJÓ Yg. ð @ - 3
. Dn(G) = {e} IJ  m'. n ùªJJ.¢Ë@ XYªË@ Yg. ð @ - 4

Ég
 
:AJK YË .AëXY« np áºJË ð p AîD.KP éJ KQk. QÓP ñÊJƒ −p ÉJ.®K G àA¯
 úÍð @ p ©Ó |G| = 4p à @ AÖß. - 1
 
np ≡ 1[p] np ≡ 1[p]
⇒
np /4 np ∈ {1, 2, 4}
   
. ( 4 ≡ 4[p] ð 2 ≡ 2[p] à B ) . np 6≡ 1[p] àA¯ np ∈ {2, 4} àA¿ @ X@ éK @ i.JJ‚  p ≥ 5 àñ» áÓ

à @ áëQ.JË . H / G éJÓ ð |H| = p ©Ó G áÓ H èYJkð éJ KQk. èQÓP ñÊJƒ −p Yg. ñK éJÓ ð . np = 1 à X@
. éJ ÊJÊm' G
 G G  
XY« AîDJ. KP àB éJ ÊK YJ.K H A’ @ . éJ ÊK YJ.K H
èQÓQË@ éJÓ ð .
H
= 4 = 22 àA¯ |H| = p ð H / G à @ AÖß.

: éJ ËAJË@ éJ ËAJJÖÏ @ à @ i.JJ‚
  .úÍð @
Σ : G ⊃ H ⊃ {e}

5
  
. éJ ÊJÊm' G àA¯ éJ ÊK YJ.K AêÊÓ@ñ« É¿ à @ AÖß. ð G Ë éJ Ò£AK I.J»QË@ éJ ËAJJÓ ùë

. ( éJ ÊJÊm' G à @ i.JJ‚   , àAJJÊK YJK AÒîE B , éJ ÊJÊm' H ð éJ ÊJÊm' G àñ» áÓ ð @ )
. H

 m'.
IJ G áÓ K éJ KQk. èQÓP Yg. ñK éK @ i.JJ‚   ñÊJ‚Ë úÍð B@ éK Q¢JË@ I‚k . |G| = 22p AJK YË - 2
.
 
. HK 6 G àA¯ H / G à @ AÖß. . |K| = 2
 
: AJK YË ð . H ∩ K = {e} àA¯ pgcd(|H|, |K|) = pgcd(p, 2) = 1 à @ AÖß. ð
|H||K|
|HK| = = 2p
|H ∩ K|
 
: àB H 6 HK à @ l• @ð - 3

H ⊆ HK 6 G
⇒ H 6 HK
H6G
 
I.J»QK éJ ËAJJÓ úΫ ɒm' éJÓ ð . H / HK ð HK / G àA¯ [HK : H] = 2 ð [G : HK] = 2 à @ AÖß. ð
: G Ë Σ éJ Ò£AK
Σ0 : G ⊃ HK ⊃ H ⊃ {e}
. Long(Σ0 ) = 3 ©Ó
  
. J.H Ë éJ ËAJJÓ ùë Σ
 ‚ ÉÓ@ñªË@ è Yë àA
úÍAJËAK. ð é¢J . ¯ éJËð @ Σ ÉÓ@ñ« É¿ I.KP à @ AÖß.

∃n ∈ N∗ / Dn (G) = {e} : ø @ éJ ÊJÊm' G à @ , 1 È@ñ‚Ë@
 áÓ ,ÕΪK - 4
 . JË
. n á« Ij
  G 
: éJÓ ð . H 6= {e} ©Ó D1(G) 6 H à @ ø @ D(G) 6 H àA¯ éJ ÊK YJ.K H à @ AÖß.
D1 (G) 6 H ⇒ D(D1 (G)) 6 D(H)

⇒ D2 (G) 6 D(H)
 
. n=2 éJÓ ð D2 (G) = {e} à X@ . D(H) = {e} àA¯ éJ ÊK YJ.K H à @ AÖß. ð

6
 áK QÖß
29

. n≥1 , |G| = pn  m'. AJËð @ @XY« p ð ø XAJmÌ '@ AëQå”J« e ð éJ îDJÓ èQÓP G áºJË
IJ
 ‚ I‚ 
. é¢J .  Ë G à @ áëQK. - 1
. ( G Q»QÓ Z(G) ÉÒªJƒ@ :XAƒP@  ) . éJ ÊJÊm' G à @ áëQK. - 2

Ég
  ‚ G à @ Q»YK - 1
: áJËAg Q.JªJË . G ð {e} ùë G áÓ èYJkñË@ éJ Ò£AJË@ éJ KQm.Ì '@ QÓQË@ à @ úæªK é¢J .

:AJK YË ñÊJ‚Ë úÍð B@ éK Q¢JË@ I.‚k . α ∈ {1, . . . , n − 1} áºJË ð éJ ÊK YJ.K G à @ Q®JË - (a
∃H 6 G / |H| = pα
èQÓP ÉJ® K    
. G à X@ . H /G àA¯ éJ ÊK YJ.K G à @ AÖß. ð . α 6= n à B H 6= G ð α 6= 0 à B H 6= {e} ©Ó
 ‚ I‚   
. é¢J .  Ë G úÍAJËAK. ð . G á« ð {e} á« ­ÊJm' éJÒ£AK éJKQk.
AJK YË 2 ɒ®Ë@ ú¯ ‡K . Aƒ áK QÖß I.‚k ð . Z(G) 6= G YKYJ« . éJ ÊK YJ.K I‚  Ë G à @ Q®JË - (b
 ‚ I‚   
. é¢J .  Ë G à @ i.JJ‚¯ Z(G) / G à @ AÖß. ð Z(G) 6= {e}

. n ùªJJ.¢Ë@ YªË@ úΫ ©k. @QËAK. àAëQ.Ë@ ÉÒªJ‚Ë . éJ ÊK YJ.K ð G áÓ éJ Ò£AK éJ KQk. èQÓP Z(G) à @ ÕΪK - 2

. éJ ÊJÊm' úÍAJËAK. ð éJ ÊK YJ.K G éJÓ ð ,úÍð @ p à B éK PðX G à X@ . |G| = p AJK YË , n = 1 Ég. @ áÓ
  m• éJ “AmÌ '@ à @ Q®JË
éJ ÊJÊm' úæê¯ , 1 6 i 6 n − 1 , pi AîDJ. KP èQÓP É¿ à @ ø @ (n − 1) éJ . KQË@ úæk  éjJ
  m• AîE @ áëQK ð
. éJ ÊJÊm' úæê¯ pn AîDJ. KP èQÓP É¿ à @ áëQ.K ø @ n éJ . KQË@ YJ« éjJ .
n  '  
. |G| = p IJm . èQÓP G áºJË à X@
ú¯ ‡K . Aƒ áK QÖß I.‚k ð . Z(G) 6= G à X@ . éJ ÊK YJ.K I‚  Ë G à @ Q®JË . éJ ÊJÊm' AîEA ¯ éJ ÊK YJ.K G I KA¿ @ X@
: à X@ . Z(G) 6= {e} AJK YË 2 ɒ®Ë@
|Z(G)| / |G| ⇒ |Z(G)| ∈ {p, p2 , . . . , pn−1 }
 
1 1 1
∈ ,..., : éJÓ ð
|Z(G)| pn−1 p
:AJK YË ð
G |G|
= ∈ {p, p2 , . . . , pn−1 }
Z(G) |Z(G)|
 G èQÓQË@ à @ iJJ‚
àñ» áÓ ð . éJ ÊK YJ.K AîE B éJ ÊJÊm' Z(G) AJK YË . éJ ÊJÊm' Z(G)   
.  , ©k. @QË@ éJ“Q¯ áÓ

. 8.2.1 éK Q¢JË@ I.‚k éJ ÊJÊm' G à @ i.JJ‚  éJ ÊJÊm' Z(G) ð éJ ÊJÊm' G
Z(G)

7
 30 áK QÖß
é¯QªÖ
 Ï@ G áÓ [A, B] AëQÓP éJ KQm.Ì '@ èQÓQË@ Q.JªK .AîDÓ éJ ËAg Q« éJ KQk. QÓP C ð B , A ð èQÓP G áºJË
:K.
[A, B] = h {[a, b], a ∈ A, b ∈ B} i, [a, b] = a−1 b−1 ab

B ⊆ C ⇒ [A, B] ⊆ [A, C] [A, B] = [B, A]
: à @ áëQK. - 1
ð

I KA¿ @ X@ éK Q»QÓ AîE @ Σ á« Èñ® K . G Ë I.J»QK éJ ËAJJÓ Σ : G = G0 ⊃ G1 ⊃ · · · ⊃ Gn = {e} áºJË - 2
 
   Gi G

: àA¿ @ X@ ¡®¯ ð @ X@ éK Q»QÓ Σ àñºK éK @ áëQK. . ∀i ∈ {0, · · · , n − 1}, G ≤ Z G ð éJ Ò£AK
i+1 i+1
∀i ∈ {0, · · · , n − 1}, [Gi , G] ≤ Gi+1

∀k ≥ 1, Γk+1 ≤ Γk : à @ áëQK. . ∀k ≥ 1, Γk+1 = [Γk , G] ð Γ1 = G ©’ - 3


∀k ≥ 1, Γk @ G : à@ áëQK. - 4
 
. éJ ÊJÊm' G àA¯ éK Q»QÓ éJ ËAJJÓ ÉJ.® K G I KA¿ @ X@ éK @ áëQK. - 5

Ég
 áÓ ùë [A, B] Qå•AJ« à @ ÕΪK
 k [a1, b1][a2, b2] · · · [an, bn] ɾ‚Ë@
AÜ Ï . 1 6 i 6 n , ai ∈ A, bi ∈ B IJ
 m• ù®J K l' AJJË@ ð b ∈ B ð a ∈ A ©Ó [a, b] ∈ [A, B] Yg AK à @ ù®ºK [A, B] áÓ @Qå”J« Yg AK
éjJ . .
. 26 áK QÒJË@ áÓ 1 È@ñ‚Ë@
 I.‚k

. [G, G] = D(G) à @ ¡kCK
:AJK YË . b ∈ B ð a ∈ A ©Ó [a, b] ∈ [A, B] áºJË - 1
[a, b] = a−1 b−1 ab = (b−1 a−1 ba)−1 = [b, a]−1
 
. [A, B] ⊆ [B, A] à X@ . [a, b] ∈ [B, A] éJÓ ð [b, a]−1 ∈ [B, A] àA¯ [B, A] 6 G ð [b, a] ∈ [B, A] à @ AÖß.
. éK . ñÊ¢ÖÏ @ è@ð A‚ÖÏ @ i.JJ‚
  áK@ñJkB @ áÓ ð . [B, A] ⊆ [A, B] Ym' ½Ë Y» ð
.
    B ⊆ C àñ» áÓ
. [B, A] ⊆ [C, A] A’ @ AJK YË ð . [A, B] ⊆ [A, C] à @ éËñîD ɾK. i.JJ‚
: G Ë I.J»QË@ éJ ËAJJÓ Σ áºJË - 2
Σ : G = G0 ⊃ G1 ⊃ · · · ⊃ Gn = {e}
 
à @ áëQ.K ð i ∈ {0, . . . , n − 1} áºJË . éK Q»QÓ Σ éJ ËAJJÖÏ @ à @ Q®K .È ð B@ È@QÊJƒB @ á« áëQ.JË - (a
 
: AJK YË . [gi, g] ∈ [Gi, G] áºJË . [Gi, G] ⊆ Gi+1 à @ áëQ.K à @ ù®ºJ¯ . [Gi, G] 6 Gi+1
Gi
gi ∈ Gi ⇒ gi ∈
Gi+1

8
 G
g∈G⇒g∈
Gi+1
   
G  Gi G 
:AJK YË ð . gi g = ggi ø@ gi g = g gi éJÓ ð gi ∈ Z àA¯ ≤Z à @ AÖß. ð
Gi+1 Gi+1 Gi+1
gi g = ggi ⇒ (ggi )−1 (gi g) = e

⇒ (gi −1 g −1 )(gi g) = Gi+1

⇒ gi−1 g −1 gi g = Gi+1

⇒ gi−1 g −1 gi g ∈ Gi+1

⇒ [gi , g] ∈ Gi+1
: éJÓ ð
∀[gi , g] ∈ [Gi , G], [gi , g] ∈ Gi+1

: AJK YË ð , 0 ≤ i ≤ n − 1 , i É¿ Ég. @ áÓ @ Yë ð [Gi , G] ⊆ Gi+1 à X@


 [Gi , G] ⊆ Gi+1 6 G
⇒ [Gi , G] 6 Gi+1
Gi+1 6 G

  
: à @ i.JJ‚
∀i ∈ {0, · · · , n − 1}, [Gi , G] ≤ Gi+1
  
Σ éJËAJJÖÏ @ à @ áëQ.K ð , 1 ≤ i ≤ n − 1 , [Gi , G] ≤ Gi+1 à @ Q®K .úGAJË@ È@QÊJƒB @ á« áëQ.JË - (b
. éK Q»QÓ
  
. ( Gn / G ð G0 / G à @ l• @ð ) . 1 ≤ i ≤ n − 1 , Gi / G : à @ ø @ éJ Ò£AK Σ éJ ËAJJÖÏ @ à @ áëQ.K Bð @ -

. g−1gig ∈ Gi à @ áëQ.K ð gi ∈ Gi ð g ∈ G áºJË ð i ∈ {1, . . . , n − 1} áºJË
    (a áÔ¯ gi ∈ Gi ð g ∈ G à @ AÖß.
à @ Ym.' Gi+1 6 Gi àñ» áÓ ð gi−1g−1gig ∈ Gi+1 à @ i.JJ‚
 
: éJÓ ð . g−1gig ∈ Gi ø @ gi(gi−1g−1gig) ∈ Gi àA¯ Gi 6 G ð gi ∈ Gi à @ AÖß. ð . gi−1g−1gig ∈ Gi
∀g ∈, G, ∀gi ∈ Gi , g −1 gi g ∈ Gi
1≤i≤n−1 , i É¿ Ég. @ áÓ Gi / G à X@
 
Gi G  Q
. ∀i ∈ {0, · · · , n − 1},
Gi+1
≤Z
G
: à @ áë .K AJKAK -
i+1
 
Gi G  
. Gi+1
⊆Z
Gi+1
à @ áëQ.K à @ ù®ºK . i ∈ {0, · · · , n − 1} áºJË
à @ áëQ.K ð g ∈ GG áºJË . gi ∈ GGi áºJË

: AJK YË . gi g = g gi
i+1 i+1

9
 gi−1 g −1 gi g = [gi , g] ⇒ gi−1 g −1 gi g ∈ [Gi , G]


⇒ gi−1 g −1 gi g ∈ Gi+1 ( [Gi , G] 6 Gi+1 àB )
⇒ gi−1 g −1 gi g = Gi+1 = e

⇒ gi−1 g −1 gi g = Gi+1 = e

⇒ (ggi )−1 (gi g) = e

⇒ gi g = ggi

⇒ gi g = g gi
   
Gi G G   
∀gi ∈
Gi+1
, gi ∈ Z
Gi+1
: éJÓ ð . gi ∈ Z G à @ i.JJ‚
i+1
 
Gi G
. 0≤i≤n−1 , i É¿ Ég. @ áÓ ⊆Z à X@
Gi+1 Gi+1

  
:AJK YË ð
Gi G G
⊆Z 6



 Gi+1
 Gi+1 Gi+1 Gi

G

⇒ 6Z

 Gi G Gi+1 Gi+1
6


Gi+1 Gi+1


 
Gi G
. ∀i ∈ {0, · · · , n − 1}, ≤Z àX@
Gi+1 Gi+1
:AJK YË , k=1 Ég. @ áÓ .©k. @QËAK. àAëQ.Ë@ ÉÒªJ‚ - 3
Γ2 = [Γ1 , G] = [G, G] = D(G) 6 G = Γ1 ⇒ Γ2 6 Γ1

[Γk , G] 6 [Γk−1 , G] ø@ Γk+1 6 Γk éJÓ ð , k éJ . KQË@ úæk  m• AîE @ Q®K . éjJ
 éjJ  m• éJ “AmÌ 'A¯
: AJK YË . Γk+2 ≤ Γk+1 ø @ (k + 1) éJ . KQË@ YJ« éjJ m• AîE @ áëQK ð
.
    
 ÈAÒªJƒAK. ð Γk+1 6 Γk ©k. @QË@ éJ“Q¯ áÓ
Γk+2 6 Γk+1 à @ ø @ [Γk+1, G] 6 [Γk , G] à @ i.JJ‚ 1 È@ñ‚Ë@
. k ≥ 1 , k É¿ Ég. @ áÓ éjJ m• éJ “AmÌ '@ à X@

. ©k. @QËAK. àAëQ.Ë@ ÉÒªJ‚Ë . ∀k ≥ 1, α(Γk ) = Γk : à @ áëQ.K ð α ∈ Aut(G) áºJË - 4
:AJK YË , k = 1 Ég. @ áÓ
α(Γ1 ) = α(G) = G = Γ1
 m• AîE @ áëQK ð . α(Γk ) = Γk éJÓ ð , k éJ KQË@ úæk
YJ« éjJ  m• AîE @ Q®K . éjJ
 éjJ  m• éJ “AmÌ 'A¯
. .

:AJK YË . g ∈ G ð x ∈ Γk ©Ó [x, g] ∈ Γk+1 = [Γk , G] áºJË . α(Γk+1) = Γk+1 : à @ ø @ (k + 1) éJ . KQË@
10
 α([x, g]) = α(x−1 g −1 xg)

= α(x−1 )α(g −1 )α(x)α(g)

= (α(x))−1 (α(g))−1 α(x)α(g)

= [α(x), α(g)]
 
. α(x) ∈ Γk ð α(g) ∈ G àA¯ ©k. @QË@ éJ “Q¯ I.‚k ð x ∈ Γk ð g ∈ G à @ AÖß.
: X@ . ∀[x, g] ∈ Γk+1 , α([x, g]) ∈ Γk : éJÓ ð . α([x, g]) ∈ Γk+1 à X@ . [α(x), α(g)] ∈ [Γk , G] éJÓ ð
(1) α(Γk+1 ) ⊆ Γk+1 .

:Ym.' PA‚Ë@ áÓ α I.J»QK. ð . α−1 (Γk+1 ) ⊆ Γk+1 à @ Ym.' é®K Q¢Ë@ ®JK. ð α−1 ∈ Aut(G) Yg AK. Õç'
(2) Γk+1 ⊆ α(Γk+1 ).

:AJK YË , α ∈ Aut(G) É¿ Ég. @ áÓ úÍAJËAK. ð . α(Γk+1 ) = Γk+1

è@ð A‚ÖÏ @ iJJ‚
 (2) (1)
.  ð áÓ
∀k ≥ 1, α(Γk ) = Γk
. ∀k ≥ 1, Γk @ G : à X@

Σ : G = G0 ⊃ G1 ⊃ · · · ⊃ Gn = {e} : éK Q»QÓ éJ ËAJJÓ ÉJ.® K G à @ Q®K - 5

 
: ‡ ®m ' ð éJ Ò£AK Σ à X@
Gi G
∀i ∈ {0, · · · , n − 1}, ≤Z
Gi+1 Gi+1

, i É¿ Ég. @ @ Yë áÓ éJ ÊK YJ.K GGi àA¯ éJ ÊK YJ.K

 èQÓP ñë èQÓP Q»QÓ à @ AÖß. ð
. 0≤i≤n−1
i+1
. éJÊJÊm' G úÍAKAK ð . éJ ÊK YJK AêÊÓ@ñ« É¿ ð éJ Ò£AK Σ I.J»QË@ éJ ËAJJÓ ÉJ.® K G à X@
. .

11
12