arxiv:math/ v6 [math.gr] 9 Jun 2008

Transcription

1 arxiv:math/ v6 [math.gr] 9 Jun 2008 ÖÓÙÔ Ò Â Ò¹È ÖÖ Ë ÖÖ

2 ÓÙÖ Ð³ ÓÐ ÆÓÖÑ Ð ËÙÔ Ö ÙÖ Â ÙÒ ÐÐ 1978/1979 Ö Ô Ö Å ÖØ Ò Ù Ð Ö Ø Ø Ö Ò ÓÐ Ø Ò ÅÓÒØÖÓÙ 1979µ Ö Ú Ø ØÖ Ò Ö Ø Ò Ä Ì Ô Ö Æ ÓÐ ÐÐ Ö Ý ÇÐ Ú Ö Ó Ò Ø ÑÑ ÒÙ Ð Ê Ý ËØÖ ÓÙÖ È Ö 2004µ

3 Ì Ð Ñ Ø Ö ½ ÈÖ Ð Ñ Ò Ö ½º½ Ø ÓÒ ÖÓÙÔ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½º¾ ËÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ ÖÓÙÔ ÑÔÐ º º ½º ÐØÖ Ø ÓÒ Ø Ø ÓÖ Ñ ÂÓÖ Ò¹À Ð Ö º º º º º º º º º º º º º º º º º º º ¾ Ì ÓÖ Ñ ËÝÐÓÛ ½¼ ¾º½ Ò Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½¼ ¾º¾ Ü Ø Ò p¹ëýðóû º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½¼ ¾º¾º½ ÈÖ Ñ Ö ÑÓÒ ØÖ Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º ½½ ¾º¾º¾ Ë ÓÒ ÑÓÒ ØÖ Ø ÓÒ Å ÐÐ Ö¹Ï Ð Ò Øµ º º º º º º º º º º º º º º ½½ ¾º ÈÖÓÔÖ Ø p¹ëýðóû º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½¾ ¾º Ù ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ÖÓÙÔ Ö ÓÐÙ Ð Ø ÖÓÙÔ Ò ÐÔÓØ ÒØ ½ º½ ÖÓÙÔ Ö ÓÐÙ Ð º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ º¾ ËÙ Ø ÒØÖ Ð Ò ÒØ º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾¼ º ÖÓÙÔ Ò ÐÔÓØ ÒØ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾½ º ÖÓÙÔ Ò ÐÔÓØ ÒØ Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ º ÖÓÙÔ Ð Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ º ËÓÙ ¹ ÖÓÙÔ Ö ØØ Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ Ó ÓÑÓÐÓ Ø ÜØ Ò ÓÒ ¾ º½ Ò Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ º¾ ÜØ Ò ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ º ÖÓÙÔ Ò ÙÒ Ö Ø Ö ÒÙÐÐ Ø º º º º º º º º º º º º º º º º º º º º º º º ÜØ Ò ÓÒ ÖÓÙÔ ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ º º º º º º º º º º º º º º Ê Ð Ú Ñ ÒØ ³ ÓÑÓÑÓÖÔ Ñ º º º º º º º º º º º º º º º º º º º º º º º

4 Ì Ð Ñ Ø Ö ÖÓÙÔ Ö ÓÐÙ Ð Ø ÓÙ ¹ ÖÓÙÔ À ÐÐ ¼ º½ Π¹ ÓÙ ¹ ÖÓÙÔ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¼ º¾ ÈÖ Ð Ñ Ò Ö ÓÙ ¹ ÖÓÙÔ Ô ÖÑÙØ Ð º º º º º º º º º º º º º º º º º º º ½ º ËÝ Ø Ñ Ô ÖÑÙØ Ð ÓÙ ¹ ÖÓÙÔ ËÝÐÓÛ º º º º º º º º º º º º º º º ¾ º ÑÓÒ ØÖ Ø ÓÒ Ù Ø º º½ º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÍÒ Ö Ø Ö Ö ÓÐÙ Ð Ø º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÑÓÒ ØÖ Ø ÓÒ Ù Ø º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÖÓÙÔ ÖÓ Ò Ù º½ Ê ÙÒ ÓÒ ÓÒ Ù Ù ³ÙÒ ÓÙ ¹ ÖÓÙÔ º º º º º º º º º º º º º º º º º º º º¾ ÖÓÙÔ ÖÓ Ò Ù Ò Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º ËØÖÙØÙÖ N º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ËØÖÙØÙÖ H º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¼ ÌÖ Ò ÖØ ¾ º½ Ò Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ º¾ ÐÙÐ Ù ØÖ Ò ÖØ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º Ü ÑÔÐ ³ÙØ Ð Ø ÓÒ Ù ØÖ Ò ÖØ º º º º º º º º º º º º º º º º º º º º º º º º½ ÈÖ Ñ Ö Ü ÑÔÐ Ù µ º º º º º º º º º º º º º º º º º º º º º º º º º¾ Ë ÓÒ Ü ÑÔÐ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÌÖ Ò ÖØ Ò ÙÒ ÓÙ ¹ ÖÓÙÔ ËÝÐÓÛ º º º º º º º º º º º º º º º º º º º º ÔÔÐ Ø ÓÒ ÖÓÙÔ ÑÔÐ ³ÓÖ Ö ÑÔ Ö Ò Ö ÙÖ 2000 º º º º º º º º ÔÔÐ Ø ÓÒ ÖÓÙÔ ÑÔÐ ÒÓÒ Ð Ò ³ÓÖ Ö Ò Ö ÙÖ 200 º º º º º Ì ÓÖ Ö Ø Ö ¼ º½ Ê ÔÖ ÒØ Ø ÓÒ Ø Ö Ø Ö º º º º º º º º º º º º º º º º º º º º º º º º º ¼ º¾ Ê Ð Ø ÓÒ ³ÓÖØ Ó ÓÒ Ð Ø º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ º Ö Ø Ö Ø ÓÒØ ÓÒ ÒØÖ Ð º º º º º º º º º º º º º º º º º º º º º º º º Ü ÑÔÐ Ö Ø Ö º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÈÖÓÔÖ Ø ³ ÒØ Ö Ð Ø º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÔÔÐ Ø ÓÒ Ø ÓÖ Ñ ÙÖÒ º º º º º º º º º º º º º º º º º º º º º º ¼ º ÑÓÒ ØÖ Ø ÓÒ Ù Ø ÓÖ Ñ ÖÓ Ò Ù º º º º º º º º º º º º º º º º º º ½ Ð Ó Ö Ô ÁÒ Ü

5 Ô ØÖ ½ ÈÖ Ð Ñ Ò Ö Ô ØÖ Ø ÒØ ÐÐ Ñ ÒØ ÓÒ Ø ØÙ Ö ÔÔ Ð ÙÖ Ð Ø ÓÖ Ò Ö Ð ÖÓÙÔ º Ä Ð ØØÖ G Ò ÙÒ ÖÓÙÔ º ½º½ Ø ÓÒ ÖÓÙÔ Ò Ø ÓÒ ½º½ ÇÒ Ø ÕÙ Ð ÖÓÙÔ G ÓÔ Ö Ù ÙÖ ÙÒ Ò Ñ Ð X гÓÒ ³ Ø ÓÒÒ ÙÒ ÔÔÐ Ø ÓÒ { G X X Ú Ö ÒØ Ð ÓÒ Ø ÓÒ (g, x) ½µ g.(g.x) = (gg ).x ÔÓÙÖ ØÓÙØ x X Ø ØÓÙØ ÓÙÔÐ (g,g ) G Gº g.x ¾µ 1.x = x ÔÓÙÖ ØÓÙØ x X Ó 1 Ø Ð³ Ð Ñ ÒØ Ò ÙØÖ Gº Ê Ñ ÖÕÙ º Ä ÓÒÒ ³ÙÒ Ø ÓÒ Ù G ÙÖ X ÕÙ Ú ÙØ Ð ÓÒÒ ³ÙÒ ÓÑÓÑÓÖÔ Ñ τ G Ò Ð ÖÓÙÔ S X Ô ÖÑÙØ Ø ÓÒ X Ò ÔÓÙÖ ØÓÙØ g G Ø ØÓÙØ x X Ô Ö τ(g)(x) = g.x. ÇÒ ÙÖ Ø ÙÒ Ò Ø ÓÒ Ò ÐÓ Ù ÔÓÙÖ Ð ÓÔ Ö Ø ÓÒ ÖÓ Ø º Ä ÖÓÙÔ G ÓÙÔ ÐÓÖ X Ò ÓÖ Ø ÙÜ Ð Ñ ÒØ x Ø y X ÓÒØ Ò Ð Ñ Ñ ÓÖ Ø Ø ÙÐ Ñ ÒØ ³ Ð Ü Ø g G Ø Ð ÕÙ x = g.yº ij Ò Ñ Ð ÓÖ Ø Ø Ð ÕÙÓØ ÒØ X Ô Ö G Ø Ø ÒÓØ G\X Ò Ð ³ÙÒ Ø ÓÒ Ù Ø X/G Ò Ð ³ÙÒ Ø ÓÒ ÖÓ Ø µº Ò Ø ÓÒ ½º¾ ÇÒ Ø ÕÙ G Ø ØÖ Ò Ø Ú Ñ ÒØ ÙÖ G\X Ø Ö Ù Ø ÙÒ Ð Ñ Òغ Ò Ô ÖØ ÙÐ Ö Ð ÖÓÙÔ G Ø ØÖ Ò Ø Ú Ñ ÒØ ÙÖ ÕÙ ÓÖ Ø º Ò Ø ÓÒ ½º ËÓ Ø x X ÓÒ ÔÔ ÐÐ Ø Ð Ø ÙÖ x ÓÙ Ü Ø ÙÖ xµ Ø ÓÒ ÒÓØ H x Ð ÓÙ ¹ ÖÓÙÔ G ÓÖÑ Ð Ñ ÒØ g G ÕÙ Ü ÒØ x º º Ø Ð ÕÙ g.x = xµº

6 ½º¾º ËÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ ÖÓÙÔ ÑÔÐ Ê Ñ ÖÕÙ º Ë G ÓÔ Ö ØÖ Ò Ø Ú Ñ ÒØ ÙÖ X Ø x X ÓÒ ÙÒ Ø ÓÒ G/H x ÙÖ X ÓÒÒ Ô Ö gh x g.x Ó G/H x Ø Ð³ Ò Ñ Ð Ð Ù G ÑÓ ÙÐÓ H x º Ë x X Ð Ü Ø g G Ø Ð ÕÙ x = g.xº ÐÓÖ H x = gh x g 1 º ÓÒ Ò Ö ÔÓ ÒØ Ö Ú ÒØ Ö ÑÔÐ Ö Ð Ø Ð Ø ÙÖ x Ô Ö ÙÒ ÓÒ Ù Ù º ÁÒÚ Ö Ñ ÒØ H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ÐÓÖ G Ø ØÖ Ò Ø Ú Ñ ÒØ ÙÖ G/H Ø H Ø Ð Ð Ð 1º Ò Ð ÓÒÒ X ÙÖ Ð ÕÙ Ð G ÓÔ Ö ØÖ Ò Ø Ú Ñ ÒØ Ö Ú ÒØ ÐÐ ³ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø ÖÑ Ò ÓÒ Ù ÓÒ ÔÖ º Ü ÑÔÐ º ËÓ Ø X ÙÒ ÖÓ Ø Ò Ò ÙÖ ÙÒ ÓÖÔ K Ø Ó Ø G Ð ÖÓÙÔ Ñ Ð ØÙ G = {x ax + b, a K, b K}. Ä ÖÓÙÔ G ÓÔ Ö ØÖ Ò Ø Ú Ñ ÒØ ÙÖ Xº Ë x X Ð Ø Ð Ø ÙÖ x Ø Ð ÖÓÙÔ ÓÑÓØ Ø ÒØÖ Ò xº ÔÔÐ Ø ÓÒº ËÓ Ø G ÙÒ ÖÓÙÔ Ò ÓÒØ ÓÒ ÒÓØ G гÓÖ Ö º ËÓ Ø X ÙÒ Ò Ñ Ð Ó G ÓÔ Ö º ÇÒ X = i I Gx i Ó Ð Gx i ÓÒØ Ð ÓÖ Ø ¾ ¾ Ó ÒØ µ Ó٠г Ø ÓÒ G Ð x i ÓÖÑ ÒØ ÙÒ Ý Ø Ñ Ö ÔÖ ÒØ ÒØ Ð Ñ ÒØ G\Xº ÇÒ ÚÙ ÕÙ Gx i Ø Ò Ø ÓÒ Ú G/H xi ÓÒ Gx i = G. H xi 1 º ÇÒ Ò Ù Ø X = i I G. H x i 1 ÔÙ X. G 1 = i I H x i 1 º Ô ÖØ ÙÐ Öº Ä ÖÓÙÔ G ÓÔ Ö ÙÖ ÐÙ ¹Ñ Ñ Ô Ö ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖ ÓÒ ÙÒ ÔÔÐ Ø ÓÒ { G SG x Ó int x (y) = xyx 1 = x yº Ä ÓÖ Ø ÓÒØ Ð Ð ÓÒ Ù ÓÒº Ä Ø Ð Ø ÙÖ ³ÙÒ Ð Ñ ÒØ x G Ø Ð³ Ò Ñ Ð Ð Ñ ÒØ G ÕÙ ÓÑÑÙØ ÒØ x ÓÒ Ð³ ÔÔ ÐÐ ÒØÖ Ð Ø ÙÖ x Ø ÓÒ Ð ÒÓØ C G (x)µº ÇÒ 1 = i I C G(x i ) 1 Ó (x i ) i I Ø ÙÒ Ý Ø Ñ Ö ÔÖ ÒØ ÒØ Ð ÓÒ Ù ÓÒº ÈÓÙÖ x i = 1 ÓÒ C G (x i ) = G Ø ÓÒ sup i I C G (x i ) = G º Ü Ö º (i) Ë h Ø ÙÒ ÒØ Ö 1 ÑÓÒØÖ Ö ÕÙ³ Ð Ò³Ý ÕÙ³ÙÒ ÒÓÑ Ö Ò ÓÑÔÓ Ø ÓÒ 1 = h i=1 1 n i Ú n i Z n i 1º È Ö Ü ÑÔÐ h = 3 Ð ÙÐ n i ÔÓ Ð ÓÒØ (3,3,3) (2,4,4) Ø (2,3,6)º (ii) Ò Ù Ö ÕÙ ÙÒ ÖÓÙÔ Ò G ÙÒ ÒÓÑ Ö Ð ÓÒ Ù ÓÒ Ð h гÓÖ Ö G Ø Ñ ÓÖ Ô Ö ÙÒ ÓÒ Ø ÒØ N(h) Ò Ô Ò ÒØ ÕÙ hº ÇÒ Ô ÙØ ÔÖ Ò Ö N(h) Ð ÓÖÑ c 1 c 2 h Ó c 1 c 2 ÓÒØ ÓÒ Ø ÒØ > 0º ³ ÒÓÖ Ð³ÓÒ Ô ÙØ Ö ÙÓÙÔ Ñ Ùܺµ int x ½º¾ ËÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ ÖÓÙÔ ÑÔÐ Ò Ø ÓÒ ½º ÇÒ Ø ÕÙ³ÙÒ ÓÙ ¹ ÖÓÙÔ H G Ø ÒÓÖÑ Ð ÓÙ ÒÚ Ö Òص ÔÓÙÖ ØÓÙØ x G Ø ØÓÙØ h H ÓÒ xhx 1 Hº

7 ½º º ÐØÖ Ø ÓÒ Ø Ø ÓÖ Ñ ÂÓÖ Ò¹À Ð Ö Ð Ö Ú ÒØ Ö ÕÙ Ð ÓÙ ¹ ÖÓÙÔ H Ø Ø Ð Ô Ö ØÓÙØ ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖº ÍÒ Ø ÐÐ ØÙ Ø ÓÒ Ö Ø Ô Ö ÙÒ Ù Ø Ü Ø {1} H G G/H {1}. Ê Ñ ÖÕÙ º Ë H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G Ð Ü Ø ÙÒ ÔÐÙ Ö Ò ÓÙ ¹ ÖÓÙÔ G Ò Ð ÕÙ Ð H Ø ÒÓÖÑ Ð ÚÓ Ö Ð³ Ò Ñ Ð g G Ø Ð ÕÙ ghg 1 = Hº ÇÒ Ð³ ÔÔ ÐÐ Ð ÒÓÖÑ Ð Ø ÙÖ H Ò G Ø ÓÒ Ð ÒÓØ N G (H)º ÇÒ Ø ÕÙ³ÙÒ Ô ÖØ G ÒÓÖÑ Ð H ÐÐ Ø ÓÒØ ÒÙ Ò N G (H)º Ò Ø ÓÒ ½º ÇÒ Ø ÕÙ³ÙÒ ÓÙ ¹ ÖÓÙÔ H G Ø Ö Ø Ö Ø ÕÙ ³ Ð Ø Ø Ð Ô Ö ØÓÙØ ÙØÓÑÓÖÔ Ñ Gº ÍÒ Ø Ð ÓÙ ¹ ÖÓÙÔ Ø ÒÓÖÑ Ðº Ü ÑÔÐ º Ä ÒØÖ G Ò Ñ Ð Ð Ñ ÒØ ÕÙ ÓÑÑÙØ ÒØ ØÓÙ Ð Ð Ñ ÒØ Gµ Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ º ÁÐ Ò Ø Ñ Ñ Ù ÖÓÙÔ Ö Ú G Ò ÓÙ ¹ ÖÓÙÔ D n G C i G Ø Φ(G) Ò Ù Ôº º Ò Ø ÓÒ ½º ÇÒ Ø ÕÙ³ÙÒ ÖÓÙÔ G Ø ÑÔÐ ÐÓÖ ÕÙ³ Ð Ü Ø Ñ ÒØ ÙÜ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ {1} Ø Gº Ü ÑÔÐ º (1) Ä ÙÐ ÖÓÙÔ Ð Ò ÑÔÐ ÓÒØ Ð ÖÓÙÔ ÝÐ ÕÙ ³ÓÖ Ö ÔÖ Ñ Ö ³ ع ¹ Ö Ð ÖÓÙÔ Z/pZ Ú p ÔÖ Ñ Öº (2) Ä ÖÓÙÔ ÐØ ÖÒ A n Ø ÑÔÐ n 5º (3) Ä ÖÓÙÔ PSL n (F q ) Ø ÑÔÐ ÔÓÙÖ n 2 Ù Ò Ð n = 2 Ø q = 2 ÓÙ 3º ½º ÐØÖ Ø ÓÒ Ø Ø ÓÖ Ñ ÂÓÖ Ò¹À Ð Ö Ò Ø ÓÒ ½º ÍÒ ÐØÖ Ø ÓÒ Ù ÖÓÙÔ G Ø ÙÒ Ù Ø Ò (G i ) 0 i n ÓÙ ¹ ÖÓÙÔ Ø ÐÐ ÕÙ G 0 = {1} G 1 G i G n = G Ú G i ÒÓÖÑ Ð Ò G i+1 ÔÓÙÖ 0 i n 1º ÇÒ ÔÔ ÐÐ Ö Ù G Ó Ð ÐØÖ Ø ÓÒ (G i ) 0 i n µ Ø ÓÒ ÒÓØ gr(g) Ð Ù Ø gr i (G) = G i /G i 1 ÔÓÙÖ 1 i nº Ò Ø ÓÒ ½º ÍÒ ÐØÖ Ø ÓÒ (G i ) 0 i n G Ø Ø ÂÓÖ Ò¹À Ð Ö G i /G i 1 Ø ÑÔÐ ÔÓÙÖ ØÓÙØ 1 i nº ÈÖÓÔÓ Ø ÓÒ ½º½ Ë G Ø Ò G ÔÓ ÙÒ Ù Ø ÂÓÖ Ò¹À Ð Öº

8 ½º º ÐØÖ Ø ÓÒ Ø Ø ÓÖ Ñ ÂÓÖ Ò¹À Ð Ö Ë G = {1} ÓÒ Ð Ù Ø ÂÓÖ Ò¹À Ð Ö ØÖ Ú Ð n = 0µº Ë G Ø ÑÔÐ ÓÒ ÔÖ Ò n = 1º Ë G Ò³ Ø Ô ÑÔÐ ÓÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð³ÓÖ Ö Gº ËÓ Ø N G N ÒÓÖÑ Ð Ò G ³ÓÖ Ö Ñ Ü Ñ Ðº ÐÓÖ G/N Ø ÑÔÐ Ö ÒÓÒ Ð Ü Ø Ö Ø M ÒÓÖÑ Ð Ò G ÓÒØ Ò ÒØ ØÖ Ø Ñ ÒØ N Ø Ø ÒØ Gº ÓÑÑ N < G ÓÒ Ô ÙØ ÔÔÐ ÕÙ Ö Ð³ ÝÔÓØ Ö ÙÖÖ Ò Ø (N i ) 0 i n Ø ÙÒ Ù Ø ÂÓÖ Ò¹À Ð Ö ÔÓÙÖ N ÐÓÖ (N 0,,N n 1,N,G) Ò Ø ÙÒ ÔÓÙÖ Gº Ê Ñ ÖÕÙ º Ë G Ø Ò Ò Ð Ô ÙØ Ò Ô ÔÓ Ö Ù Ø ÂÓÖ Ò¹À Ð Ö ³ Ø Ô Ö Ü ÑÔÐ Ð Zº Ì ÓÖ Ñ ½º¾ ÂÓÖ Ò¹À Ð Öµ ËÓ Ø G ÙÒ ÖÓÙÔ Ò Ø Ó Ø (G i ) 0 i n ÙÒ Ù Ø ÂÓÖ Ò¹À Ð Ö Gº Ä Ö Ù G Ô ÖÑÙØ Ø ÓÒ ÔÖ Ò Ò Ô Ò Ô Ð Ù Ø Ó º ÁÐ Ù Ø ÑÓÒØÖ Ö ÕÙ S Ø ÙÒ ÖÓÙÔ ÑÔÐ Ü Ø n (G,(G i ),S) Ø Ð ÒÓÑ Ö j Ø Ð ÕÙ G j /G j 1 Ø ÓÑÓÖÔ S ÐÓÖ n (G,(G i ),S) Ò Ô Ò Ô Ð Ù Ø (G i )º ÇÒ ÓÑÑ Ò Ô Ö ÙÒ Ö Ñ ÖÕÙ H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ÙÒ ÐØÖ Ø ÓÒ (G i ) ÙÖ G Ò Ù Ø ÙÒ ÐØÖ Ø ÓÒ (H i ) ÙÖ H Ò Ô Ö H i = G i Hº Ñ Ñ N Ø ÒÓÖÑ Ð ÓÒ ÙÒ ÐØÖ Ø ÓÒ ÙÖ G/N Ò Ô Ö (G/N) i = G i /(G i N)º Ä Ù Ø Ü Ø ÓÒ ÖÚ Ô Ö ÐØÖ Ø ÓÒ {1} N G G/N {1} {1} N i /N i 1 G i /G i 1 (G/N) i /(G/N) i 1 {1} ³Ó Ò Ð Ñ ÒØ Ð Ù Ø Ü Ø {1} gr i (N) gr i (G) gr i (G/N) {1}. Ë Ð ÐØÖ Ø ÓÒ Ò Ø Ð Ø ÂÓÖ Ò¹À Ð Ö gr i (G) Ø ÑÔÐ ÔÓÙÖ ØÓÙØ i ÓÒ gr i (N) Ø ÓÑÓÖÔ {1} ÓÙ gr i (G)º È Ö Ö Ò Ü Ø ÓÒ ÓÒ Ô ÙØ ÓÒ Ó Ø Ò Ö ÙÒ ÐØÖ Ø ÓÒ ÂÓÖ Ò¹À Ð Ö ÙÖ N Ø Ñ Ñ ÙÖ G/Nº ØØ Ö Ñ ÖÕÙ Ô ÖÑ Ø ÑÓÒØÖ Ö Ð Ø ÓÖ Ñ ÓÒ Ò Ø ÙÜ ÔÓ Ð Ø Ó Ø gr i (N) = {1} Ø gr i (G/N) = gr i (G) Ó Ø gr i (N) = gr i (G) Ø gr i (G/N) = {1}º ÇÒ Ò Ù Ø ÙÒ Ô ÖØ Ø ÓÒ I = {0,...,n} Ò ÙÜ Ô ÖØ I 1 = {i, gr i (N) = {1}} Ø I 2 = {i, gr i (N) = gr i (G)}º ÇÒ Ö ÓÒÒ ÐÓÖ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð³ÓÖ Ö Gº Ë G = {1} Ð Ò³Ý Ô ÔÖÓ Ð Ñ º Ë ÒÓÒ ÓÒ Ô ÙØ ØÓÙ ÓÙÖ ÙÔÔÓ Ö ÕÙ G Ò³ Ø Ô ÑÔÐ º ËÓ Ø ÐÓÖ N ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ Ð Ø Ð ÕÙ N < G Ø G/N < G º ij ÝÔÓØ Ö ÙÖÖ Ò ³ ÔÔÐ ÕÙ N Ø G/N n ( N,(N i ) i I2,S ) Ø n ( G/N,((G/N) i ) i I1,S ) ÓÒØ Ò Ô Ò ÒØ Ð ÐØÖ Ø ÓÒº ÇÖ n ( G,(G i ) i I,S ) = n ( N,(N i ) i I2,S ) + n ( G/N,((G/N) i ) i I1,S ), ÓÒ n ( G,(G i ) i I,S ) Ø Ò Ô Ò ÒØ Ð ÐØÖ Ø ÓÒ Ó º

9 ½º º ÐØÖ Ø ÓÒ Ø Ø ÓÖ Ñ ÂÓÖ Ò¹À Ð Ö ÔÔÐ Ø ÓÒº ÇÒ Ö ØÖÓÙÚ Ò Ð³ÙÒ Ø Ð ÓÑÔÓ Ø ÓÒ ³ÙÒ ÒØ Ö Ò ÔÖÓ Ù Ø Ø ÙÖ ÔÖ Ñ Ö º Ò Ø n = p h 1 1 ph k k ÓÒ ÔÓÙÖ Z/nZ Ð ÐØÖ Ø ÓÒ ÂÓÖ Ò¹ À Ð Ö Ù Ú ÒØ Z/nZ p 1 Z/nZ p 2 1 Z/nZ ph 1 1 Z/nZ ÓÒ Z/p i Z ÔÔ Ö Ø h i Ó Ò Ð Ö Ù ³Ó гÙÒ Ø º Ü ÑÔÐ º (1) ÐØÖ Ø ÓÒ S 3 A 3 Ø ÒÓÖÑ Ð Ò S 3 Ø A 3 Ø ÝÐ ÕÙ ³ÓÖ Ö 3º ³Ó Ð ÐØÖ Ø ÓÒ {1} A 3 S 3. (2) ÐØÖ Ø ÓÒ S 4 A 4 Ø ÒÓÖÑ Ð Ò S 4 Ú (S 4 : A 4 ) = 2º Ò A 4 Ð Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ Ð D ØÝÔ (2,2) D = {1,σ 1,σ 2,σ 3 } Ú σ 1 σ 2 σ 3 = (a,b)(c,d), = (a,c)(b,d), = (a,d)(b,c). ÇÒ ÓÒ Ð ÐØÖ Ø ÓÒ {1} {1,σ i } D A 4 S 4. ijÓÖ Ö ÕÙÓØ ÒØ Ù Ø 2,2,3,2º Ä Ó Ü i Ø ÒØ Ö ØÖ Ö Ð Ò³Ý Ô ÙÒ Ø Ð ÐØÖ Ø ÓÒº (3) ÐØÖ Ø ÓÒ S n ÔÓÙÖ n 5 Ð ÖÓÙÔ A n Ø ÒØ ÑÔÐ ÓÒ Ð ÐØÖ Ø ÓÒ {1} A n S n.

10 Ô ØÖ ¾ Ì ÓÖ Ñ ËÝÐÓÛ ËÓ Ø p ÙÒ ÒÓÑ Ö ÔÖ Ñ Ö Ø Ó Ø G ÙÒ ÖÓÙÔ Ò º ¾º½ Ò Ø ÓÒ Ò Ø ÓÒ ¾º½ ÇÒ Ø ÕÙ G Ø ÙÒ p¹ ÖÓÙÔ Ð³ÓÖ Ö G Ø ÙÒ ÔÙ Ò pº Ë G Ø ³ÓÖ Ö p n m Ú m ÔÖ Ñ Ö p ÓÒ Ø ÕÙ³ÙÒ ÓÙ ¹ ÖÓÙÔ H G Ø ÙÒ p¹ëýðóû G H Ø ³ÓÖ Ö p n º Ê Ñ ÖÕÙ º (1) ËÓ Ø S ÙÒ ÓÙ ¹ ÖÓÙÔ G S Ø ÙÒ p¹ëýðóû G Ø ÙÐ Ñ ÒØ S Ø ÙÒ p¹ ÖÓÙÔ Ø (G : S) Ø ÔÖ Ñ Ö pº (2) ÌÓÙØ ÓÒ Ù Ù ³ÙÒ p¹ëýðóû G Ø ÙÒ p¹ëýðóû Gº Ü ÑÔÐ º ËÓ Ø K ÙÒ ÓÖÔ Ò Ö Ø Ö Ø ÕÙ p q = p f Ð Ñ ÒØ º ËÓ Ø G = GL n (K) Ð ÖÓÙÔ Ñ ØÖ ÒÚ Ö Ð n n Ó ÒØ Ò Kº ÖÓÙÔ Ø ÓÑÓÖÔ GL(V ) Ó V Ø ÙÒ Ô Ú ØÓÖ Ð ÙÖ K Ñ Ò ÓÒ nº ÇÒ Ö Ñ ÖÕÙ Õ٠гÓÖ Ö G Ø Ð ÒÓÑ Ö ³ÙÒ Ô Ú ØÓÖ Ð Ñ Ò ÓÒ n ÙÖ K Ó Ø n G = (q n 1)(q n q) (q n q n 1 ) = q n(n 1)/2 (q i 1) = p fn(n 1)/2 m, Ó m = n i=1 (qi 1) Ø ÔÖ Ñ Ö q ÓÒ pº ÓÒ ÖÓÒ ³ ÙØÖ Ô ÖØ Ð ÖÓÙÔ P ÓÒ Ø ØÙ Ñ ØÖ ØÖ Ò ÙÐ Ö ÙÔ Ö ÙÖ Ó ÒØ ÓÒ ÙÜ ÙÜ 1º ³ Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ³ÓÖ Ö P = q n(n 1)/2 = p fn(n 1)/2 º ÓÒ P Ø ÙÒ p¹ëýðóû Gº i=1 ¾º¾ Ü Ø Ò p¹ëýðóû Ä ÙØ ØØ Ø ÓÒ Ø ÑÓÒØÖ Ö Ð ÔÖ Ñ Ö Ø ÓÖ Ñ ËÝÐÓÛ Ì ÓÖ Ñ ¾º½ ÌÓÙØ ÖÓÙÔ Ò ÔÓ Ù ÑÓ Ò ÙÒ p¹ëýðóûº ½¼

11 ¾º¾º Ü Ø Ò p¹ëýðóû ½½ ¾º¾º½ ÈÖ Ñ Ö ÑÓÒ ØÖ Ø ÓÒ ÐÐ Ö ÔÓ ÙÖ Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ ¾º¾ ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø Ó Ø S ÙÒ p¹ëýðóû Gº ÐÓÖ Ð Ü Ø g G Ø Ð ÕÙ H gsg 1 Ó Ø ÙÒ p¹ëýðóû Hº ËÓ Ø X г Ò Ñ Ð Ð Ù G ÑÓ ÙÐÓ Sº Ä ÖÓÙÔ G Ö Ôº Hµ Ø ÙÖ X Ô Ö ØÖ Ò Ð Ø ÓÒ º Ä Ø Ð Ø ÙÖ ÔÓ ÒØ X ÓÙ G Ö Ôº ÓÙ Hµ ÓÒØ Ð ÓÒ Ù Ù S Ö Ôº Ð H gsg 1 µº ÇÖ X 0 (mod p) Ö S Ø ÙÒ p¹ëýðóû Gº ijÙÒ ÓÖ Ø O X Ó٠г Ø ÓÒ H ÙÒ ÒÓÑ Ö ³ Ð Ñ ÒØ ÔÖ Ñ Ö p ÒÓÒ X Ö Ø Ú Ð Ô Ö pµ Ó Ø x O Ø Ó Ø H x Ð Ø Ð Ø ÙÖ x Ò Hº Ä ÖÓÙÔ H x Ø ÙÒ p¹ ÖÓÙÔ Ð ÓÖÑ H gsg 1 ÔÓÙÖ ÙÒ ÖØ Ò gµ Ø (H : H x ) = O Ø ÔÖ Ñ Ö pº ÓÒ H x Ø ÙÒ p¹ëýðóû H Ð ÓÖÑ H gsg 1 º ÓÖÓÐÐ Ö ¾º Ë G p¹ëýðóû Ø H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ÐÓÖ H Ù p¹ëýðóûº ÔÔÐ Ø ÓÒº ÍÒ ÔÖ Ñ Ö ÔÖ ÙÚ Ù Ø º ¾º½ ËÓ Ø G ÙÒ ÖÓÙÔ Ò ³ÓÖ Ö nº ÇÒ Ô ÙØ ÔÐÓÒ Ö G Ò Ð ÖÓÙÔ ÝÑ ØÖ ÕÙ S n º ³ ÙØÖ Ô ÖØ S n ÔÐÓÒ Ò GL n (K) Ó K Ø ÙÒ ÓÖÔ Ò Ö Ø Ö Ø ÕÙ pµ σ S n Ø (e i ) 1 i n Ø ÙÒ K n ÓÒ Ó σ Ð ØÖ Ò ÓÖÑ Ø ÓÒ Ð Ò Ö f Ò Ô Ö f(e i ) = e σ(i) º ÓÒ G ÔÐÓÒ Ò GL n (K)º ³ ÔÖ Ð³ Ü ÑÔÐ Ù ï ¾º½ GL n (K) ÔÓ ÙÒ p¹ëýðóûº Ä ÓÖÓÐÐ Ö ¹ Ù Ô ÖÑ Ø ÓÒÐÙÖ º ¾º¾º¾ Ë ÓÒ ÑÓÒ ØÖ Ø ÓÒ Å ÐÐ Ö¹Ï Ð Ò Øµ ÇÒ ÙÔÔÓ ÕÙ G = p n m Ú m ÔÖ Ñ Ö pº ÇÒ ÒÓØ X г Ò Ñ Ð Ô ÖØ G p n Ð Ñ ÒØ Ø s Ð ÒÓÑ Ö p¹ëýðóû Gº Ä ÑÑ ¾º X sm (mod p)º Ä ÖÓÙÔ G ÓÔ Ö ÙÖ X Ô Ö ØÖ Ò Ð Ø ÓÒ Ù º ËÓ Ø X = i X i Ð ÓÑÔÓ Ø ÓÒ X Ò ÓÖ Ø Ó٠г Ø ÓÒ Gº Ë A i X i ÓÒ X = i GA iº ÇÒ ÒÓØ G i Ð Ø Ð Ø ÙÖ A i º ÇÒ Ö ÔÔ ÐÐ ÕÙ GA i = G / G i º Ê Ñ ÖÕÙ G i p n º ËÓ Ø Ò Ø x A i º Ë g G i ÐÓÖ gx ÔÔ ÖØ ÒØ A i ÓÒ Ô ÙØ ÔÖ Ò Ö p n Ú Ð ÙÖ º ÇÒ ÓÒ Ù ÔÐÙ p n Ó Ü ÔÓÙÖ gº ÇÒ Ø Ò Ù ÓÒ ÙÜ Ë G i < p n ÐÓÖ GA i Ø Ú Ð Ô Ö pº Ë G i = p n ÐÓÖ G i Ø ÙÒ p¹ëýðóû Gº Ê ÔÖÓÕÙ Ñ ÒØ Ó Ø P ÙÒ p¹ëýðóû G Pg X ÔÓÙÖ ØÓÙØ g G Ø Ð Ø Ð Ø ÙÖ Pg Ø P º Ñ Ñ P Ø Ð ÙÒ Ô ÖØ A X ÐÓÖ PA A ÓÒ ÔÓÙÖ ØÓÙØ a A ÓÒ Pa A ÓÒ A = Paº Ð ÙÜ Ò Ñ Ð ÓÒØ Ñ Ñ Ö Ò Ùܵº ÓÒ P Ø Ð Ü Ø Ñ ÒØ ÓÒ ÓÖ Ø Ó٠г Ø ÓÒ G Ø Ð Ö Ò Ð ØØ ÓÖ Ø Ø G/P = mµº Ò Ð Ñ ÒØ X = GA i + GA i i/ G i <p n i / G i =p n

12 ¾º º ÈÖÓÔÖ Ø p¹ëýðóû ½¾ Ó Ø ³Ó Ð Ö ÙÐØ Øº X 0 + sm (mod p) Ð ÑÑ ÒÓÙ ÓÒÒ Ð Ø º ¾º½º Ò Ø ³ ÔÖ Ð ÑÑ Ð Ð s ÑÓ ÙÐÓ p Ò Ô Ò Õ٠гÓÖ Ö Gº ÇÖ G = Z/ G Z ÙÒ ÙÒ ÕÙ p¹ëýðóû ÕÙ Ø ÓÑÓÖÔ Z/p n Zµº ÓÒ s 1 (mod p) Ò Ô ÖØ ÙÐ Ö s Ø ÒÓÒ ÒÙк Ê Ñ ÖÕÙ º ÇÒ ÑÓÒØÖ Ò Ø ÕÙ Ð ÒÓÑ Ö p¹ëýðóû ³ÙÒ ÖÓÙÔ G Ø ÓÒ ÖÙ 1 ÑÓ ÙÐÓ pº ÇÒ Ö ØÖÓÙÚ Ö ØØ ÔÖÓÔÖ Ø ÙÐØ Ö ÙÖ Ñ Òغ ÓÖÓÐÐ Ö ¾º ٠ݵ Ë p Ú Ð³ÓÖ Ö G ÐÓÖ G ÓÒØ ÒØ ÙÒ Ð Ñ ÒØ ³ÓÖ Ö pº Ò Ø Ó Ø S ÙÒ p¹ëýðóû G Ð Ò Ü Ø ³ ÔÖ Ð Ø º ¾º½µ S Ò³ Ø Ô Ö Ù Ø {1} Ö p Ú Ð³ÓÖ Ö Gº ËÓ Ø x S Ø ÒØ {1}º ijÓÖ Ö x Ø ÙÒ ÔÙ Ò p Ó Ø p m m 1µº ÐÓÖ x pm 1 Ø ³ÓÖ Ö pº ¾º ÈÖÓÔÖ Ø p¹ëýðóû Ì ÓÖ Ñ ¾º Ë ÓÒ Ø ÓÖ Ñ ËÝÐÓÛµ ½µ ÌÓÙØ p¹ ÓÙ ¹ ÖÓÙÔ G Ø ÓÒØ ÒÙ Ò ÙÒ p¹ëýðóû Gº ¾µ Ä p¹ëýðóû G ÓÒØ ÓÒ Ù Ù º µ Ä ÒÓÑ Ö p¹ëýðóû Ø ÓÒ ÖÙ 1 ÑÓ ÙÐÓ pº Ä ÑÑ ¾º ËÓ Ø X ÙÒ Ò Ñ Ð Ò ÙÖ Ð ÕÙ Ð ÓÔ Ö ÙÒ p¹ ÖÓÙÔ P Ø Ó Ø X P г Ò¹ Ñ Ð Ð Ñ ÒØ X Ü Ô Ö P º ÐÓÖ X X P (mod p)º Ä ÓÖ Ø ÙÒ Ð Ñ ÒØ X Ó٠г Ø ÓÒ P ÓÒØ ÐÐ ÓÒ Ø ØÙ ³ÙÒ ÔÓ ÒØ X P º ij Ò Ñ Ð X X P Ø ÓÒ Ö ÙÒ ÓÒ ³ÓÖ Ø ÒÓÒ ØÖ Ú Ð Ö Ò Ð Ú Ð Ô Ö pº ÇÒ Ô ÙØ ÐÓÖ ÑÓÒØÖ Ö Ð ÔÓ ÒØ (1) Ø (2) Ù Ø º ¾º Ó Ø S ÙÒ p¹ëýðóû G Ø Ó Ø P ÙÒ p¹ ÓÙ ¹ ÖÓÙÔ Gº ÇÒ ÔÔÐ ÕÙ Ð Ð ÑÑ ¾º г Ò Ñ Ð X Ð Ù G ÑÓ ÙÐÓ S X 0 (mod p) ÓÒ X P 0 (mod p)º Ò Ô ÖØ ÙÐ Ö Ð Ü Ø x X Ü Ô Ö P º Ä Ø Ð Ø ÙÖ x ÓÒØ ÒØ ÓÒ P Ø Ø ÙÒ ÓÒ Ù Ù Sº ÓÒ P Ø ÓÒØ ÒÙ Ò ÙÒ ÓÒ Ù Ù S ³ ع¹ Ö Ò ÙÒ p¹ëýðóû Gµº ÈÓÙÖ Ð ÔÓ ÒØ (2) ÓÒ ÔÔÐ ÕÙ (1) P = S Ó S Ø ÙÒ p¹ëýðóû Gº ÁÐ Ü Ø g G Ø Ð ÕÙ S gsg 1 ÓÒ S = gsg 1 º ÈÓÙÖ Ð ÔÓ ÒØ (3) ÓÒ ÓÒÒ ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒ ÙÖ Ð Ð ÑÑ Ù Ú ÒØ Ä ÑÑ ¾º ËÓ ÒØ S Ø S ÙÜ p¹ëýðóû Gº Ë S ÒÓÖÑ Ð S ÐÓÖ S = S º

13 ¾º º ÈÖÓÔÖ Ø p¹ëýðóû ½ ËÓ Ø H Ð ÓÙ ¹ ÖÓÙÔ G Ò Ò Ö Ô Ö S Ø S º Ä ÖÓÙÔ H ÒÓÖÑ Ð S ÕÙ Ø ÙÒ p¹ëýðóû Hº ÓÒ S Ø Ð ÙÐ p¹ëýðóû H Ð p¹ëýðóû H ÓÒØ ÓÒ Ù Ù µ ÓÖ S Ø ÙÒ p¹ëýðóû H ÓÒ S = S º ÅÓÒØÖÓÒ Ð ÔÓ ÒØ (3)º Ë X Ø Ð³ Ò Ñ Ð p¹ëýðóû G ÐÓÖ S ÓÔ Ö ÙÖ X Ô Ö ÓÒ Ù ÓÒ Ø ³ ÔÖ Ð Ð ÑÑ ¾º S Ø Ð ÙÐ Ð Ñ ÒØ X Ü Ô Ö Sº ÇÒ Ö ÔÔÐ ÕÙ Ð Ð ÑÑ ¾º Ú P = Sµ X 1 (mod p)º ÓÖÓÐÐ Ö ¾º Ë S Ø ÙÒ p¹ëýðóû G ÐÓÖ ( G : N G (S) ) 1 (mod p)º ij ÔÔÐ Ø ÓÒ f G/N G (S) Ò Ð³ Ò Ñ Ð p¹ëýðóû G Ò Ô Ö f(ḡ) = gsg 1 Ó g Ø ÙÒ Ö ÔÖ ÒØ ÒØ ÕÙ ÐÓÒÕÙ ḡµ Ø Ø Ú º ÇÒ ÚÙ ÕÙ ÔÓÙÖ ØÓÙØ ÓÙ ¹ ÖÓÙÔ H G Ð Ü Ø ÙÒ p¹ëýðóû G ÓÒØ Ð³ ÒØ Ö Ø ÓÒ Ú H Ø ÙÒ p¹ëýðóû Hº Ò³ Ø Ô ÚÖ ÔÓÙÖ ØÓÙØ p¹ëýðóû Gº Å H Ø ÒÓÖÑ Ð ÓÒ ÈÖÓÔÓ Ø ÓÒ ¾º½¼ ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ Ð G Ø Ó Ø S ÙÒ p¹ëýðóû Gº ÐÓÖ ½µ S H Ø ÙÒ p¹ëýðóû Hº ¾µ ij Ñ S Ò G/H Ø ÙÒ p¹ëýðóû G/H Ø ÓÒ Ð Ó Ø ÒØ ØÓÙ Ò µº µ Ö ØØ Ò µ Ë Q Ø ÙÒ p¹ëýðóû H ÐÓÖ H.N G (Q) = Gº (1) Ú Òغ (2) ij Ñ S Ò G/H Ø ÓÑÓÖÔ S/(H S)º Ë p a Ö Ôº p b µ Ø Ð ÔÙ Ò p Ñ Ü Ñ Ð Ú ÒØ Ð³ÓÖ Ö H Ö Ôº G/Hµ p a+b Ø Ð ÔÙ Ò Ñ Ü Ñ Ð p Ú ÒØ Ð³ÓÖ Ö Gº È Ö Ù Ø S p a+b Ð Ñ ÒØ º ÔÐÙ H S Ù ÔÐÙ p a Ð Ñ ÒØ ÓÒ S/(H S) Ù ÑÓ Ò p b Ø ÓÒ Ü Ø Ñ ÒØ p b º ÁÐ ³ Ò Ù Ø ÕÙ S/(H S) Ø ÙÒ p¹ëýðóû G/Hº ³ ÙØÖ Ô ÖØ ÓÒ Ó Ø ÒØ ØÓÙ Ð p¹ëýðóû Ô Ö ÓÒ Ù ÓÒ ³Ó (2)º (3) ËÓ Ø g Gº ÇÒ gqg 1 ghg 1 = H H Ø ÒÓÖÑ Ðµº ÇÖ gqg 1 Ø ÙÒ p¹ëýðóû H ÓÒ Ð Ü Ø h H Ø Ð ÕÙ gqg 1 = hqh 1 ÓÒ h 1 g N G (Q) Ø ÓÒ g H.N G (Q)º Ò G H.N G (Q) ÓÒ H.N G (Q) = Gº ÓÖÓÐÐ Ö ¾º½½ ËÓ Ø S ÙÒ p¹ëýðóû G Ø Ó Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ G ÓÒØ Ò ÒØ N G (S)º ÐÓÖ N G (H) = Hº Ä ÖÓÙÔ H Ø ÒÓÖÑ Ð Ò N G (H) Ø ÓÒØ ÒØ S ÕÙ Ø ÓÒ ÙÒ p¹ëýðóû Hº ÇÒ ÔÔÐ ÕÙ Ð ÔÓ ÒØ (3) Ð ÔÖÓÔÓ Ø ÓÒ ¹ Ù H.N G (S) = N G (H)º ÓÒ N G (H) H ³Ó Ð Ö ÙÐØ Øº Ò Ô ÖØ ÙÐ Ö S Ø ÙÒ p¹ëýðóû G ÓÒ N G ( NG (S) ) = N G (S)º

14 ¾º º Ù ÓÒ ½ ¾º Ù ÓÒ ËÓ Ø S ÙÒ p¹ëýðóû Gº ÇÒ ÒÓØ N Ð ÒÓÖÑ Ð Ø ÙÖ S Ò Gº ÇÒ ÔÓ Ð ÔÖÓ Ð Ñ ÚÓ Ö ÙÜ Ð Ñ ÒØ S ÓÒ Ù Ù Ò G ÓÒØ ÓÒ Ù Ù Ò Nº ÇÒ Ð ÈÖÓÔÓ Ø ÓÒ ¾º½¾ ÙÖÒ µ ËÓ ÒØ X Ø Y ÙÜ Ô ÖØ Ù ÒØÖ S ÓÒ Ù Ù Ò G Ø Ó Ø g G Ø Ð ÕÙ gxg 1 = Y º ÐÓÖ Ð Ü Ø n N Ø Ð ÕÙ nxn 1 = gxg 1 ÔÓÙÖ ØÓÙØ x Xº Ò Ô ÖØ ÙÐ Ö nxn 1 = Y º ÇÒ Ú ÙØ ØÖÓÙÚ Ö n N Ø Ð ÕÙ nxn 1 = gxg 1 ÔÓÙÖ ØÓÙØ x X º º g 1 nxn 1 g = x ÔÓÙÖ ØÓÙØ x Xº ÓÒ ÓÒ Ö n N Ø Ð ÕÙ g 1 n A = C G (X) Ð ÒØÖ Ð Ø ÙÖ Xµº ÇÖ X Ø ÓÒØ ÒÙ Ò Ð ÒØÖ S ÓÒ A ÓÒØ ÒØ Sº Ñ Ñ Y = gxg 1 ÓÒ g 1 Sg Ø ÓÒØ ÒÙ Ò Aº Ä ÖÓÙÔ S Ø g 1 Sg ÓÒØ p¹ëýðóû A Ð Ù Ø Ö Ö Ö Ð ÙÖ ÓÖ Ö µ ÓÒ ÓÒØ ÓÒ Ù Ù Ò A Ð Ü Ø a A Ø Ð ÕÙ ag 1 Sga 1 = Sº ÓÒ n = ga 1 ÔÔ ÖØ ÒØ N Ø g 1 n ÔÔ ÖØ ÒØ Aº ÓÖÓÐÐ Ö ¾º½ ËÓ ÒØ x Ø y ÙÜ Ð Ñ ÒØ Ù ÒØÖ Sº ˳ Ð ÓÒØ ÓÒ Ù Ù Ò G Ð ÓÒØ ÓÒ Ù Ù Ò Nº Ê Ñ ÖÕÙ º ij ÝÔÓØ x Ø y ÔÔ ÖØ ÒÒ ÒØ Ù ÒØÖ S Ò Ô ÙØ ØÖ ÙÔÔÖ Ñ Ð³ÓÒ ÔÖ Ò G = GL 3 (Z/pZ) Ø 1 S = ÐÓÖ Ø Ð Ð Ñ ÒØ x = N = Ø y = ÓÒØ ÓÒ Ù Ù Ò G Ø Ò Ð ÓÒØ Ô Ò Nº ÓÒ ÕÙ ÙÜ Ð Ñ ÒØ x,y S ÓÒØ ÐÓ Ð Ñ ÒØ ÓÒ Ù Ù ³ Ð Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ U S Ð ÓÒØ Ò ÒØ Ø Ð ÕÙ x Ø y Ó ÒØ ÓÒ Ù Ù Ò N G (U)º Ì ÓÖ Ñ ¾º½ ÐÔ Ö Òµ Ä Ö Ð Ø ÓÒ ³ ÕÙ Ú Ð Ò ÙÖ S Ò Ò Ö Ô Ö Ð Ö Ð Ø ÓÒ x Ø y ÓÒØ ÐÓ Ð Ñ ÒØ ÓÒ Ù Ù Ø Ð Ö Ð Ø ÓÒ x Ø y ÓÒØ ÓÒ Ù Ù Ò G º Ò ³ ÙØÖ Ø ÖÑ

15 ¾º º Ù ÓÒ ½ Ì ÓÖ Ñ ¾º½ Ë x,y S ÓÒØ ÓÒ Ù Ù Ò G Ð Ü Ø ÙÒ Ù Ø a 0,...,a n ³ Ð ¹ Ñ ÒØ S Ø ÐÐ ÕÙ ½µ a 0 = x Ø a n = yº ¾µ a i Ø ÐÓ Ð Ñ ÒØ ÓÒ Ù Ù a i+1 ÔÓÙÖ 0 i n 1º Ð Ö ÙÐØ Ù Ø ÓÖ Ñ ÔÐÙ ÔÖ Ù Ú ÒØ Ì ÓÖ Ñ ¾º½ ËÓ Ø A ÙÒ Ô ÖØ S Ø Ó Ø g G Ø Ð ÕÙ A g Sº ÁÐ Ü Ø ÐÓÖ ÙÒ ÒØ Ö n 1 ÓÙ ¹ ÖÓÙÔ U 1,...,U n S Ø Ð Ñ ÒØ g 1,...,g n G Ú ½µ g = g 1 g n º ¾µ g i N G (U i ) ÔÓÙÖ 1 i nº µ A g 1 g i 1 U i ÔÓÙÖ 1 i nº Ò Ø ÒÓÒ A g Ò g 1 Agºµ Ê Ñ ÖÕÙ º ÈÓÙÖ i = 1 (3) Ò ÕÙ A U 1 º ÆÓØ Ö Õ٠гÓÒ A g 1 g i U i ÔÓÙÖ 1 i n ÓÑÑ ÓÒ Ð ÚÓ Ø Ò ÓÑ Ò ÒØ (2) Ø (3)º ÇÒ Ò Ô ÖØ ÙÐ Ö A g U n º Ä Ø ÓÖ Ñ ¹ Ù Ø ÙÒ ÓÖÓÐÐ Ö ÐÙ ¹ ÔÖ Ò Ö A Ö Ù Ø ÙÒ Ð Ñ Òصº ÑÓÒ ØÖ Ø ÓÒº ËÓ Ø T Ð ÓÙ ¹ ÖÓÙÔ S Ò Ò Ö Ô Ö Aº ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð³ Ò (S : T) T Ò Sº Ë Ø Ò Ø 1 ÓÒ T = S ³Ó S g = S Ø g N G (S)º ÇÒ ÔÖ Ò ÐÓÖ n = 1 g 1 = g Ø U 1 = Sº ËÙÔÔÓ ÓÒ ÓÒ (S : T) > 1 º º T Sº Ä ÖÓÙÔ T 1 = N S (T) Ø ÐÓÖ Ø ÒØ T º ³ Ø ÙÒ p¹ ÓÙ ¹ ÖÓÙÔ N G (T)º Ó ÓÒ ÙÒ p¹ëýðóû Σ N G (T) ÓÒØ Ò ÒØ T 1 º ³ ÔÖ Ð Ø º ¾º Ð Ü Ø u G Ø Ð ÕÙ Σ u Sº ÈÓ ÓÒ ³ ÙØÖ Ô ÖØ V = T g ÓÒ V S Ô Ö ÝÔÓØ º Ä ÖÓÙÔ Σ g Ø ÙÒ p¹ëýðóû N G (V ) = ( N G (T) ) g º ÓÑÑ N S (V ) Ø ÙÒ p¹ ÓÙ ¹ ÖÓÙÔ N G (V ) Ð Ü Ø w N G (V ) Ø Ð ÕÙ ( N S (V ) ) w Σ g º ÈÓ ÓÒ v = u 1 gw 1 º ÇÒ g = uvwº ÇÒ Ú Ñ ÒØ Ò ÒØ ÓÑÔÓ Ö u Ø v µ ÇÒ T u Σ u Sº ÓÑÑ Ð³ Ò T 1 Ò S Ø ØÖ Ø Ñ ÒØ Ò Ö ÙÖ ÐÙ T г ÝÔÓØ Ö ÙÖÖ Ò ÑÓÒØÖ ÕÙ³ Ð Ü Ø ÓÙ ¹ ÖÓÙÔ U 1,...,U m S Ø Ð Ñ ÒØ u 1 N G (U 1 ),...,u m N G (U m ) Ú u = u 1 u m Ø T u 1 u i 1 1 U i ÔÓÙÖ 1 i mº µ ÈÓ ÓÒ T 2 = N S (V ) Ø T 3 = T v 1 2 = T wg 1 u 2 º ÓÑÑ T w 2 Ø ÓÒØ ÒÙ Ò Σg ÓÒ T 3 Σ gg 1u = Σ u º Ä ÖÓÙÔ T 3 Ø ÓÒØ ÒÙ Ò S Ø T v 3 = T 2 Ù º ÓÑÑ Ð³ Ò T 3 Ø ØÖ Ø Ñ ÒØ Ò Ö ÙÖ ÐÙ T ÓÒ Ò Ù Ø ÓÑÑ ¹ ٠г Ü Ø Ò ÓÙ ¹ ÖÓÙÔ V 1,...,V r S Ø ³ Ð Ñ ÒØ v j N G (V j ) Ú v = v 1 v r Ø T v 1 v j 1 3 V j ÔÓÙÖ 1 j rº ÁÐ Ö Ø Ú Ö Ö ÕÙ Ð ÓÙ ¹ ÖÓÙÔ U 1,...,U m,v 1,...,V r,v S Ø Ð ÓÑÔÓ Ø ÓÒ g = u 1 u m v 1 v r w g Ø ÓÒØ ÙÜ ÓÒ Ø ÓÒ Ù Ø ÓÖ Ñ º ÇÒ u i N G (U i ), v j N G (V j ), w N G (V ) Ô Ö ÓÒ ØÖÙØ ÓÒ Ò ÕÙ T u 1 u i 1 U i 1 i mµ ÔÙ ÕÙ T Ø ÓÒØ ÒÙ Ò T 1 º ÁÐ Ö Ø ÚÓ Ö ÕÙ T u 1 u mv 1 v j 1 V j

16 ¾º º Ù ÓÒ ½ ÔÓÙÖ 1 j rº ÇÖ T u 1 u m = T u Ø ÓÒØ ÒÙ Ò T 3 = T wg 1 u 2 Ò Ø V = T g Ø ÒÓÖÑ Ð Ô Ö w 1 ÓÒ ÓÒ T gw 1 = V N S (V ) = T 2 ³Ó T T wg 1 2 Ø T u T wg 1 u 2 º ÇÒ Ù Ø Ð ÕÙ T u 1 u mv 1 v j 1 = T uv 1 v j 1 T v 1 v j 1 3 V j, ÕÙ Ú Ð ÑÓÒ ØÖ Ø ÓÒº

17 Ô ØÖ ÖÓÙÔ Ö ÓÐÙ Ð Ø ÖÓÙÔ Ò ÐÔÓØ ÒØ º½ ÖÓÙÔ Ö ÓÐÙ Ð ËÓ Ø G ÙÒ ÖÓÙÔ Ø Ó ÒØ x,y ÙÜ Ð Ñ ÒØ Gº ij Ð Ñ ÒØ x 1 y 1 xy Ø ÔÔ Ð Ð ÓÑÑÙØ Ø ÙÖ x Ø yº ÇÒ Ð ÒÓØ (x,y)º ÇÒ xy = yx(x,y). Ë A Ø B ÓÒØ ÙÜ ÓÙ ¹ ÖÓÙÔ G ÓÒ ÒÓØ (A,B) Ð ÖÓÙÔ Ò Ò Ö Ô Ö Ð ÓÑÑÙØ Ø ÙÖ (x,y) Ú x A Ø y Bº Ä ÖÓÙÔ (G,G) Ø ÔÔ Ð Ð ÖÓÙÔ ÓÑÑÙØ Ø ÙÖ G ÓÙ ÒÓÖ Ð ÖÓÙÔ Ö Ú G Ø Ø ÒÓØ D(G)º ³ Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ Gº Ò Ø ÓÒ Ö ÙÐØ Ù ØØ Ð ÈÖÓÔÓ Ø ÓÒ º½ ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ Gº Ä ÔÖÓÔÖ Ø Ù Ú ÒØ ÓÒØ ÕÙ Ú ¹ Ð ÒØ ½µ H ÓÒØ ÒØ D(G)º ¾µ H Ø ÒÓÖÑ Ð Ø G/H Ø Ð Òº Ò G/D(G) Ø Ð ÔÐÙ Ö Ò ÕÙÓØ ÒØ Ð Ò Gº ÇÒ Ð ÒÓØ Ô Ö Ó G ab º ÇÒ Ô ÙØ Ø Ö Ö Ð ÔÖÓ Ø Ò Ö Ð Ù Ø ÓÙ ¹ ÖÓÙÔ Ö Ú G D 0 G = G, ÇÒ G D 1 G D 2 G º D n G = (D n 1 G,D n 1 G) ÔÓÙÖ n 1. Ò Ø ÓÒ º½ ÍÒ ÖÓÙÔ G Ø Ø Ö ÓÐÙ Ð ³ Ð Ü Ø ÙÒ ÒØ Ö n 0 Ø Ð ÕÙ D n G = {1}º ÇÒ ÔÔ ÐÐ ÐÓÖ Ð Ö ÓÐÙ Ð Ø G Ø ÓÒ ÒÓØ cl(g) Ð ÔÐÙ Ô Ø Ø ÒØ Ö n ÔÓ Ø ÔÓÙÖ Ð ÕÙ Ð D n G = {1}º Ò cl(g) = 0 ÕÙ Ú ÙØ G = {1} Ø cl(g) 1 ÕÙ Ú ÙØ Ö ÕÙ G Ø Ð Òº ½

18 º½º ÖÓÙÔ Ö ÓÐÙ Ð ½ ÈÖÓÔÓ Ø ÓÒ º¾ ËÓ Ø G ÙÒ ÖÓÙÔ Ø Ó Ø n ÙÒ ÒØ Ö 1º Ä ÔÖÓÔÖ Ø Ù Ú ÒØ ÓÒØ ÕÙ Ú Ð ÒØ ½µ G Ø Ö ÓÐÙ Ð Ð n ¾µ ÁÐ Ü Ø ÙÒ Ù Ø G = G 0 G 1 G n = {1} ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ G Ø Ð ÕÙ G i /G i+1 Ó Ø Ð Ò ÔÓÙÖ 0 i n 1 ¾³µ ÁÐ Ü Ø ÙÒ Ù Ø G = G 0 G 1 G n = {1} ÓÙ ¹ ÖÓÙÔ G Ø Ð ÕÙ G i Ó Ø ÒÓÖÑ Ð Ò G i 1 Ø ÕÙ G i 1 /G i Ó Ø Ð Ò ÔÓÙÖ 1 i n µ ÁÐ Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ð Ò A ÒÓÖÑ Ð Ò G Ø Ð ÕÙ G/A Ó Ø Ö ÓÐÙ Ð Ð n 1º (1) (2) ÈÓ ÓÒ G i = D i G ÔÓÙÖ ØÓÙØ i 0º ÈÙ ÕÙ D(G) Ø Ø Ð Ô Ö ØÓÙØ ÙØÓ¹ ÑÓÖÔ Ñ Ñ Ñ ÒÓÒ ÒØ Ö ÙÖ µ G D i G Ø ÒÓÖÑ Ð Ò G ÔÓÙÖ ØÓÙØ iº Ä Ù Ø (G i ) i 0 Ò Ò Ú Ö ÓÒ (2)º (2) (2 ) Ø ØÖ Ú Ðº (2 ) (1) È Ö Ö ÙÖÖ Ò ÙÖ k ÓÒ ÚÓ Ø ÕÙ D k G G k ÔÓÙÖ ØÓÙØ k ³Ó D n G = {1}º (1) (3) ÇÒ ÔÖ Ò A = D n 1 Gº (3) (1) ³ ÔÖ Ð³ ÑÔÐ Ø ÓÒ (1) (2) ÔÔÐ ÕÙ G/A Ø n 1 Ð Ü Ø ÙÒ Ù Ø A 0 = G A 1 A n 1 = A ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ G Ø ÐÐ ÕÙ Ð Ù Ø ÕÙÓØ ÒØ Ú Ö Ð ÓÒ Ø ÓÒ (2)º ÐÓÖ Ð Ù Ø G/A A 1 /A A n 1 /A = {1} G A 1 A n 1 {1} Ú Ö Ð ÓÒ Ø ÓÒ (2) Ø Ð³ ÑÔÐ Ø ÓÒ (2) (1) ÔÔÐ ÕÙ G Ø n Ô ÖÑ Ø ÓÒÐÙÖ º Ê Ñ ÖÕÙ º ÌÓÙØ ÓÙ ¹ ÖÓÙÔ Ø ØÓÙØ ÖÓÙÔ ÕÙÓØ Òص ³ÙÒ ÖÓÙÔ Ö ÓÐÙ Ð Ð n Ø Ö ÓÐÙ Ð Ð nº ÈÖÓÔÓ Ø ÓÒ º ËÓ Ø G ÙÒ ÖÓÙÔ Ò Ø Ó Ø G = G 0 G 1 G n = {1} ÙÒ Ù Ø ÂÓÖ Ò¹À Ð Ö Gº ÈÓÙÖ ÕÙ G Ó Ø Ö ÓÐÙ Ð Ð ÙØ Ø Ð Ù Ø ÕÙ G i /G i+1 Ó Ø ÝÐ ÕÙ ³ÓÖ Ö ÔÖ Ñ Ö ÔÓÙÖ 0 i n 1º Ê Ñ ÖÕÙÓÒ ³ ÓÖ ÕÙ ÙÒ ÖÓÙÔ Ø ÑÔÐ Ø Ö ÓÐÙ Ð ÐÓÖ ÓÒ ÖÓÙÔ Ö Ú Ø ÒØ ÒÓÖÑ Ð Ø Ö Ù Ø {1} Ð ÖÓÙÔ Ø ÓÒ Ð Ò Ø Ø ÒØ ÑÔÐ Ø ÝÐ ÕÙ ³ÓÖ Ö ÔÖ Ñ Öº Ä ÔÖÓÔÓ Ø ÓÒ Ò Ö ÙÐØ º Ü ÑÔÐ º (1) Ä ÖÓÙÔ S n ÓÒØ Ö ÓÐÙ Ð Ø ÙÐ Ñ ÒØ n 4º (2) ÍÒ ÖÓÙÔ ÑÔÐ ÒÓÒ Ð Ò Ò³ Ø Ô Ö ÓÐÙ Ð º

19 º½º ÖÓÙÔ Ö ÓÐÙ Ð ½ (3) ËÓ Ø V ÙÒ Ô Ú ØÓÖ Ð Ñ Ò ÓÒ n ÙÖ ÙÒ ÓÖÔ ÓÑÑÙØ Ø K Ø Ó Ø V = V 0 V 1 V n = 0 ÙÒ Ö Ô Ù ÓÑÔÐ Ø º º ÙÒ Ù Ø ÖÓ ÒØ ÓÙ ¹ Ô Ú ØÓÖ Ð V Ø Ð ÕÙ codim(v i ) = iµº ÇÒ ÔÓ G = {s GL(V ) sv i = V i, 0 i n} ÓÒ Ó Ø Ò V ÙÒ ÔØ Ù Ö Ô Ù G Ô ÙØ ØÖ ÒØ Ù ÖÓÙÔ Ñ ØÖ ØÖ Ò ÙÐ Ö ÙÔ Ö ÙÖ µº ÇÒ Ò Ø ÐÓÖ ÙÒ Ù Ø ÓÙ ¹ ÖÓÙÔ (B i ) 0 i n G Ô Ö Ò Ô ÖØ ÙÐ Ö B 0 = Gº B i = {s G (s 1)V j V i+j, 0 j n i}. ÇÒ Ú ÑÓÒØÖ Ö ÕÙ (B j,b k ) B j+k ÔÓÙÖ 0 j n Ø 0 k n Ú 0 j + k nº ËÓ ÒØ Ò Ø s B j t B k Ø x V i º ÁÐ Ü Ø v i+k V i+k Ø Ð ÕÙ ÔÙ tx = x + v i+k, stx = sx + sv i+k = x + w i+j + v i+k + t i+j+k Ú w i+j V i+j Ø t i+j+k V i+j+k µº Ñ Ñ Ú t i+j+k V i+j+kµº ÓÒ ÓÙ ÒÓÖ tsx = t(x + w i+j ) = x + v i+k + w i+j + t i+j+k stx tsx (mod V i+j+k ) s 1 t 1 stx x (mod V i+j+k ) ³Ó Ð Ö ÙÐØ Øº Ò Ô ÖØ ÙÐ Ö (B 0,B i ) B i ÔÓÙÖ 0 i n ÓÒ Ð B i ÓÒØ ÒÓÖÑ ÙÜ Ò B 0 = Gº (B i,b i ) = D(B i ) B 2i B i+1 ÔÓÙÖ 1 i n ÓÒ Ð ÕÙÓØ ÒØ B i /B i+1 ÓÒØ Ð Ò ÔÓÙÖ 1 i n 1º Ò Ò B 0 /B 1 = G/B 1 ³ ÒØ Ù ÖÓÙÔ Ñ ØÖ ÓÒ Ð Ð Ò Ö K Ø ÓÑÑÙØ Ø µº ÓÒ Ð Ù Ø B 0 = G B 1 B n = {1} Ú Ö Ð ÓÒ Ø ÓÒ (2) Ø G Ø Ö ÓÐÙ Ð º (4) ÇÒ Ú ÖÖ ÙÐØ Ö ÙÖ Ñ ÒØ Ø º º µ ÕÙ ØÓÙØ ÖÓÙÔ ³ÓÖ Ö p a q b Ó p Ø q ÓÒØ ÔÖ Ñ Ö µ Ø Ö ÓÐÙ Ð º (5) Å ÒØ ÓÒÒÓÒ Ù Ð ØÖ Ð µ Ø ÓÖ Ñ Ø¹Ì ÓÑÔ ÓÒ ½ ØÓÙØ ÖÓÙÔ ³ÓÖ Ö ÑÔ Ö Ø Ö ÓÐÙ Ð ÓÙ ÒÓÖ Ð³ÓÖ Ö ³ÙÒ ÖÓÙÔ ÑÔÐ ÒÓÒ Ð Ò Ø Ô Öµº (6) Ä ÖÓÙÔ Ö ÓÐÙ Ð ÒØ ÖÚ ÒÒ ÒØ Ò Ø ÓÖ ÓÖÔ º ËÓ Ø K ÙÒ ÓÖÔ Ö Ø ¹ Ö Ø ÕÙ 0 Ø Ó Ø K ÙÒ ÐØÙÖ Ð Ö ÕÙ Kº ÇÒ ÒÓØ K rad Ð ÔÐÙ Ô Ø Ø ÓÙ ¹ÓÖÔ K ÓÒØ Ò ÒØ K Ø Ð ÕÙ ÔÓÙÖ ØÓÙØ x K rad Ø ØÓÙØ ÒØ Ö n 1 ÓÒ Ø x 1/n K rad º ÇÒ ÑÓÒØÖ ÕÙ³ÙÒ ÜØ Ò ÓÒ ÐÓ ÒÒ Ò K Ø ÓÒØ ÒÙ Ò K rad Ø ÙÐ Ñ ÒØ ÓÒ ÖÓÙÔ ÐÓ Ø Ö ÓÐÙ Ð º º ÙÒ ÕÙ Ø ÓÒ Ø Ö ÓÐÙ Ð Ô Ö Ö ÙÜ Ø ÙÐ Ñ ÒØ ÓÒ ÖÓÙÔ ÐÓ Ø Ö ÓÐÙ Ð º ³ Ø Ð ÕÙ ÔÖÓÚ ÒØ Ð Ø ÖÑ ÒÓÐÓ Ö ÓÐÙ Ð µº ½ Ê Ö Ò Ïº Ø Ø Âº º Ì ÓÑÔ ÓÒ ËÓÐÚ Ð ØÝ Ó ÖÓÙÔ Ó Ó ÓÖ Ö È Âº Å Ø º µ º

20 º¾º ËÙ Ø ÒØÖ Ð Ò ÒØ ¾¼ º¾ ËÙ Ø ÒØÖ Ð Ò ÒØ ËÓ Ø G ÙÒ ÖÓÙÔ º ÇÒ ÔÔ ÐÐ Ù Ø ÒØÖ Ð Ò ÒØ G Ð Ù Ø (C n G) n 1 ÓÙ ¹ ÖÓÙÔ G Ò Ô Ö Ö ÙÖÖ Ò Ô Ö C 1 G = G, C n+1 G = (G,C n G) ÔÓÙÖ n 1. ÈÓÙÖ ØÓÙØ n 1 C n G Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ Gº ÈÖÓÔÓ Ø ÓÒ º ÇÒ (C i G,C j G) C i+j G ÔÓÙÖ ØÓÙØ i 1 Ø ØÓÙØ j 1º ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ i Ð ÔÖÓÔÓ Ø ÓÒ Ø ÒØ Ð Ö ÔÓÙÖ i = 1 Ø ØÓÙØ j 1º ËÓ Ø j 1 ÓÒ (C i+1 G,C j G) = ( (G,C i G),C j G ) º ÇÖ ( (C i G,C j G),G ) (C i+j G,G) Ô Ö ÝÔÓØ Ö ÙÖÖ Ò µ ÓÒ ( (C i G,C j G),G ) C i+j+1 Gº Ñ Ñ ( (C j G,G),C i G ) Ø ÓÒØ ÒÙ Ò C i+j+1 Gº Ä Ð ÑÑ Ù Ú ÒØ Ô ÖÑ Ø ÓÒÐÙÖ º Ä ÑÑ º Ë X Y Ø Z ÓÒØ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ ÙÜ G Ø H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ÓÒØ Ò ÒØ ( (Y,Z),X ) Ø ( (Z,X),Y ) ÐÓÖ H ÓÒØ ÒØ ( (X,Y ),Z ) º ÇÒ ÙØ Ð Ð³ ÒØ Ø À ÐÐ ( x y,(y,z) )( y z,(z,x) )( z x,(x,y) ) = 1, Ó x y = y 1 xyµ ÕÙ ³Ó Ø ÒØ Ò Ú ÐÓÔÔ ÒØ Ð ÕÙ Ö ÒØ ¹ ÙÜ Ø ÖÑ Ù Ñ Ñ Ö Ù º º ÓÙÖ ºÁ ï µº Ê Ñ ÖÕÙ º ij ÒØ Ø À ÐÐ Ø Ð³ Ò ÐÓ Ù ÔÓÙÖ Ð ÖÓÙÔ Ð³ ÒØ Ø Â Ó [ x,[y,z] ] + [ y,[z,x] ] + [ z,[x,y] ] = 0 ÔÓÙÖ Ð Ð Ö Ä º ÇÒ Ô ÙØ Ð³ÙØ Ð Ö ÔÓÙÖ Ó Ö ØÓÙØ ÖÓÙÔ G ÑÙÒ ³ÙÒ ÐØÖ Ø ÓÒ (G i ) Ø ÒØ (G i,g j ) G i+j ÙÒ Ð Ö Ä gr(g) ÚÓ Ö gr(g) = i G i /G i+1. Ë ξ G i /G i+1 Ø η G j /G j+1 Ð ÖÓ Ø [ξ,η] G i+j /G i+j+1 Ø Ô Ö Ò Ø ÓÒ Ð³ Ñ Ù ÓÑÑÙØ Ø ÙÖ (x,y) Ó x Ö Ôº yµ Ø ÙÒ Ö ÔÖ ÒØ ÒØ Ò G i Ö Ôº G j µ ξ Ö Ôº ηµº ³ ÔÔÐ ÕÙ ÒÓØ ÑÑ ÒØ Ù Ó G i = C i G º Ù ÓÙÖ Ä ÁÁ ï Ò o µº

21 º º ÖÓÙÔ Ò ÐÔÓØ ÒØ ¾½ º ÖÓÙÔ Ò ÐÔÓØ ÒØ Ò Ø ÓÒ º¾ ÍÒ ÖÓÙÔ G Ø Ø Ò ÐÔÓØ ÒØ ³ Ð Ü Ø ÙÒ ÒØ Ö n ÔÓ Ø Ø Ð ÕÙ C n+1 G = {1}º Ä Ð Ò ÐÔÓØ Ò G Ø ÐÓÖ Ð ÔÐÙ Ô Ø Ø Ø Ð ÒØ Ö nº Ò Ô ÖØ ÙÐ Ö Ä ÖÓÙÔ G Ø Ð Ò Ø ÙÐ Ñ ÒØ ³ Ð Ø Ò ÐÔÓØ ÒØ Ð 1º ÍÒ ÔÖÓ Ù Ø Ò ÖÓÙÔ Ò ÐÔÓØ ÒØ Ø Ò ÐÔÓØ ÒØ Ø Ð Ð Ò ÐÔÓØ Ò Ù ÔÖÓ Ù Ø Ø Ð ÓÖÒ ÙÔ Ö ÙÖ Ð ÖÓÙÔ º ÍÒ ÓÙ ¹ ÖÓÙÔ Ö Ôº ÙÒ ÖÓÙÔ ÕÙÓØ Òص ³ÙÒ ÖÓÙÔ Ò ÐÔÓØ ÒØ Ø Ò ÐÔÓØ Òغ ÈÖÓÔÓ Ø ÓÒ º ÌÓÙØ ÖÓÙÔ Ò ÐÔÓØ ÒØ Ø Ö ÓÐÙ Ð º Ò Ø ÔÓÙÖ ØÓÙØ n 0 ÓÒ D n G C 2n Gº Ä Ö ÔÖÓÕÙ Ø Ù Ð ÖÓÙÔ S 3 Ø Ö ÓÐÙ Ð Ð 2º Ê Ö ÓÒ Ð Ù Ø ÒØÖ Ð Ò ÒØ S 3 ÓÒ C 1 S 3 = S 3 C 2 S 3 = C 3 ÖÓÙÔ ÝÐ ÕÙ ³ÓÖ Ö µ ÔÙ C 3 S 3 = C 3 غ Ä Ù Ø Ø Ø Ø ÓÒÒ Ö Ø Ò³ ØØ ÒØ Ô {1}º ÓÒ S 3 Ò³ Ø Ô Ò ÐÔÓØ Òغ ÇÒ Ô ÙØ ÓÖÑ Ö ÖÓÙÔ Ò ÐÔÓØ ÒØ Ð ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º ÍÒ ÖÓÙÔ G Ø Ò ÐÔÓØ ÒØ Ð n + 1 Ø ÙÐ Ñ ÒØ ³ Ð Ø ÜØ Ò ÓÒ ÒØÖ Ð ³ÙÒ ÖÓÙÔ Γ Ò ÐÔÓØ ÒØ Ð n º º ³ Ð Ü Ø ÙÒ Ù Ø Ü Ø {1} A G Γ {1} Ó A Ø ÓÒØ ÒÙ Ò Ð ÒØÖ Gµº Ë G Ø Ò ÐÔÓØ ÒØ Ð n + 1 ÐÓÖ C n+2 G = {1} ÓÒ C n+1 G Ø Ò Ð ÒØÖ Gº ÈÓ ÓÒ Γ = G/C n+1 G ÓÒ C n+1 Γ = {1} ÓÒ Γ Ø Ò ÐÔÓØ ÒØ Ð nº Ê ÔÖÓÕÙ Ñ ÒØ ÙÒ Ø ÐÐ Ù Ø Ü Ø Ü Ø Ø C n+1 Γ = {1} ÐÓÖ C n+1 G A ÓÒ C n+1 G Ø ÓÒØ ÒÙ Ò Ð ÒØÖ G Ø C n+2 G = {1}º ÓÖÓÐÐ Ö º ËÓ Ø G ÙÒ ÖÓÙÔ Ò ÐÔÓØ ÒØ Ø Ó Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø ÒØ Gº ÐÓÖ N G (H) Ø Ø ÒØ Hº ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð Ð Ò ÐÔÓØ Ò n Gº Ë n = 1 ÓÒ N G (H) = G Ö G Ø Ð Òµ ÓÒ N G (H) Hº Ë n 2 Ó ÓÒ ÙÒ ÓÙ ¹ ÖÓÙÔ ÒØÖ Ð A G Ø Ð ÕÙ G/A Ó Ø Ò ÐÔÓØ ÒØ Ð n 1º ÐÓÖ N G (H) ÓÒØ ÒØ Aº Ë H Ò ÓÒØ ÒØ Ô A ÐÓÖ N G (H) Hº Ë H ÓÒØ ÒØ A ÐÓÖ H/A Ø ÙÒ ÓÙ ¹ ÖÓÙÔ ÔÖÓÔÖ G/A Ø Ð³ ÝÔÓØ Ö ÙÖÖ Ò ÑÓÒØÖ ÕÙ H/A N G/A (H/A)º ÓÑÑ N G (H)/A = N G/A (H/A) ÓÒ Ò Ù Ø ÕÙ N G (H) Ø Ø ÒØ Hº ÍÒ ÙØÖ Ö Ø Ö Ø ÓÒ ÖÓÙÔ Ò ÐÔÓØ ÒØ Ø ÓÒÒ Ô Ö Ð ÈÖÓÔÓ Ø ÓÒ º ÍÒ ÖÓÙÔ G Ø Ò ÐÔÓØ ÒØ Ø ÙÐ Ñ ÒØ ³ Ð Ü Ø ÙÒ ÐØÖ Ø ÓÒ (G i ) 1 i n+1 Ø ÐÐ ÕÙ G 1 = G G 2 G n+1 = {1} Ú (G,G i ) G i+1 ÔÓÙÖ ØÓÙØ 1 i nº

22 º º ÖÓÙÔ Ò ÐÔÓØ ÒØ ¾¾ Ê Ñ ÖÕÙ º ÍÒ ÓÒ Ø ÓÒ ÔÐÙ ÓÖØ Ö Ø (G i,g j ) G i+j º ÑÓÒ ØÖ Ø ÓÒº Ë ÙÒ Ø ÐÐ ÐØÖ Ø ÓÒ Ü Ø ÐÓÖ C k G G k ÔÓÙÖ ØÓÙØ k 1 ÓÒ G Ø Ò ÐÔÓØ Òغ Ê ÔÖÓÕÙ Ñ ÒØ G Ø Ò ÐÔÓØ ÒØ ÓÒ ÔÖ Ò G k = C k Gº Ü ÑÔÐ º ËÓ Ø V ÙÒ Ô Ú ØÓÖ Ð Ñ Ò ÓÒ Ò n ÙÖ ÙÒ ÓÖÔ K Ø Ó Ø V = V 0 V 1 V n = 0 ÙÒ Ö Ô Ù ÓÑÔÐ Ø V º Ê ÔÖ ÒÓÒ Ð³ Ü ÑÔÐ Ù ï º½ Ø ÔÓ ÓÒ B j = {g GL(V ) (g 1)V i V i+j, i 0}. ÐÓÖ B 1 Ø Ò ÐÔÓØ ÒØ Ò Ø (B i ) i 1 Ø ÙÒ ÐØÖ Ø ÓÒ Ø ÐÐ ÕÙ B 1 B 2 B n = {1} Ø (B i,b j ) B i+j ÓÑÑ ÓÒ Ð³ ÚÙ ÔÐÙ Ùغ Ò ÔÔÐ Ø ÓÒ ÓÒ Ð Ì ÓÖ Ñ º½¼ ÃÓÐ Òµ ËÓ Ø V ÙÒ Ô Ú ØÓÖ Ð Ñ Ò ÓÒ Ò ÙÖ ÙÒ ÓÖÔ ÓÑÑÙØ Ø K Ø Ó Ø G ÙÒ ÓÙ ¹ ÖÓÙÔ GL(V )º ÇÒ ÙÔÔÓ ÕÙ ØÓÙØ Ð Ñ ÒØ g G Ñ Ø 1 ÓÑÑ ÙÒ ÕÙ Ú Ð ÙÖ ÔÖÓÔÖ º º g 1 Ø Ò ÐÔÓØ Òصº ÐÓÖ Ð Ü Ø ÙÒ Ö Ô Ù ÓÑÔÐ Ø V Ø Ð ÕÙ G Ó Ø ÓÒØ ÒÙ Ò Ð ÖÓÙÔ B 1 ÓÖÖ ÔÓÒ ÒØ º ¹ Ù µº Ò Ô ÖØ ÙÐ Ö G Ø Ò ÐÔÓØ Òغ ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð Ñ Ò ÓÒ n V Ð n = 0 Ø ÒØ ØÖ Ú Ðº ËÙÔÔÓ ÓÒ ÓÒ n 1 Ø ÑÓÒØÖÓÒ ÕÙ³ Ð Ü Ø x V ÒÓÒ ÒÙÐ Ø Ð ÕÙ gx = x ÔÓÙÖ ØÓÙØ g Gº Ä ÔÖÓ Ð Ñ Ø ÒØ Ð Ò Ö ÓÒ Ô ÙØ Ø Ò Ö Ð Ð Ö Ø ÙÔÔÓ Ö K Ð Ö ÕÙ Ñ ÒØ ÐÓ º ËÓ Ø A G Ð ÓÙ ¹ Ô Ú ØÓÖ Ð End(V ) Ò Ò Ö Ô Ö Gº ³ Ø ÙÒ ÓÙ ¹ Ð Ö End(V )º Ø Ò ÙÓÒ ÙÜ V Ø ÙÒ A G ¹ÑÓ ÙÐ Ö ÙØ Ð º º Ð Ü Ø V V Ø Ð Ô Ö G Ø ÒØ 0 Ø V º ij ÝÔÓØ Ö ÙÖÖ Ò ³ ÔÔÐ ÕÙ V Ø ÓÙÖÒ Ø ÙÒ x ÒÓÒ ÒÙÐ Ò V Ø Ð ÕÙ gx = x ÔÓÙÖ ØÓÙØ g Gº Ë V Ø ÖÖ ÙØ Ð ÓÒ A G = End(V ) ³ ÔÖ ÙÒ Ø ÓÖ Ñ ÙÖÒ º ÓÙÖ º ÎÁÁÁ ï Ò o µº ÇÖ a,a A G ÓÒ ntr(aa ) = Tr(a)Tr(a )º Ò Ø ³ Ø Ð Ö a,a G Ö ÐÓÖ Tr(aa ) = Tr(a) = Tr(a ) = n Ø ³ Ø ÓÒ ÚÖ Ò A G Ô Ö Ð Ò Ö Ø º Ë n > 1 Ð Ð Ñ ÒØ a Ø a Ñ ØÖ Ö Ô Ø Ú ( ) Ø ( ÓÒØ Ò End(V ) ÓÒ Ò A G º ÇÖ Tr(a) = Tr(a ) = 1 Ø Tr(aa ) = 0 ÓÒ dim(v ) = 1 Ø ØÓÙØ x ÒÓÒ ÒÙÐ V ÓÒÚ Òغ ÍÒ Ó Ð³ Ü Ø Ò x ÔÖÓÙÚ ÓÒ ÒÓØ V n 1 Ð ÖÓ Ø Ò Ò Ö Ô Ö xº ij ÝÔÓØ Ö ÙÖÖ Ò ÔÔÐ ÕÙ V/V n 1 ÓÙÖÒ Ø ÙÒ Ö Ô Ù ÓÑÔÐ Ø ÔÓÙÖ V/V n 1 Ø Ð Ô Ö G ³Ó Ù ØØ ÙÒ Ö Ô Ù ÓÑÔÐ Ø ÔÓÙÖ V Ø Ð Ô Ö G Ø Ð Ø Ð Ö ÕÙ G Ø ÓÒØ ÒÙ Ò Ð ÓÙ ¹ ÖÓÙÔ B 1 ÓÖÖ ÔÓÒ Òغ )

23 º º ÖÓÙÔ Ò ÐÔÓØ ÒØ Ò ¾ º ÖÓÙÔ Ò ÐÔÓØ ÒØ Ò ËÓ Ø p ÙÒ ÒÓÑ Ö ÔÖ Ñ Öº ÈÖÓÔÓ Ø ÓÒ º½½ ÌÓÙØ p¹ ÖÓÙÔ Ø Ò ÐÔÓØ Òغ ÇÒ Ú Ò ÓÒÒ Ö ÙÜ ÑÓÒ ØÖ Ø ÓÒ º ËÓ Ø P ÙÒ p¹ ÖÓÙÔ ÐÓÖ P Ô ÙØ ÔÐÓÒ Ö Ò GL n (Z/pZ) ÔÓÙÖ ÙÒ ÒØ Ö n Ù ¹ ÑÑ ÒØ Ö Ò º ÓÒ P Ø ÓÒØ ÒÙ Ò ÙÒ p¹ëýðóû GL n (Z/pZ) ÕÙ Ø ÓÒ Ù Ù ÓÑÑ ÓÒ Ð³ Ú٠г Ò Ñ Ð B 1 Ñ ØÖ ØÖ Ò ÙÐ Ö ÙÔ Ö ÙÖ Ð Ñ ÒØ ÓÒ ÙÜ ÙÜ 1º ³ ÔÖ Ð³ Ü ÑÔÐ Ù ï º B 1 Ø Ò ÐÔÓØ ÒØ ÓÒ Ù P º ÇÒ Ô ÙØ ÙÔÔÓ Ö P {1}º ÓÒ ÓÔ Ö Ö P ÙÖ ÐÙ ¹Ñ Ñ Ô Ö ÙØÓÑÓÖÔ Ñ ÒØ ¹ Ö ÙÖ Ð³ Ò Ñ Ð ÔÓ ÒØ Ü Ø Ð ÒØÖ C(P) P º ÓÑÑ P Ø ÙÒ p¹ ÖÓÙÔ ÓÒ ³ ÔÖ Ð Ð ÑÑ ¾º P C(P) (mod p), ÓÒ C(P) {1}º Ò P/C(P) Ø ³ÓÖ Ö ØÖ Ø Ñ ÒØ Ò Ö ÙÖ ÐÙ P º ÍÒ Ö ÙÖÖ Ò Ô ÖÑ Ø ÓÒÐÙÖ º ÓÖÓÐÐ Ö º½¾ ËÓ Ø G ÙÒ ÖÓÙÔ ³ÓÖ Ö p n Ú p ÔÖ Ñ Ö Ø n 1µº ÐÓÖ ½µ ÌÓÙØ ÓÙ ¹ ÖÓÙÔ G ³ÓÖ Ö p n 1 Ø ÒÓÖÑ Ðº ¾µ Ë H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G Ð Ü Ø ÙÒ Ù Ø ÓÙ ¹ ÖÓÙÔ (H i ) 1 i m Ø ÐÐ ÕÙ H = H 1 H 2 H m = G Ú (H i : H i 1 ) = p ÔÓÙÖ 2 i mº µ ÌÓÙØ ÓÙ ¹ ÖÓÙÔ G Ø ÒØ G Ø ÓÒØ ÒÙ Ò ÙÒ ÓÙ ¹ ÖÓÙÔ ³ÓÖ Ö p n 1 º (1) ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ G ³ÓÖ Ö p n 1 º ÐÓÖ H Ø Ø ÒØ N G (H) Ö G Ø Ò ÐÔÓØ Òغ ÓÒ Ð³ÓÖ Ö N G (H) Ø p n Ø H Ø ÒÓÖÑ Ð Ò Gº (2) ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð³ÓÖ Ö Gº ËÓ Ø ÓÒ H ÙÒ ÓÙ ¹ ÖÓÙÔ G ÕÙ³ÓÒ Ô ÙØ ÙÔÔÓ Ö Ø ÒØ Gº ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø ÒØ G ÓÒØ Ò ÒØ H ³ÓÖ Ö Ñ Ü Ñ Ðº ÐÓÖ H Ø Ø ÒØ N G (H ) ÓÒ N G (H ) = G Ø H Ø ÒÓÖÑ Ð Ò Gº Ò Ô ÖØ ÙÐ Ö G/H Ø ÙÒ p¹ ÓÙ ¹ ÖÓÙÔ ³ÓÖ Ö p k ÔÓÙÖ ÙÒ ÖØ Ò ÒØ Ö k 1º Ë k > 1 Ð Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G/H Ø ÒØ {1} Ø G/H ÓÒ ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø ÒØ G ÓÒØ Ò ÒØ H ØÖ Ø Ñ ÒØ ÕÙ Ø ÙÖ º ÓÒ k = 1 Ø (G : H ) = pº ij ÝÔÓØ Ö ÙÖÖ Ò ÔÔÐ ÕÙ H ÓÒÒ Ð Ö ÙÐØ Øº (3) ÓÙÐ ÑÑ Ø Ñ ÒØ (2)º ÓÖÓÐÐ Ö º½ ÌÓÙØ ÔÖÓ Ù Ø Ò p¹ ÖÓÙÔ Ø Ò ÐÔÓØ Òغ ÇÒ Ú ÑÓÒØÖ Ö ÙÒ Ö ÔÖÓÕÙ º Ì ÓÖ Ñ º½ ËÓ Ø G ÙÒ ÖÓÙÔ Ò º Ä ÖØ ÓÒ Ù Ú ÒØ ÓÒØ ÕÙ Ú Ð ÒØ ½µ G Ø Ò ÐÔÓØ Òغ ¾µ G Ø ÔÖÓ Ù Ø p¹ ÖÓÙÔ º µ ÈÓÙÖ ØÓÙØ p ÔÖ Ñ Ö G ÙÒ ÙÒ ÕÙ p¹ëýðóûº

24 º º ÖÓÙÔ Ð Ò ¾ µ ËÓ ÒØ p Ø p ÙÜ ÒÓÑ Ö ÔÖ Ñ Ö Ø ÒØ Ø Ó Ø S p Ö Ôº S p µ ÙÒ p¹ëýðóû G Ö Ôº ÙÒ p ¹ËÝÐÓÛµ ÐÓÖ S p Ø S p ÒØÖ Ð ÒØ ÑÙØÙ ÐÐ Ñ ÒØ º º ØÓÙØ Ð Ñ ÒØ S p ÓÑÑÙØ ØÓÙØ Ð Ñ ÒØ S p µº µ ÙÜ Ð Ñ ÒØ G ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ ÓÑÑÙØ Òغ (2) (1) ³ Ø Ð ÓÖº º½ ¹ Ù º (1) (3) ËÓ Ø S ÙÒ p¹ëýðóû G Ø Ó Ø N ÓÒ ÒÓÖÑ Ð Ø ÙÖº ÐÓÖ N Ø ÓÒ ÔÖÓÔÖ ÒÓÖÑ Ð Ø ÙÖ º ÓÖº ¾º½½µº ÈÙ ÕÙ ÒÓÙ ÙÔÔÓ ÓÒ G Ò ÐÔÓØ ÒØ Ð ÒØÖ Ò N = G º ÓÖº º ÓÒ S Ø ÒÓÖÑ Ðº Ä p¹ëýðóû G Ø ÒØ ÓÒ Ù Ù G ÙÒ ÙÒ ÕÙ p¹ëýðóûº (3) (4) ÈÓÙÖ ØÓÙØ ÒÓÑ Ö ÔÖ Ñ Ö p Ó Ø S p гÙÒ ÕÙ p¹ëýðóû G Ð Ø ÒÓÖÑ Ð Ò Gº Ë p Ø p ÓÒØ ÙÜ ÔÖ Ñ Ö Ø ÒØ S p S p Ø Ö Ù Ø {1} Ö ³ Ø Ð Ó ÙÒ p¹ ÖÓÙÔ Ø ÙÒ p ¹ ÖÓÙÔ º ÇÖ x S p Ø y S p ÓÒ x 1 y 1 xy S p S p ³Ó x 1 y 1 xy = 1º ÓÒ S p Ø S p ÒØÖ Ð ÒØ ÑÙØÙ ÐÐ Ñ Òغ (4) (2) ÈÓÙÖ ØÓÙØ p ÔÖ Ñ Ö Ó ÓÒ ÙÒ p¹ëýðóû G ÕÙ³ÓÒ ÒÓØ S p º Ä ÖÓÙÔ Ò Ò Ö Ô Ö Ð S p p Ö Ú ÒØ Ð³ Ò Ñ Ð ÒÓÑ Ö ÔÖ Ñ Ö µ Ø G ØÓÙØ ÒØ Ö Ö ÓÒ ÓÖ Ö Ø Ú Ð Ô Ö ÐÙ Gµº Ò ÓÒ ÐÓÖ ÙÒ ÔÔÐ Ø ÓÒ ϕ : { p S p G (s p ) p p s p. È Ö ÝÔÓØ ϕ Ø ÙÒ ÓÑÓÑÓÖÔ Ñ Ö Ð S p ÒØÖ Ð ÒØ ÑÙØÙ ÐÐ Ñ Òغ ³ ÙØÖ Ô ÖØ ϕ Ø ÙÖ Ø Ú Ö G Ø Ò Ò Ö Ô Ö Ð S p º Ò Ò G Ø p S p ÓÒØ Ñ Ñ Ö Ò Ð ÓÒ ϕ Ø ÙÒ ÓÑÓÖÔ Ñ ÕÙ ÑÓÒØÖ (2)º (2) (5) ËÙÔÔÓ ÓÒ ÕÙ G Ó Ø ÙÒ ÔÖÓ Ù Ø p¹ ÖÓÙÔ G p º ËÓ ÒØ x Ø y ÙÜ Ð Ñ ÒØ G ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ Ùܺ ÐÓÖ x = (x p ) p Ø y = (y p ) p Ø ÔÓÙÖ ØÓÙØ p ÓÒ x p = 1 ÓÙ y p = 1º Ò Ø ÓÒ x p = 1 Ø ÙÐ Ñ ÒØ p Ò Ú Ô Ð³ÓÖ Ö xº ÓÒ x 1 y 1 xy = (x 1 p yp 1 x p y p ) p = (1) ÓÒ xy = yxº (5) (4) ³ Ø Ú Òغ Ò Ö ÙÑ ÒÓÙ ÚÓÒ ÑÓÒØÖ Ð ÑÔÐ Ø ÓÒ Ù Ú ÒØ (1) (2) (5) (3) (4) Ä Ø ÓÖ Ñ Ò Ö ÙÐØ º º ÖÓÙÔ Ð Ò ÌÓÙØ ÖÓÙÔ Ð Ò Ø Ò ÐÔÓØ ÒØ ³ ÔÖ Ð ï º ØÓÙØ ÖÓÙÔ Ð Ò Ø ÔÖÓ Ù Ø p¹ ÖÓÙÔ Ð Ò º ÇÒ Ô ÙØ ÐÓÖ ÔÓÙÖ Ù ÚÖ Ð ÓÑÔÓ Ø ÓÒ Ö Ù Ì ÓÖ Ñ º½ ÌÓÙØ p¹ ÖÓÙÔ Ð Ò Ø ÔÖÓ Ù Ø ÖÓÙÔ ÝÐ ÕÙ º

25 º º ÖÓÙÔ Ð Ò ¾ Ê Ñ ÖÕÙ º Ë G Ø ÙÒ p¹ ÖÓÙÔ Ð Ò Ò Ð Ü Ø ÙÒ ÒØ Ö n Ø Ð ÕÙ p n x = 0 ÔÓÙÖ ØÓÙØ x G Ø Ð³ÓÒ Ô ÙØ ÓÒ Ö Ö G ÓÑÑ ÙÒ ÑÓ ÙÐ ÙÖ Z/p n Z ÔÓÙÖ n Þ Ö Ò µº ÁÐ Ù Ø ÓÒ ÑÓÒØÖ Ö Ð Ø ÓÖ Ñ Ù Ú ÒØ Ì ÓÖ Ñ º½ ÌÓÙØ ÑÓ ÙÐ ÒÓÒ Ò Ö Ñ ÒØ Ò µ ÙÖ Z/p n Z Ø ÓÑÑ Ö Ø ÑÓ ÙÐ ÑÓÒÓ Ò ÓÑÓÖÔ Z/p i Z ÔÓÙÖ i nµº ËÓ Ø G ÙÒ ÑÓ ÙÐ ÙÖ Z/p n Z Ø Ó Ø V Ð ÑÓ ÙÐ ÕÙÓØ ÒØ G/pG ³ Ø ÙÒ Ô Ú ØÓÖ Ð ÙÖ Z/pZº ÆÓØÓÒ G i г Ò Ñ Ð {x G p i x = 0}º Ä G i Ò ÒØ ÙÒ ÐØÖ Ø ÓÒ G G 0 = 0 G 1 G n = G. ËÓ Ø V i г Ñ G i Ò V ÐÓÖ V 0 = 0 V 1 V n = V. ÇÒ Ô ÙØ Ó Ö ÙÒ S V ÔØ ØØ ÓÑÔÓ Ø ÓÒ º º S i = S V i Ø ÙÒ V i µº Ë s S ÓÒ ÒÓØ i(s) Ð ÔÐÙ Ô Ø Ø i ÔÓÙÖ Ð ÕÙ Ð s S i Ø ÓÒ Ó Ø ÙÒ Ö ÔÖ ÒØ ÒØ s s Ò G i(s) º ÇÒ p i(s) s = 0º ËÓ Ø G = s S Z/pi(s) Z ÓÒ Ò Ø ÙÒ ÓÑÓÑÓÖÔ Ñ ϕ G Ò G Ð ÓÒ Ù Ú ÒØ (n s ) s S G ÓÒ ÔÓ ϕ ( (n s ) ) = s S n s sº ÇÒ Ú ÑÓÒØÖ Ö ÕÙ ϕ Ø ÙÒ ÓÑÓÖÔ Ñ º ϕ Ø ÙÖ Ø Ð Ù Ø ÔÖÓÙÚ Ö ÕÙ Ð ÓÙ ¹ ÖÓÙÔ H G Ò Ò Ö Ô Ö Ð s Ø G ØÓÙØ ÒØ Öº ÇÖ Ð³ ÔÔÐ Ø ÓÒ ÔÖÓ Ø ÓÒ H Ò V Ø ÙÖ Ø Ú Ô Ö Ò Ø ÓÒ s ³ ÒÚÓ ÙÖ s ÕÙ Ô ÖÓÙÖØ ÙÒ V µº ÓÒ H + pg = G ÓÙ ÒÓÖ G = pg + Hº Ò Ø Ö ÒØ G = p(pg + H) = p 2 G + H = = p n G + H = H. ϕ Ø Ò Ø Ó Ø (n s ) G Ø Ð ÕÙ s S n s s = 0 Ò Gº ÅÓÒØÖÓÒ ÕÙ n s Ø Ú Ð Ô Ö p i ÔÓÙÖ ØÓÙØ i ÓÒ n s = 0µº Ò Ø ÑÓÒØÖÓÒ Ô Ö Ö ÙÖÖ Ò ÙÖ i ÕÙ n s p i ( Z/p i(s) Z ) º ÈÓÙÖ i = 0 Ð Ò³Ý Ö Ò ÑÓÒØÖ Öº Ë ³ Ø ÚÖ Ù ÕÙ³ гÓÖ Ö k ÓÒ n s p k ( Z/p i(s) Z ) º Ò Ô ÖØ ÙÐ Ö n s = 0 i(s) kº ÇÒ Ö Ö ÓÒ Ð s ÔÓÙÖ Ð ÕÙ Ð i(s) k + 1º È Ö ÝÔÓØ n s s = 0. i(s) k+1 ÈÓ ÓÒ n s = p k m s Ú m s Z/p i(s) Z ÓÒ p k m s s = 0, ³ ع¹ Ö ³Ó Ô Ö ÔÖÓ Ø ÓÒ i(s) k+1 i(s) k+1 i(s) k+1 m s s G k, m s s V k. ÎÙ Ð Ó Ü S ÓÒ Ò Ù Ø ÕÙ m s 0 (mod p)º ÓÒ p k+1 Ú n s Ø ÓÒ Ò Ù Ø ÕÙ n s ÔÔ ÖØ ÒØ p k+1( Z/p i(s) Z ) º

26 º º ËÓÙ ¹ ÖÓÙÔ Ö ØØ Ò ¾ Ü Ö º Ë G Ø ÙÒ ÑÓ ÙÐ ÙÖ Z/p n Z ØÓÙØ ÓÙ ¹ÑÓ ÙÐ G ÓÑÓÖÔ Z/p n Z Ø Ø ÙÖ Ö Øº ÔÔÐ Ø ÓÒ 2¹ ÖÓÙÔ ÓÒ ØÖÙØ ÓÒ Ô Ö Ö Ð Ø ÓÑÔ º ËÓ Ø K ÙÒ ÓÖÔ Ö ¹ Ø Ö Ø ÕÙ ÕÙ ÐÓÒÕÙ Ø Ó Ø L ÙÒ ÜØ Ò ÓÒ ÐÓ ÒÒ K ÓÒØ Ð ÖÓÙÔ ÐÓ G Ø ÙÒ 2¹ ÖÓÙÔ º ³ ÔÖ Ð ÓÖº º½¾ Ð Ü Ø G ÒÓÖÑ Ð Ò G ³ Ò 2 ÓÒ ÙÒ ÓÖÔ ÒØ ÖÑ Ö L Ü Ô Ö G ÕÙ Ø ÙÒ ÜØ Ò ÓÒ ÕÙ Ö Ø ÕÙ Kº Ë ÓÒ Ø Ö L/K ÔÔ Ö Ø ÓÑÑ ÙÒ ØÓÙÖ ³ ÜØ Ò ÓÒ ÕÙ Ö Ø ÕÙ º Ê ÔÖÓÕÙ Ñ ÒØ L/K Ø ÙÒ Ø ÐÐ ØÓÙÖ Ð³ ÜØ Ò ÓÒ ÐÓ ÒÒ Ò Ò Ö ÔÓÙÖ ÖÓÙÔ ÐÓ ÙÒ 2¹ ÖÓÙÔ º ÇÒ Ò ÙÒ Ö Ø Ö Ø ÓÒ ÜØ Ò ÓÒ ÐÓ ÒÒ ÓÒØ Ð ÖÓÙÔ Ø ÙÒ 2¹ ÖÓÙÔ º Ë Ð Ö Ø Ö Ø ÕÙ K Ø Ø ÒØ 2 ÙÒ ÜØ Ò ÓÒ ÕÙ Ö Ø ÕÙ Ø Ð ÓÖÑ K [ a ] K[X]/(X 2 a) Ó a K K 2 º Ë cark = 2 ÓÒ Ö ÑÔÐ X 2 a Ô Ö X 2 + X + aµº Ö Ó ÒØ Ð ÔÖÓ Ð Ñ ÒÓÑ Ö ÓÒ ØÖÙØ Ð Ô Ö Ö Ð Ø ÓÑÔ ÓÒØ Ð ÒÓÑ Ö Ð Ö ÕÙ ÙÖ Qµ ÓÒØ ÒÙ Ò ÙÒ ÜØ Ò ÓÒ ÐÓ ÒÒ Q ÓÒØ Ð ÖÓÙÔ ÐÓ Ø ÙÒ 2¹ ÖÓÙÔ º Ü ÑÔÐ º ÁÑÔÓ Ð Ø Ð ÙÔÐ Ø ÓÒ Ù Ù µ Ä ÒÓÑ Ö 3 2 Ò³ Ø Ô ÓÒ ØÖÙØ Ð Ô Ö Ö Ð Ø ÓÑÔ Ö X 3 2 Ø ÖÖ ÙØ Ð Ø ÓÒ Ö Ò³ Ø Ô ÙÒ ÔÙ Ò 2º º ËÓÙ ¹ ÖÓÙÔ Ö ØØ Ò ËÓ Ø G ÙÒ ÖÓÙÔ Ò º ÇÒ ÔÔ ÐÐ ÓÙ ¹ ÖÓÙÔ Ö ØØ Ò G Ø ÓÒ ÒÓØ Φ(G) г ÒØ Ö¹ Ø ÓÒ ÓÙ ¹ ÖÓÙÔ Ñ Ü Ñ ÙÜ ¾ Gº ³ Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ö Ø Ö Ø ÕÙ Gº ÍÒ ÔÖÓ Ð Ñ ÒØ Ö ÒØ Ø ÚÓ Ö ÕÙ ÐÐ ÓÒ Ø ÓÒ ÙÒ Ô ÖØ S G Ò Ò Ö Ð ÖÓÙÔ Gº ÇÒ Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º½ ËÓ Ø S ÙÒ Ô ÖØ G Ø Ó Ø H Ð ÓÙ ¹ ÖÓÙÔ Ò Ò Ö Ô Ö Sº ÇÒ H = G Ø ÙÐ Ñ ÒØ H.Φ(G) = G º º S Ò Ò Ö G/Φ(G)º Ò Ø H.Φ(G) = G Ø H G Ð Ü Ø H Ñ Ü Ñ Ð ÓÒØ Ò ÒØ H Ø Ø ÒØ G Φ(G) Ø Ù ÓÒØ ÒÙ Ò H Ô Ö Ò Ø ÓÒ G = H.Φ(G) Ø ÓÒ ÓÒØ ÒÙ Ò H ÕÙ Ø ÙÖ º Ì ÓÖ Ñ º½ Ä ÖÓÙÔ Φ(G) Ø Ò ÐÔÓØ Òغ ÇÒ Ú ÙØ Ð Ö Ð Ö Ø Ö Ø ÓÒ (3) Ù Ø º º½ º ËÓ Ø S ÙÒ p¹ëýðóû Φ(G) ÔÓÙÖ ÙÒ p ÔÖ Ñ Ö ÕÙ ÐÓÒÕÙ µº ÇÒ ÚÙ Ò Ð³ ØÙ ÖÓÙÔ ËÝÐÓÛ ÔÖÓÔº ¾º½¼µ ÕÙ G = Φ(G).N G (S)º ³ ÔÖ Ð ÔÖÓÔÓ Ø ÓÒ ¹ Ù ÓÒ N G (S) = G ÓÒ S Ø ÒÓÖÑ Ð Ò G ÓÒ Ò Φ(G) ÓÒ Ø Ð³ÙÒ ÕÙ p¹ëýðóû Φ(G) ÕÙ Ø ÐÓÖ Ò ÐÔÓØ Òغ Ò Ð Ó G Ø ÙÒ p¹ ÖÓÙÔ ÓÒ ÙÒ Ö Ø Ö Ø ÓÒ ÑÔÐ Φ(G) ¾ ÍÒ ÓÙ ¹ ÖÓÙÔ H G Ø Ø Ñ Ü Ñ Ð ³ Ð Ø Ø ÒØ G Ø Ñ Ü Ñ Ð ÔÓÙÖ ØØ ÔÖÓÔÖ Ø ÓÒ Ø ÐÓÖ Õ٠г Ø ÓÒ G ÙÖ G/H Ø ÔÖ Ñ Ø Ú º

27 º º ËÓÙ ¹ ÖÓÙÔ Ö ØØ Ò ¾ Ì ÓÖ Ñ º½ Ë G Ø ÙÒ p¹ ÖÓÙÔ Φ(G) Ø Ð ÓÙ ¹ ÖÓÙÔ Ò Ò Ö Ô Ö Ð Óѹ ÑÙØ Ø ÙÖ Ø Ð ÔÙ Ò p¹ Ñ G º º Φ(G) = (G,G).G p º Ë G Ø ³ÓÖ Ö p n ÓÙ ¹ ÖÓÙÔ H Ñ Ü Ñ ÙÜ ÓÒØ ³ÓÖ Ö p n 1 ÓÒ ÓÒØ ÒÓÖÑ ÙÜ ÓÒ ÓÒØ ÒÓÝ ÙÜ ³ ÓÑÓÑÓÖÔ Ñ ÙÖ Ø G Ò G/H Z/pZ Ø Ö ¹ ÔÖÓÕÙ Ñ ÒØ ÙÒ Ø Ð ÓÑÓÑÓÖÔ Ñ Ò Ø ÙÒ ÓÙ ¹ ÖÓÙÔ Ñ Ü Ñ Ð Gµº ÓÒ Φ(G) Ø Ð³ ÒØ Ö Ø ÓÒ ÒÓÝ ÙÜ ³ ÓÑÓÑÓÖÔ Ñ ÙÖ Ø G Ò Z/pZº ÇÖ ÙÒ Ø Ð ÓÑÓÑÓÖÔ Ñ Ø ØÖ Ú Ð ÙÖ (G,G) Ø G p º ÓÒ (G,G).G p Φ(G)º Ê ÔÖÓÕÙ Ñ ÒØ V = G/(G,G).G p Ø ÙÒ Ô Ú ØÓÖ Ð ÙÖ Z/pZ Ò Ð ÕÙ Ð 0 Ø ÒØ Ö Ø ÓÒ ³ ÝÔ ÖÔÐ Ò º ÇÖ ÙÒ ÝÔ ÖÔÐ Ò Ø Ð ÒÓÝ Ù ³ÙÒ ÓÑÓÑÓÖÔ Ñ V Ò Z/pZº Ä ÖÓÙÔ (G,G).G p ÓÒØ ÒØ ÓÒ Φ(G)º Ò Ð Ñ ÒØ Φ(G) = (G,G).G p º ÔÔÐ Ø ÓÒº G/Φ(G) Ø ÓÒ Ð ÔÐÙ Ö Ò ÕÙÓØ ÒØ G ÕÙ Ó Ø Ð Ò Ð Ñ ÒØ Ö º º ÔÖÓ Ù Ø ÖÓÙÔ ÝÐ ÕÙ ³ÓÖ Ö pµº ÓÖÓÐÐ Ö º¾¼ ÍÒ Ô ÖØ S G Ò Ò Ö G Ø ÙÐ Ñ ÒØ ÓÒ Ñ Ò G/(G,G).G p Ò Ò Ö ÖÓÙÔ º Ò Ø ÓÒ ÐÓÖ S.Φ(G) = G ÓÒ S = Gº Ò Ð Ö Ò Ð Ñ Ò ÑÙÑ ³ÙÒ Ô ÖØ S Ò Ö ØÖ G Ø dim Fp ( G/Φ(G) ) Ò Ð Ó G Ø ÙÒ p¹ ÖÓÙÔ µº Ö Ø Ö Ø ÓÒ Ô Ö Ð ÓÙ ¹ ÖÓÙÔ ÙÜ Ò Ö Ø ÙÖ º ÇÒ Ô ÙØ Ò Ð Ñ Ñ Ú Ò ØÙ Ö Ð ÔÖÓÔÖ Ø ÖØ Ò ÓÙ ¹ ÖÓÙÔ G Ô ÖÑ ØØ ÒØ ÑÓÒØÖ Ö ÔÖÓÔÖ Ø Ò ÐÓ Ù ÔÓÙÖ Ð ÖÓÙÔ ØÓÙØ ÒØ Öº ÈÖÓÔÓ Ø ÓÒ º¾½ ËÓ Ø G ÙÒ ÖÓÙÔ Ö Ôº ÙÒ ÖÓÙÔ Ò µº ËÙÔÔÓ ÓÒ ÕÙ ØÓÙØ ÓÙ ¹ ÖÓÙÔ G Ò Ò Ö Ô Ö ÙÜ Ð Ñ ÒØ Ó Ø ÓÑÑÙØ Ø Ö Ôº Ò ÐÔÓØ Òصº ÐÓÖ G Ø ÓÑÑÙØ Ø Ö Ôº Ò ÐÔÓØ Òصº ËÓ ÒØ x,y Gº Ä ÖÓÙÔ x,y Ø ÓÑÑÙØ Ø ÓÒ xy = yxº ÈÓÙÖ Ð ÖÓÙÔ Ò ÐÔÓØ ÒØ Ò ÓÒ ÙØ Ð Ð Ö Ø Ö Ø ÓÒ (5) Ù Ø º º½ º ÇÒ Ô ÙØ Ñ Ò Ö ÙÒ Ø ÓÖ Ñ Ò ÐÓ Ù Ø ÚÖ ÔÓÙÖ Ð ÖÓÙÔ Ö ÓÐÙ Ð º ÇÒ Ú ³ ÓÖ Ò Ö Ð ÒÓØ ÓÒ ÖÓÙÔ ÑÔÐ Ñ Ò Ñ Ðº ËÓ Ø G ÙÒ ÖÓÙÔ Ò ÑÔÐ ÒÓÒ Ð Òº ÇÒ Ø ÕÙ G Ø Ñ Ò Ñ Ð ØÓÙØ ÓÙ ¹ ÖÓÙÔ G Ø ÒØ G Ø Ö ÓÐÙ Ð º Ä ÑÑ º¾¾ Ë G Ò³ Ø Ô Ö ÓÐÙ Ð Ð Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ H G Ø ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ Ð K H Ø Ð ÕÙ H/K Ó Ø ÑÔÐ Ñ Ò Ñ Ðº Ü ÑÔÐ º G = A 6 Ø ÑÔÐ ÒÓÒ Ñ Ò Ñ Ðµ ÓÒ Ô ÙØ ÔÖ Ò Ö H = A 5 Ø K = {1}º ÑÓÒ ØÖ Ø ÓÒº ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÒ Ö ÓÐÙ Ð Ñ Ò Ñ Ð G Ø Ó Ø K ÙÒ ÓÙ ¹ ÖÓÙÔ ÒÓÖÑ Ð H Ø ÒØ H Ø Ñ Ü Ñ Ðº Ä ÖÓÙÔ K Ø Ö ÓÐÙ Ð Ö ØÖ Ø ¹ Ñ ÒØ ÓÒØ ÒÙ Ò Hµº Ä ÕÙÓØ ÒØ H/K Ø ÑÔÐ Ö K Ø Ñ Ü Ñ Ðµ Ø ÒÓÒ Ð Ò

28 º º ËÓÙ ¹ ÖÓÙÔ Ö ØØ Ò ¾ ÒÓÒ H Ö Ø Ö ÓÐÙ Ð µ Ð Ø ÔÐÙ Ñ Ò Ñ Ð ØÓÙØ ÓÙ ¹ ÖÓÙÔ ³Ó Ø ÒØ ÓÑÑ ÕÙÓ¹ Ø ÒØ Ô Ö K ³ÙÒ ÓÙ ¹ ÖÓÙÔ H ÓÒØ Ò ÒØ K Ø ÓÒØ ÒÙ Ò H ÓÒ Ø Ö ÓÐÙ Ð µº ÇÒ ÐÓÖ ÙÒ Ö ÔÓÒ Ô ÖØ ÐÐ ÒÓØÖ ÕÙ Ø ÓÒ ÈÖÓÔÓ Ø ÓÒ º¾ Ä ÙÜ ÖØ ÓÒ Ù Ú ÒØ ÓÒØ ÕÙ Ú Ð ÒØ ½µ ÌÓÙØ ÖÓÙÔ ÑÔÐ Ñ Ò Ñ Ð Ô ÙØ ØÖ Ò Ò Ö Ô Ö ÙÜ Ð Ñ ÒØ º ¾µ ÌÓÙØ ÖÓÙÔ Ø Ð ÕÙ ÓÙ ¹ ÖÓÙÔ Ò Ò Ö Ô Ö ÙÜ Ð Ñ ÒØ Ó ÒØ Ö ÓÐÙ Ð Ø Ö ÓÐÙ Ð º ËÙÔÔÓ ÓÒ (2)º ËÓ Ø G ÑÔÐ Ñ Ò Ñ Ð x,y G ÔÓÙÖ ØÓÙØ ÓÙÔÐ (x,y) G G ÐÓÖ x,y Ø Ö ÓÐÙ Ð ÓÑÑ ÓÙ ¹ ÖÓÙÔ G ØÖ Ø Ø ³ ÔÖ (2) G Ø Ù Ö ÓÐÙ Ð ÕÙ Ø ÑÔÓ Ð º ËÙÔÔÓ ÓÒ (1)º Ë G Ò³ Ø Ô Ö ÓÐÙ Ð Ð Ü Ø H Ø K ÓÑÑ Ò Ð Ð ÑÑ º¾¾º Ä ÖÓÙÔ H/K Ø ÑÔÐ Ñ Ò Ñ Ð ÓÒ Ò Ò Ö Ô Ö ÙÜ Ð Ñ ÒØ x Ø ȳº ËÓ Ø H Ð ÓÙ ¹ ÖÓÙÔ H Ò Ò Ö Ô Ö x Ø y Ö ÔÖ ÒØ ÒØ Ö Ô Ø x Ø ȳµº ³ Ø ÙÒ ÖÓÙÔ Ö ÓÐÙ Ð Ô Ö ÝÔÓØ ÓÖ H/K Ø Ð³ Ñ Ô Ö ÔÖÓ Ø ÓÒ H ÓÒ Ø Ù Ö ÓÐÙ Ð ÕÙ Ø ÙÖ º ÇÒ Ø ÓÒ Ö Ñ Ò Ù ÔÖÓ Ð Ñ Ù Ú ÒØ ØÖÓÙÚ Ö Ð Ð Ø ØÓÙ Ð ÖÓÙÔ ÑÔÐ Ñ Ò Ñ ÙÜ Ø Ö Ö ³ Ð ÓÒØ Ò Ò Ö Ô Ö ÙÜ Ð Ñ ÒØ º ÔÖÓ Ð Ñ Ø Ö ÓÐÙ Ô Ö Ì ÓÑÔ ÓÒ ÕÙ ÑÓÒØÖ ÕÙ ØÓÙØ ÖÓÙÔ ÑÔÐ Ñ Ò Ñ Ð Ø ÓÑÓÖÔ Ð³ÙÒ Ù Ú ÒØ Õ٠гÓÒ Ô ÙØ Ò Ò Ö Ö Ô Ö ÙÜ Ð Ñ ÒØ µ PSL 2 (F p ) p 5 p ±1 (mod 5) PSL 2 (F 2 p) p ÔÖ Ñ Ö 3 PSL 2 (F 3 p) p ÔÖ Ñ Ö 3 PSL 3 (F 3 ) ÖÓÙÔ ËÙÞÙ Sz(2 p ) p ÔÖ Ñ Ö 3º Ë Ò ÐÓÒ ÙÒ ÔÖÓ Ð Ñ Ø¹ Ð ÚÖ ÕÙ³ÙÒ ÖÓÙÔ ÑÔÐ ÒÓÒ Ð Ò ÕÙ Ø Ñ Ò Ñ Ð Ù Ò Ò º º ÕÙ Ò ÓÒØ ÒØ Ô ÓÙ ¹ ÖÓÙÔ ÔÖÓÔÖ ÒÓÒ Ð Ò ÕÙ Ó Ø ÑÔÐ µ Ø Ñ Ò Ñ Ð Ù Ò Ò ÔÐÙ ÙØ Ê Ö Ò Âº º Ì ÓÑÔ ÓÒ ÆÓÒ ÓÐÚ Ð Ò Ø ÖÓÙÔ ÐÐ Ó Û Ó ÐÓ Ð Ù ÖÓÙÔ Ö ÓÐÚ Ð Á ÁÁ... ÎÁ ÙÐк ºÅºËº µ È º º Å Ø º µ È º º Å Ø º µ º ÁÐ Ü Ø ÙÒ ÑÓÒ ØÖ Ø ÓÒ Ò Ô Ò ÒØ Ù Ø ÓÖ Ñ Ð Ø ÓÒ Ì ÓÑÔ ÓÒ Èº Ð Ú ÐÐ Ò Ø ÖÓÙÔ Ò Û ØÛÓ Ð Ñ ÒØ Ò Ö Ø ÓÐÚ Ð ÖÓÙÔ ÁÒÚ Òغ Ñ Ø º 121 (1995) º Ê ÔÓÒ ÓÙ ³ ÔÖ Ð Ð Ø ÓÒ ÖÓÙÔ ÑÔÐ º

29 Ô ØÖ Ó ÓÑÓÐÓ Ø ÜØ Ò ÓÒ º½ Ò Ø ÓÒ ËÓ ÒØ G ÙÒ ÖÓÙÔ ÒÓØ ÑÙÐØ ÔÐ Ø Ú Ñ Òص Ø A ÙÒ G¹ÑÓ ÙÐ ÙØÖ Ñ ÒØ Ø ÙÒ ÖÓÙÔ Ð Ò ÒÓØ Ø Ú Ñ ÒØ ÙÖ Ð ÕÙ Ð G ÓÔ Ö Ô Ö ÙØÓÑÓÖÔ Ñ µº ÇÒ ÒÓØ sa Ð ØÖ Ò ÓÖÑ Ð³ Ð Ñ ÒØ a A Ô Ö Ð³ Ð Ñ ÒØ s Gº ÇÒ s,t G Ø a,a 1,a 2 Aº (st)a = s(ta), 1a = a, s(a 1 + a 2 ) = sa 1 + sa 2, Ü ÑÔÐ ³ÙÒ Ø ÐÐ ØÙ Ø ÓÒ ÓÒØ ÓÒÒ Ô Ö (1) Ø ÓÒ ØÖ Ú Ð ³ÙÒ ÖÓÙÔ G ÙÖ ÙÒ ÖÓÙÔ Ð Ò A sa = a ÔÓÙÖ s G Ø a Aº (2) Ë L Ø ÙÒ ÜØ Ò ÓÒ ÐÓ ÒÒ Ù ÓÖÔ K ÖÓÙÔ ÐÓ G ÐÓÖ G ÓÔ Ö Ô Ö ÙØÓÑÓÖÔ Ñ ÙÖ L ÑÙÒ Ð³ Ø ÓÒ ÓÙ L ÑÙÒ Ð ÑÙÐØ ÔÐ Ø ÓÒº Ò Ø ÓÒ º½ ËÓ Ø n ÙÒ ÒØ Ö ÔÓ Ø ÓÙ ÒÙк ÇÒ ÔÔ ÐÐ n¹ó Ò ÓÙ Ó Ò Ö n ÙÖ G Ú Ð ÙÖ Ò A ØÓÙØ ÓÒØ ÓÒ n Ú Ö Ð G Ú Ð ÙÖ Ò A { G G G A f : (s 1,s 2,...,s n ) f(s 1,s 2,...,s n ). ij Ò Ñ Ð Ó Ò ÑÙÒ Ð³ Ø ÓÒ Ò Ù Ø Ô Ö ÐÐ A ÓÖÑ ÙÒ ÖÓÙÔ Ð Ò ÒÓØ C n (G,A)º Ü ÑÔÐ º n = 0 Ô Ö ÓÒÚ ÒØ ÓÒ ÙÒ ÓÒØ ÓÒ 0 Ú Ö Ð Ú Ð ÙÖ Ò A Ø ÙÒ Ð Ñ ÒØ Aº ³Ó C 0 (G,A) = Aº ÇÒ ÒÓØ f a г Ð Ñ ÒØ C 0 (G,A) ÓÖÖ ÔÓÒ ÒØ Ð³ Ð Ñ ÒØ a Aº n = 1 C 1 (G,A) = {f : G A}º n = 2 C 2 (G,A) = {f : G G A}º ¾

30 º½º Ò Ø ÓÒ ¼ Ò Ø ÓÒ º¾ Ë f C n (G,A) ÓÒ ÔÔ ÐÐ Ó ÓÖ f Ø ÓÒ ÒÓØ df г Ð Ñ ÒØ C n+1 (G,A) Ò Ô Ö Ð ÓÖÑÙÐ df(s 1,...,s n,s n+1 ) = s 1 f(s 2,...,s n+1 ) + n ( 1) i f(s 1,...,s i 1,s i s i+1,...) i=1 + ( 1) n+1 f(s 1,...,s n ). Ê Ö ÓÒ ÕÙ³ Ø d ÔÓÙÖ Ð Ô Ø Ø Ú Ð ÙÖ nº d : C 0 (G,A) C 1 (G,A)º ËÓ Ø a A ÓÒ Ö df a º ÇÒ df a (s) = sa aº ÆÓØ Ö ÕÙ df a = 0 Ø ÙÐ Ñ ÒØ a Ø Ü Ô Ö Gº d : C 1 (G,A) C 2 (G,A)º ËÓ Ø f ÙÒ 1¹Ó Ò ÓÒ df(s,t) = sf(t) f(st) + f(s). d : C 2 (G,A) C 3 (G,A)º ËÓ Ø f ÙÒ 2¹Ó Ò ÓÒ df(u,v,w) = uf(v,w) f(uv,w) + f(u,vw) f(u,v). Ì ÓÖ Ñ º½ ÓÖÑÙÐ ÓÒ Ñ ÒØ Ð µ ÇÒ d d = 0º ÙØÖ Ñ ÒØ Ø Ð ÓÑÔÓ C n (G,A) d C n+1 (G,A) d C n+2 (G,A) Ø ÒÙк ÆÓÙ ÐÐÓÒ Ö Ð Ú Ö Ø ÓÒ ÙÐ Ñ ÒØ Ò Ð n = 0 Ø n = 1 Ð ÒØ Ò Ü Ö Ð Ú Ö Ø ÓÒ Ò Ö Ð º ËÓ Ø a Aº ÇÒ df a (s) = sa a ³Ó d d(f a )(s,t) = sdf a (t) df a (st) + df a (s) = s(ta a) (sta a) + (sa a) = 0. Ê Ö ÓÒ Ñ ÒØ Ò ÒØ f C 1 (G,A) d d(f)(u,v,w) = udf(v,w) df(uv,w) + df(u,vw) df(u,v) = u ( vf(w) f(vw) + f(v) ) ( uvf(w) f(uvw) + f(uv) ) + ( uf(vw) f(uvw) + f(u) ) ( uf(v) f(uv) + f(u) ) = 0. Ò Ø ÓÒ º ÍÒ n¹ó Ò f Ø Ø ÙÒ n¹óýð df = 0º ÐÐ Ø Ø ÙÒ n¹ Ó ÓÖ ³ Ð Ü Ø ÙÒ (n 1)¹Ó Ò g Ø ÐÐ ÕÙ f = dgº ³ ÔÖ Ð Ø º º½ ØÓÙØ n¹ó ÓÖ Ø ÙÒ n¹óýð º ÇÒ ÒÓØ Z n (G,A) Ð ÖÓÙÔ n¹ ÓÝÐ Ø B n (G,A) Ð ÖÓÙÔ n¹ó ÓÖ º ÇÒ ÒÓØ H n (G,A) Ð ÖÓÙÔ ÕÙÓØ ÒØ Z n (G,A)/B n (G,A) Ø ÓÒ Ð³ ÔÔ ÐÐ Ð n¹ Ñ ÖÓÙÔ Ó ÓÑÓÐÓ G Ú Ð ÙÖ Ò Aº

31 º¾º ÜØ Ò ÓÒ ½ Ü ÑÔÐ º (1) ÈÓÙÖ n = 0 ÓÒ ÓÒÚ ÒØ ÕÙ B 0 = {0}º Ò ÒÓØ ÒØ A G Ð ÖÓÙÔ Ð Ñ ÒØ A Ü Ô Ö G ÓÒ ÚÙ ÕÙ df a = 0 a A G, Ø ÓÒ H 0 (G,A) = A G º (2) ÈÓÙÖ n = 1 ÙÒ Ð Ñ ÒØ Z 1 (G,A) Ø ÙÒ ÔÔÐ Ø ÓÒ f G Ò A Ø ÐÐ ÕÙ df(s,t) = 0 ÔÓÙÖ ØÓÙ s,t G ÕÙ ÓÒÒ f(st) = sf(t) + f(s). ÇÒ Ø ÕÙ f Ø ÙÒ ÓÑÓÑÓÖÔ Ñ ÖÓ º Ë Ð³ Ø ÓÒ G ÙÖ A Ø ØÖ Ú Ð ÓÒ sf(t) = f(t) Ø f Ø ÙÒ ÓÑÓÑÓÖÔ Ñ G Ò A ÓÑÑ B 1 (G,A) = {0} ÓÒ ÐÓÖ H 1 (G,A) = Hom(G,A), Ó Hom(G,A) Ø Ð ÖÓÙÔ ÓÑÓÑÓÖÔ Ñ ÖÓÙÔ G Ò Aº (3) ÈÓÙÖ n = 2 ÙÒ 2¹Ó Ò f Ø ÙÒ 2¹ÓÝÐ uf(v,w) f(uv,w) + f(u,vw) f(u,v) = 0 ÔÓÙÖ ØÓÙ u,v,w Gº ÍÒ Ø ÐÐ Ó Ò ³ ÔÔ ÐÐ Ù ÙÒ Ý Ø Ñ Ø ÙÖ º º¾ ÜØ Ò ÓÒ Ò Ø ÓÒ º ËÓ ÒØ A Ø G ÙÜ ÖÓÙÔ º ÇÒ Ø ÕÙ E Ø ÙÒ ÜØ Ò ÓÒ G Ô Ö A гÓÒ ÙÒ Ù Ø Ü Ø Ú A ÒÓÖÑ Ð Ò Eº {1} A E G {1} Ê Ñ ÖÕÙ º Ò ï ÓÒ ÙÔÔÓ A ÓÑÑÙØ Ø º ÌÓÙØ ÜØ Ò ÓÒ E G Ô Ö A Ò Ø ÙÒ Ø ÓÒ G ÙÖ A Ð Ñ Ò Ö Ù Ú ÒØ Ö Ñ ÖÕÙÓÒ ³ ÓÖ ÕÙ E Ø ÙÖ A Ô Ö ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖ ÔÙ ÕÙ A Ø ÒÓÖÑ Ð Ò Eµ ÓÒ ÙÒ ÓÑÓÑÓÖÔ Ñ { E Aut(A) e Int(e) A, ÕÙ Ô Ù ÕÙÓØ ÒØ G Ò Ø s G ÓÒ Ó Ø e E ÕÙ Ö Ð Ú s ÐÓÖ Int(e) Ò Ô Ò Ô Ù Ó Ü Ù Ö Ð Ú Ñ ÒØ s Ò Ö e Ò e Ù Ù s Ö Ú ÒØ Ò Ø Ð ÑÙÐØ ÔÐ Ö Ô Ö ÙÒ Ð Ñ ÒØ a A ÓÖ a Ø ØÖ Ú Ð Ñ ÒØ ÙÖ A Ô Ö ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖ ÔÙ ÕÙ A Ø Ð Òº ÓÒ G Ø ÙÖ A E Aut(A) G

32 º¾º ÜØ Ò ÓÒ ¾ ÇÒ Ú ÓÒ ÓÒ Ö Ö A ÓÑÑ ÙÒ G¹ÑÓ ÙÐ Ð ÐÓ ÖÓÙÔ Ø ÒØ Ö Ø ÑÙÐØ ÔÐ ¹ Ø Ú Ñ ÒØ Ð ÐÓ ³ Ø ÓÒ G ÙÖ A Ö Ö Ø s a ÔÓÙÖ a A Ø s Gº ÇÒ Ú Ó Ö ØÓÙØ ÜØ Ò ÓÒ G Ô Ö A ÙÒ Ð Ó ÓÑÓÐÓ H 2 (G,A) ÕÙ Ø ÖÑ Ò ØØ ÜØ Ò ÓÒ ÓÑÓÖÔ Ñ ÔÖ º Ø Ð³ÓÒ Ú ÖÖ ÕÙ ØÓÙØ Ð Ñ ÒØ H 2 (G,A) Ô ÙØ ØÖ Ó Ø ÒÙ Ò º Ø º º º ËÓ Ø E ÙÒ ÜØ Ò ÓÒ G Ô Ö A ÓÒ ÙÒ ÙÖ Ø ÓÒ π E ÙÖ Gº Ò Ø ÓÒ º ÍÒ Ø ÓÒ h π Ø ÙÒ ÔÔÐ Ø ÓÒ G Ò E Ø ÐÐ ÕÙ π h = Id G º E π G h Ù¹ Ù s G ÓÒ Ó Ø ÙÒ ÔÓ ÒØ Ò Ð Ö π 1 (s)º ÌÓÙØ Ð Ñ ÒØ e E ³ Ö Ø ÐÓÖ Ñ Ò Ö ÙÒ ÕÙ ah(x) Ú a A Ø x G Ò Ø x = π(e)µº Ö ÓÒ Ñ ØØÖ ÓÙ Ð ÓÖÑ ch(z) г Ð Ñ ÒØ ah(x)bh(y)º ÇÒ ah(x)bh(y) = ah(x)bh(x) 1 h(x)h(y). ij Ø ÓÒ x G ÙÖ A Ø ÓÒÒ Ô Ö Ð³ Ø ÓÒ Ð³ ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖ ³ÙÒ Ð Ñ ÒØ E Ù¹ Ù x Ô Ö Ü ÑÔÐ h(x)º ÓÒ h(x)bh(x) 1 = x b ÕÙ Ø Ò A ÔÙ ÕÙ A Ø ÒÓÖÑ Ðµº ÈÓ ÓÒ h(x)h(y) = f h (x,y)h(xy). ÇÒ f h (x,y) A ÔÙ ÕÙ h(x)h(y) Ø h(xy) ÓÒØ Ñ Ñ Ñ Ò G Ô Ö πº ÇÒ Ò Ð Ñ ÒØ Ó Ø ÒÙ ah(x)bh(y) = a x bf h (x,y)h(xy) Ú a x bf h (x,y) Aº ÆÓÙ ÐÐÓÒ Ñ ÒØ Ò ÒØ ÚÓ Ö ÓÑÑ ÒØ f h Ú Ö Ú hº ËÓ ÒØ ÓÒ h Ø h ÙÜ Ø ÓÒ π h,h : G Eµº ÐÓÖ h(s) Ø h (s) Ö ÒØ Ô Ö ÙÒ Ð Ñ ÒØ Aº ÈÓ ÓÒ h (s) = l(s)h(s) г ÔÔÐ Ø ÓÒ l Ø ÙÒ 1¹Ó Ò G Ú Ð ÙÖ Ò Aº ÐÙÐÓÒ f h г l Ø f h º ÇÒ Ñ ³Ó гÓÒ Ø Ö h (s)h (t) = f h (s,t)h (st) = f h (s,t)l(st)h(st), h (s)h (t) = l(s)h(s)l(t)h(t) = l(s)h(s)l(t)h(s) 1 h(s)h(t) = l(s) s l(t)f h (s,t)h(st), f h (s,t) = l(s) s l(t)f h (s,t)l(st) 1 = f h (s,t) s l(t)l(s)l(st) 1,

33 º¾º ÜØ Ò ÓÒ Ö A Ø ÓÑÑÙØ Ø º ÇÖ Ò ÒÓØ Ø ÓÒ ÑÙÐØ ÔÐ Ø Ú ÓÒ ³Ó dl(s,t) = s l(t)l(s)l(st) 1. f h = f h dl. ÓÒ ÕÙ Ò h Ú Ö f h Ò Ò ÕÙ Ô Ö ÑÙÐØ ÔÐ Ø ÓÒ Ô Ö ÙÒ Ó ÓÖ º ÇÒ Ô ÙØ ÓÒ Ó Ö E Ð Ð Ó ÓÑÓÐÓ f h Ò H 2 (G,A) ÔÔ ÐÓÒ e ØØ Ð º ÉÙ Ò ØÖÓÙÚ ¹Ø¹ÓÒ e = 0 Ð Ò Ò ÒÓØ Ø ÓÒ ÑÙÐØ ÔÐ Ø Ú µ ÕÙ³ Ð Ü Ø ÙÒ Ø ÓÒ h Ø ÐÐ ÕÙ f h (s,t) = 1 ÔÓÙÖ ØÓÙ s,t G º º ÕÙ h Ø ÙÒ ÓÑÓÑÓÖÔ Ñ º Ò Ø ÓÒ º ÍÒ ÜØ Ò ÓÒ E G Ô Ö A Ø Ø ØÖ Ú Ð ³ Ð Ü Ø ÙÒ ÓÑÓÑÓÖ¹ Ô Ñ h : G E Ø ÐÐ ÕÙ π h = Id G ÓÙ ÓÒ ÕÙ Ú Ð ÒØ e = 0µº Ü Ñ ÒÓÒ ÙÒ Ø ÐÐ ÜØ Ò ÓÒ ØÓÙØ Ð Ñ ÒØ E ³ Ö Ø ah(s) Ñ Ò Ö ÙÒ ÕÙ Ø ah(s)bh(t) = a s bh(st)º ÓÒ ÓÒ ÓÒÒ Ø E ÕÙ³ÓÒ ÓÒÒ Ø A G Ø Ð³ Ø ÓÒ G ÙÖ Aº Ä ÖÓÙÔ E Ø ÓÑÓÖÔ Ù ÖÓÙÔ ÓÙÔÐ (a,s) Ú a A Ø s G ÑÙÒ Ð ÐÓ (a,s)(b,t) = (a s b,st). ÇÒ ÔÔ ÐÐ ÙÒ Ø Ð E ÙÒ ÔÖÓ Ù Ø Ñ ¹ Ö Ø G Ô Ö Aº ÇÒ Ú ÒØ ÚÓ Ö Ð Ð ÒÙÐÐ H 2 (G,A) ÓÖÖ ÔÓÒ Ð³ ÜØ Ò ÓÒ ØÖ Ú Ð G Ô Ö A ÕÙ Ø Ð ÔÖÓ Ù Ø Ñ ¹ Ö Ø G Ô Ö A Ò Ô Ö Ð³ Ø ÓÒ G ÙÖ Aº Ì ÓÖ Ñ º¾ ij ÔÔÐ Ø ÓÒ f h Ø ÙÒ 2¹ÓÝÐ G Ú Ð ÙÖ Ò Aº ÁÐ ÙØ Ú Ö Ö ÕÙ f h ÔÔ ÖØ ÒØ Ù ÒÓÝ Ù d г ÓÑÓÑÓÖÔ Ñ Ó ÓÖ º ij Ö ØÙÖ Ø ÑÙÐØ ÔÐ Ø Ú Ð ÙØ ÓÒ ÚÓ Ö ÕÙ ÔÓÙÖ ØÓÙ u,v,w G ÓÖ df h ³ Ö Ø df h (u,v,w) = 1 df h (u,v,w) = u f h (v,w)f h (u,vw)f h (uv,w) 1 f h (u,v) 1. ÆÓÙ ÐÐÓÒ Ö Ö h(u)h(v)h(w) ÓÙ Ð ÓÖÑ ah(uvw) Ú a A ÙÜ Ñ Ò Ö Ö ÒØ Ò ÙØ Ð ÒØ Ð³ Ó Ø Ú Ø Ð ÐÓ ÖÓÙÔ Ò Eº ÇÒ ( h(u)h(v) ) h(w) = fh (u,v)f h (uv,w)h(uvw) Ø ³Ó ÕÙ Ø Ò h(u) ( h(v)h(w) ) = u f h (v,w)f h (u,vw)h(uvw) u f h (v,w)f h (u,vw) = f h (u,v)f h (uv,w) df h (u,v,w) = 1. ÆÓÙ ÐÐÓÒ Ò Ò ÚÓ Ö

34 º¾º ÜØ Ò ÓÒ Ì ÓÖ Ñ º ÌÓÙØ Ð Ó ÓÑÓÐÓ H 2 (G,A) ÓÖÖ ÔÓÒ ÙÒ ÜØ Ò ÓÒ G Ô Ö Aº ÇÒ Ú Ö ÓÒ ØÖÙ Ö Ð ØÙ Ø ÓÒ ÔÖ ÒØ Ó Ø f Z 2 (G,A)º Ò ÓÒ E Ò Ñ Ð ¹ Ø Ñ ÒØ Ô Ö E = A Gº ÇÒ Ò Ø Ð ÐÓ E Ô Ö (a,s)(b,t) = ( a s bf(s,t),st ). ÌÓÙØ ³ ÓÖ E Ø ÙÒ ÖÓÙÔ Ä ÐÓ Ø Ó Ø Ú Ð ÐÙÐ Ø ¹ Ù ÔÓÙÖ ÚÓ Ö ÕÙ f h Ø ÙÒ 2¹ÓÝÐ Ô ÖØ Ö Ð³ Ó Ø Ú Ø Ð ÐÓ E Ö ÔÖ Ò Ð³ ÒÚ Ö º Ë ε = f(1,1) 1 ÐÓÖ Ð³ Ð Ñ ÒØ (ε,1) Ø Ð Ñ ÒØ Ò ÙØÖ º Ò Ø (a,s)(ε,1) = ( a s εf(s,1),s ) ÓÖ f Ø ÙÒ 2¹ÓÝÐ ÓÒ df = 1 Ø ÓÒ df(s,1,1) = s f(1,1)f(s,1) 1 f(s,1)f(s,1) 1 = df(s,1,1) = s ε 1 f(s,1) 1 Ø (ε,1) Ø Ò Ð Ñ ÒØ Ò ÙØÖ º ÇÒ Ø Ñ Ñ Ð ÐÙРг ÒÚ Ö º ÇÒ ÙÒ ÓÑÓÑÓÖÔ Ñ ÙÖ Ø Ú ÒØ E Ò G { E G (a, s) s Ø Ð³ ÔÔÐ Ø ÓÒ { A E a (aε, 1) Ø ÙÒ ÓÑÓÖÔ Ñ Ö A Ø Ð Òµ Ú ÑÑ ÒØ Ò Ø º Ò Ð Ñ ÒØ ÓÒ Ò {1} A E G {1}. ÁÒØ ÖÔÖ Ø Ø ÓÒ H 1 (G,A) Ò Ø ÖÑ ³ ÜØ Ò ÓÒ º ËÓ Ø E ÙÒ ÜØ Ò ÓÒ ØÖ Ú Ð G Ô Ö Aº Ó ÓÒ ÙÒ Ø ÓÒ h : G E ÕÙ Ó Ø ÙÒ ÓÑÓÑÓÖÔ Ñ ÕÙ ÒØ E Ù ÔÖÓ Ù Ø Ñ ¹ Ö Ø G.Aµº ËÓ Ø h ÙÒ ÙØÖ Ø ÓÒ ÓÒ Ô ÙØ Ö Ö h ÓÒ ÙÒ ÕÙ ÓÑÑ h = l.h Ó l Ø ÙÒ 1¹Ó Ò G Aº ÇÒ f h = f h.dl = dl ÔÙ ÕÙ f h = 1º ÈÓÙÖ ÕÙ h Ó Ø ÙÒ ÓÑÓÑÓÖÔ Ñ Ð ÙØ Ø Ð Ù Ø ÕÙ f h = 1 º º ÕÙ dl = 1 ÙØÖ Ñ ÒØ Ø ÕÙ l Ó Ø ÙÒ 1¹ÓÝÐ º ³ ÙØÖ Ô ÖØ ÓÒ ÓÒ Ù Ù h Ô Ö ÙÒ Ð Ñ ÒØ a A ÓÒ Ó Ø ÒØ ÙÒ Ø ÓÒ ÕÙ Ø ÙÒ ÓÑÓÑÓÖÔ Ñ º ËÓ Ø h ØØ Ø ÓÒº ÕÙÓ Ð ÓÖÖ ÔÓÒ ¹ Ð Ò Ø ÖÑ l ÇÒ h (x) = ah(x)a 1 = l(x)h(x) Ú l(x) = a x a 1 º ÓÒ l = df a Ó f a Ø Ð³ Ð Ñ ÒØ C 0 (G,A) ÓÖÖ ÔÓÒ ÒØ aµº ÓÒ l Ó Ø ØÖ ÙÒ Ó ÓÖ º ³Ó

35 º º ÖÓÙÔ Ò ÙÒ Ö Ø Ö ÒÙÐÐ Ø Ì ÓÖ Ñ º Ä Ð ÓÒ Ù ÓÒ Ô Ö Ð Ð Ñ ÒØ A ÓÙ Gµ Ø ÓÒ E ÕÙ ÓÒØ ÓÑÓÑÓÖÔ Ñ ÓÖÖ ÔÓÒ ÒØ Ø Ú Ñ ÒØ ÙÜ Ð Ñ ÒØ Ù ÖÓÙÔ Ó ÓÑÓÐÓ H 1 (G,A)º ÆÓØ Ö ÕÙ ØØ ÓÖÖ ÔÓÒ Ò Ô Ò Ù Ó Ü hº ÍÒ ÓÒ ÔÐÙ ÒØÖ Ò ÕÙ ³ ÜÔÖ Ñ Ö ÓÒ Ø Ö Õ٠г Ò Ñ Ð Ð Ø ÓÒ ¹ ÓÑÓÑÓÖÔ Ñ Ø ÙÒ Ô ÔÖ Ò Ô Ð ÓÑÓ Ò ØÓÖ ÙÖ µ Ó٠г Ø ÓÒ H 1 (G,A)º ÓÖÓÐÐ Ö º ÈÓÙÖ ÕÙ Ð Ø ÓÒ π ÕÙ ÓÒØ ÓÑÓÑÓÖÔ Ñ Ó ÒØ ÓÒ Ù¹ Ù Ð ÙØ Ø Ð Ù Ø ÕÙ H 1 (G,A) = {0}º º ÖÓÙÔ Ò ÙÒ Ö Ø Ö ÒÙÐÐ Ø ËÓ Ø G ÙÒ ÖÓÙÔ m Ð Ñ ÒØ Ø Ó Ø A ÙÒ G¹ÑÓ ÙÐ º Ì ÓÖ Ñ º ËÓ ÒØ n 1 Ø x H n (G,A)º ÇÒ mx = 0º ËÓ Ø f Z n (G,A) ÙÒ n¹óýð Ö ÔÖ ÒØ ÒØ xº ÁÐ ÙØ ÓÒ ØÖÙ Ö F C n 1 (G,A) Ø Ð ÕÙ df = mfº ÈÖ ÒÓÒ F 1 (s 1,...,s n 1 ) = s G f(s 1,...,s n 1,s)º ÓÑÑ f Z n (G,A) ÓÒ df = 0º ÇÖ ÓÒ s n+1 G df(s 1,...,s n+1 ) = s 1 f(s 2,...,s n+1 ) f(s 1 s 2,s 3,...,s n+1 ) + + ( 1) n f(s 1,...,s n s n+1 ) + ( 1) n+1 f(s 1,...,s n ) = 0. df(s 1,...,s n+1 ) = s 1 F 1 (s 2,...,s n ) F 1 (s 1 s 2,...,s n ) + + ( 1) n F 1 (s 1,...,s n 1 ) + ( 1) n+1 mf(s 1,...,s n ). ÇÒ ÙØ Ð Ð Ø ÕÙ s n+1 Ô ÖÓÙÖØ G s n s n+1 Ù s n Ø ÒØ Ü µº ÇÒ Ò Ó Ø ÒÙ ( 1) n mf(s 1,...,s n ) = df 1 (s 1,...,s n ). ÇÒ ÔÓ ÓÒ F = ( 1) n F 1 ÕÙ Ú Ö df = mf ³Ó Ð Ö ÙÐØ Øº ÓÖÓÐÐ Ö º Ë Ð³ ÔÔÐ Ø ÓÒ a ma Ø ÙÒ ÙØÓÑÓÖÔ Ñ A m Ø ÒØ Ð³ÓÖ Ö Gµ ÐÓÖ H n (G,A) = {0} ÔÓÙÖ ØÓÙØ n 1º Ò Ø x mx Ø ÐÓÖ ÙÒ ÙØÓÑÓÖÔ Ñ C n (G,A) ÕÙ ÓÑÑÙØ dº ÓÒ ³ Ø ÙÒ ÙØÓÑÓÖÔ Ñ H n (G,A) Ô Ö Ô Ù ÕÙÓØ Òغ ÇÖ ³ Ø Ò Ð³ ÔÔÐ Ø ÓÒ ÒÙÐÐ ³Ó H n (G,A) = {0}º ÓÖÓÐÐ Ö º Ë G Ø A ÓÒØ Ò ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ ÐÓÖ H n (G,A) = {0} ÔÓÙÖ ØÓÙØ n 1º

36 º º ÜØ Ò ÓÒ ÖÓÙÔ ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ Ò Ø a ma Ø ÐÓÖ ÙÒ ÙØÓÑÓÖÔ Ñ Aº ÓÖÓÐÐ Ö º Ë G Ø A ÓÒØ Ò ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ ÐÓÖ ½µ ÌÓÙØ ÜØ Ò ÓÒ E G Ô Ö A Ø ØÖ Ú Ð º ¾µ ÙÜ ÓÑÓÑÓÖÔ Ñ Ø ÓÒ G E ÓÒØ ÓÒ Ù Ù Ô Ö ÙÒ Ð Ñ ÒØ Aº ÇÒ H n (G,A) = {0} n 1º Ä n = 2 ÓÒÒ (1) Ø Ð n = 1 ÓÒÒ (2) ³ ÔÖ Ð³ ØÙ Ø Ò º¾º º ÜØ Ò ÓÒ ÖÓÙÔ ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ ÆÓÙ ÐÐÓÒ Ø Ò Ö ÖØ Ò Ö ÙÐØ Ø ÙÖ Ð ÜØ Ò ÓÒ ³ÙÒ ÖÓÙÔ G Ô Ö ÙÒ ÖÓÙÔ A ÓÑÑÙØ Ø Ù Ó A Ø Ö ÓÐÙ Ð ÓÙ Ñ Ñ ÕÙ ÐÓÒÕÙ º Ì ÓÖ Ñ º½¼ Ò Ù µ ËÓ ÒØ A Ø G ÙÜ ÖÓÙÔ Ò ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ Ø ÓÒ ÖÓÒ ÙÒ ÜØ Ò ÓÒ {1} A E G {1}º ÐÓÖ ½µ ÁÐ Ü Ø ÙÒ ÓÙ ¹ ÖÓÙÔ E ÙÔÔÐ Ñ ÒØ Ö Aµ ÕÙ ÔÖÓ ØØ ÓÑÓÖÔ ÕÙ ¹ Ñ ÒØ ÙÖ G E Ø ÔÖÓ Ù Ø Ñ ¹ Ö Øµº ¾µ Ë A ÓÙ G Ø Ö ÓÐÙ Ð ÙÜ Ø Ð ÓÙ ¹ ÖÓÙÔ ÓÒØ ÓÒ Ù Ù Ô Ö ÙÒ Ð Ñ ÒØ A ÓÙ E Ð Ö Ú ÒØ Ù Ñ Ñ µº ÇÒ Ö ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ E ÓÒ Ô ÙØ ÙÔÔÓ Ö A Ø G Ø ÒØ {1}º ÈÖ Ñ Ö A Ø Ö ÓÐÙ Ð º ÇÒ ÑÓÒØÖ ³ ÓÖ Ð Ä ÑÑ º½½ ËÓ Ø X ÙÒ ÖÓÙÔ Ö ÓÐÙ Ð ÒÓÒ Ö Ù Ø {1}º ÁÐ Ü Ø ÙÒ ÒÓÑ Ö ÔÖ Ñ Ö p Ø ÙÒ p¹ ÓÙ ¹ ÖÓÙÔ Y X Ø ÒØ {1} Ø Ð ÕÙ Y Ó Ø Ð Ò Ð Ñ ÒØ Ö Ø Ö Ø Ö Ø ÕÙ º ÇÒ Ö ÔÔ ÐÐ ÕÙ³ÙÒ p¹ ÖÓÙÔ Ð Ò Ø Ø Ð Ñ ÒØ Ö Ð Ñ ÒØ Ø ÒØ 1 ÓÒØ ³ÓÖ Ö p Ø ÕÙ³ÙÒ ÓÙ ¹ ÖÓÙÔ ³ÙÒ ÖÓÙÔ X Ø Ö Ø Ö Ø ÕÙ ³ Ð Ø Ø Ð Ô Ö ØÓÙØ ÙØÓÑÓÖÔ Ñ Xº ÑÓÒ ØÖ Ø ÓÒ Ù Ð ÑÑ º ËÓ ÒØ D i (X) Ð Ö Ú Ù Xº ÓÑÑ X Ø Ö ÓÐÙ Ð Ð Ü Ø i Ø Ð ÕÙ D i (X) Ø Ø ÒØ {1} Ø D i+1 (X) Ø Ö Ù Ø {1}º ÐÓÖ D i (X) Ø ÙÒ ÓÙ ¹ ÖÓÙÔ X Ð Ò Ø Ö ÒØ {1}º ÔÐÙ Ð Ø Ö Ø Ö Ø ÕÙ º ËÓ Ø ÐÓÖ p Ú ÒØ Ð³ÓÖ Ö D i (X) Ø Ó Ø Y Ð ÖÓÙÔ Ð Ñ ÒØ D i (X) ³ÓÖ Ö Ú ÒØ pº ÐÓÖ Y Ø Ð Ò Ö ÒØ {1} Ö Ø Ö Ø ÕÙ ÙÒ ÙØÓÑÓÖÔ Ñ X ØÖ Ò ÓÖÑ ÙÒ Ð Ñ ÒØ ³ÓÖ Ö p Ò ÙÒ ÙØÖ Ñ Ñ ÓÖ Ö µ Ø Ø ÙÒ p¹ ÖÓÙÔ Ð Ñ ÒØ Ö º Ê ØÓÙÖ Ð ÑÓÒ ØÖ Ø ÓÒ Ù Ø ÓÖ Ñ º ÔÔÐ ÕÙÓÒ Ð Ð ÑÑ Ú X = A Ø Y = A Ø Ö Ñ ÖÕÙÓÒ ÕÙ A Ø ÒÓÖÑ Ð Ò E ÙÒ ÙØÓÑÓÖÔ Ñ ÒØ Ö ÙÖ E Ö ØÖ ÒØ A Ø ÙÒ ÙØÓÑÓÖÔ Ñ A Ö A Ø ÒÓÖÑ Ð Ò Eµ Ø Ð ÓÒ A ÕÙ Ø Ö Ø Ö Ø ÕÙ ÒÚ Ö Òغ

37 º º ÜØ Ò ÓÒ ÖÓÙÔ ³ÓÖ Ö ÔÖ Ñ Ö ÒØÖ ÙÜ Ë A = A ÐÓÖ A Ø Ð Ò Ø Ð Ø ÓÖ Ñ Ø ÓÒÒÙº Ë ÒÓÒ ÓÑÑ A Ø ÒÓÖÑ Ð Ò E ÓÒ Ô ÙØ Ô Ö Ù ÕÙÓØ ÒØ Ô Ö A Ø ÓÒ Ó Ø ÒØ Ð Ù Ø Ü Ø {1} A/A E/A G {1}. Ä ØÙ Ø ÓÒ Ö Ø Ô Ö Ð Ö ÑÑ Ù Ú ÒØ E E/A G E/A ÓÑÑ E/A Ø Ö Ò Ð ØÖ Ø Ñ ÒØ Ò Ö ÙÖ ÐÙ E г ÝÔÓØ Ö ÙÖÖ Ò ÒØÖ Ò ÕÙ G Ö Ð Ú Ò ÙÒ ÓÙ ¹ ÖÓÙÔ G E/A º ËÓ Ø E г Ñ Ö ÔÖÓÕÙ G Ô Ö Ð ÔÖÓ Ø ÓÒ E E/A º ÐÓÖ ÓÒ Ð Ù Ø Ü Ø {1} A E G {1}. ÇÖ A Ø Ð Òº ³ ÔÖ Ð ï º ÓÒ Ô ÙØ ÓÒ Ö Ð Ú Ö G Ò ÙÒ ÓÙ ¹ ÖÓÙÔ E º ÇÒ Ó Ø ÒØ Ò ÙÒ Ö Ð Ú Ñ ÒØ G Ò Eº ÅÓÒØÖÓÒ ÕÙ ÙÜ Ø Ð Ö Ð Ú Ñ ÒØ G Ø G ÓÒØ ÓÒ Ù Ù Ô Ö ÙÒ Ð Ñ ÒØ Aº ÇÒ E = A.G Ø E = A.G. ij ÝÔÓØ Ö ÙÖÖ Ò ÔÔÐ ÕÙ E/A ÑÓÒØÖ ÕÙ³ Ð Ü Ø a A Ø Ð ÕÙ ag a 1 Ø G ÒØ Ñ Ñ Ñ Ò E/A º ÉÙ ØØ Ö ÑÔÐ Ö G Ô Ö ag a 1 ÓÒ Ô ÙØ ÓÒ ÙÔÔÓ Ö ÕÙ A.G = A.G º Ä ÓÒ Ù ÓÒ Ô Ö ÙÒ Ð Ñ ÒØ A G Ø G Ö ÙÐØ ÐÓÖ Ù Ð Ò º ï º µ ÔÔÐ ÕÙ A.G = A.G º ÙÜ Ñ ÖØ ÓÒ (1) Ò Ð Ò Ö Ðº ËÓ Ø p ÔÖ Ñ Ö Ú ÒØ Ð³ÓÖ Ö A Ø Ó Ø S ÙÒ p¹ëýðóû A º ï ¾º¾µº ËÓ Ø E Ð ÒÓÖÑ Ð Ø ÙÖ Ò E Sº ³ ÔÖ Ð ï ¾º ÓÒ E = A.E º ËÓ Ø A = E A A Ø ÒÓÖÑ Ð Ò E Ø Ð³ÓÒ Ð Ù Ø Ü Ø {1} A E G {1}. Ø Ò ÙÓÒ ÙÜ Ë E < E г ÝÔÓØ Ö ÙÖÖ Ò Ô ÖÑ Ø Ö Ð Ú Ö G Ò E ÓÒ Ò Eº Ë E = E ÐÓÖ S Ø ÒÓÖÑ Ð Ò E ÓÒ Ù Ò Aº ÇÒ Ô Ù ÕÙÓØ ÒØ {1} A/S E/S G {1} Ú E/S Ö Ò Ð ØÖ Ø Ñ ÒØ Ò Ö ÙÖ ÐÙ Eº È Ö Ð³ ÝÔÓØ Ö ÙÖÖ Ò G Ö Ð Ú Ò G 1 E/Sº ËÓ Ø E 1 г Ñ Ö ÔÖÓÕÙ G 1 Ô Ö Ð ÔÖÓ Ø ÓÒ E E/Sº ÇÒ Ð Ù Ø Ü Ø {1} S E 1 G {1}. ÇÖ S Ø ÙÒ p¹ ÖÓÙÔ ÓÒ Ø Ö ÓÐÙ Ð Ø Ð³ÓÒ Ø Ö Ñ Ò Ù ÔÖ Ñ Ö º