imath.nsc.ru/~alglog/01-10/03/03n2-1.pdf · bh 1mh9kb6 uhbhhni8dsbdu oaoiro loeffe mr ohxor...

12
9oioodn - d ' z *e z/ * BKOHH 9HH<nred^iBH - l HOieeinad HOSOHJHJ] *H'H oodnoa *no) 010911 aasna OHiiroiHftiOBe 'BOX9BSHiraBHBa;o£ SKHH 'noiroHh nHHtto HioomiiHoaoo a XHIS HtlHBd Z/ nOHHBaOdHOHH$ Hdll Olh '<UB8BHOK B011B1HIJOII M (ud'tj} cf uu£dii XHHhHdiBn 8HHaffaaeHodii aoHBdii iiGdionooBd Boodnoa oaoxe HHH9m9d ojOHiifeiBliHdio Kirtz: irraoifKadn aouoiiBJdBH*n*n adps-i - ire ggtopo oil an^HaHOitiroM noHeaoogog A ^H atfBicHoK ngoao g i BJHBd OJOHhSHOH Biiu^dJ BBHiHoxoiiTOHH OH-nfBHOic KBH<nfoa8HOdu goioimadeBd HIT X8ff£p 9H :plHH9BOd9H HBH [l] 3 gnHH9h9HXO 'OOdllOa ifHliKI^irdrO HHH - eoa OHHSsioaico ojoie sicooii •rmxH9xoii9XHH mm^dj awxea HHHdh^dH HHSIOI/OIO Hdll Olh 'HIOOHIOBh 8 * BlfHaOHBIO^ H BJHBd OJOHIxdHOH HII -ttfidil 8HHlH9010nq3fHH OH^IfBHOIf BlfBfiu/CeH [l] 9XOpBd a BaOHiIBH'H'H I § 'BSIlfSH HOIIHttOpOaOO HHH9X - oirtfadii neHirsifooii a aojEBd HxooHHShHHBdJo BHHBaopsdx 10 oxh 'pto - a8aH8BHOii 'danHdii KOXKodxo aHHShdiniBe g 'HiooHii^Hoaoo a HHSKHH - BdJO H HHhaHOH niLtdJirolI XnaSItapB 99 HJHBd BffjOH 'jHBd QHHli9HOH X99IIH B&JOX OHTITOI M BtfvIOi BUOXdil HBHHm9d&Bd OHIIfBHOK Oth 'B9X9B8 99ine^ • [I] tjoaoajHfl'H'H Booduoa 9HH9ni9d oonairgxBliHdio nnriBO n9x 11 (BastiiifBn'n'y airormo a BJHBd oJOHiinsHliaiio OJOH - h9HOM 1109 OX) BJHBd OJOHh9HOH UIL/fdj XnHXH9XOUaifHH OHOTBHOIf XIW ojoHhanoH xyniKdj xmraraadsva ommoir o ^961 ff9ttaifBH*n'V •HOI

Upload: others

Post on 16-Feb-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

9oioodn - d ' z *e z/ * BKOHH 9HH<nred^iBH - lHOieeinad HOSOHJHJ] *H'H oodnoa

*no) 010911 aasna OHiiroiHftiOBe'BOX9BSHiraBHBa;o£ SKHH 'noiroHh nHHtto HioomiiHoaoo a

XHIS HtlHBd Z/ nOHHBaOdHOHH$ Hdll Olh '<UB8BHOK B011B1HIJOII M

(ud'tj} cf uu£dii XHHhHdiBn 8HHaffaaeHodii aoHBdii iiGdionooBd Boodnoaoaoxe HHH9m9d ojOHiifeiBliHdio Kirtz: irraoifKadn aouoiiBJdBH*n*n adps-i

- ire ggtopo oil an^HaHOitiroM noHeaoogog A ^H atfBicHoK ngoao g i BJHBdOJOHhSHOH Biiu^dJ BBHiHoxoiiTOHH OH-nfBHOic KBH<nfoa8HOdu goioimadeBdHIT X8ff£p 9H :plHH9BOd9H HBH [l] 3 gnHH9h9HXO 'OOdllOa ifHliKI^irdrO HHH

- eoa OHHSsioaico ojoie sicooii •rmxH9xoii9XHH mm^dj awxea HHHdh^dHHHSIOI/OIO Hdll Olh 'HIOOHIOBh 8 * BlfHaOHBIO^ H BJHBd OJOHIxdHOH HII

-ttfidil 8HHlH9010nq3fHH OH^IfBHOIf BlfBfiu/CeH [l] 9XOpBd a BaOHiIBH'H'H

I §'BSIlfSH HOIIHttOpOaOO HHH9X

- oirtfadii neHirsifooii a aojEBd HxooHHShHHBdJo BHHBaopsdx 10 oxh 'pto- a8aH8BHOii 'danHdii KOXKodxo aHHShdiniBe g 'HiooHii^Hoaoo a HHSKHH- BdJO H HHhaHOH niLtdJirolI XnaSItapB 99 HJHBd BffjOH 'jHBd QHHli9HOH

X99IIH B&JOX OHTITOI M BtfvIOi BUOXdil HBHHm9d&Bd OHIIfBHOK Oth 'B9X9B8

99ine^ • [I] tjoaoajHfl'H'H Booduoa 9HH9ni9d oonairgxBliHdionnriBO n9x 11 (BastiiifBn'n'y airormo a BJHBd oJOHiinsHliaiio OJOH

- h9HOM 1109 OX) BJHBd OJOHh9HOH UIL/fdj XnHXH9XOUaifHH OHOTBHOIf XIW

ojoHhanoH xyniKdj xmraraadsva ommoir o

^961 ff9ttaifBH*n'V•HOI

Page 2: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

fl(n,pm)~ aaredpa MaTpim, n -" cieneHH Hem KOJEBIJOM KJiaccoBno MOflyjoo /?"*, L(n,pm) - rpynna scex ee o<5paTHMHx MaTpinoarpynna, cocTOHmaH us Maipim snaa^^a: , rae xy Kpamo p npnI ^J. , /£ (n,pm) - noarpynna uaipim Bi«a e-f-/7*r, 6=1,2,..., ̂ .MHoraaB 3TOM naparpa$e BMCCTO fl(n,pm) L(n,pm)J... MH fiyaea nHcart npoc-IQ X7,Z,^ . . . , noflpasyMesaH, ^TO sa STHIIH (5yKBaMn c^esyeTC^/O-

KaK noKasimaeT HenocpeflCTBeHHHli noacqei iiopflflKOB, P/? - noflrpyiraoH rpynim L . SCHO,

^ z> /72 o • • • ^ Pm = e .

^ 2 . Jtna Kasfloro/-=<,2,...,^-ypaccMOTpHM oioCpaseHHea: — - ^cpm~ ~* , onpeaeJieHHoe na rpynne P^ . Jlerno npose -

paeicfl, ITO ^(e+p^^e-t-ff'^a flnn scex a.e ff , saHH6M cjiy^aa p=2, k =± » Korsa BTO HesepHO. HcnoJEbsyflHee cooTHomeHHe, MH aaue^aeu, q?o % flsJineTCH rouoMop$H3UOM as/^ Ha /^_r C HflpOM /^^/ • HpH 3TOU 071^38/7=2^ X"=^ OHOBa HC-

KJnoiaeTCH: npHMepti noKasHBaiM, ^TO B aion cjiy^ae oiofipaseHwe v^yae He oCnsaHO CUTB rouotiop$H3iioii.

TEOPEHA I . 3 a H C K J i M w e a H e M c j i y t j a n/?=2, X- = ̂ ^ K a i a a f l r p y n n a P/<( i, p"7 ) w w e e Tp a H r /z2 (X-=42,..., /^-y; ^3»2>. P a H r r p y n n a

flOKASATEUtCIBO. yciaHOBHU cnayajia, UTO rpynrm /^ MiieioT panr(0112^811/7=2^ /:= ^ HCKJia^aeTCH). TaK KaK /^./-ajieMeH -

adejiesa p - rpynna patera ^2, flociaioiHO y(5eaHTBcs,qio npapaHT % ne BHme ^z2 , a npn/?=2 panr /^ He BHme^.CXSa sra

pasfiHpaioTCfl aHanorirao, noaioMy MLI paccMoipiiw TOJT&KO nep -BHft H3 HHX (P 7* 2; .

// - npoHSBOjiiHafl noarpynna rpynnti /^ . HCHO, ITO

B aneMGHTapHofi rpynne HnPm.± TaKOfi daaHC a^...,as , B KO -nepBtie s^ aaeueHTOB HBJIHTOTCH CasHCHiiiui OTH < ,̂ ('/y; ,nepBHe s%

3JieMeHTOB HBJIflKTCfl daSMCHHMH JSflK <^(/-/n/Dll T.fl. , (?^^^ S 2 < - - - 4 S i /z2.

nycTB >?Zi. - Hando^£!nee UHCJIO, npn KOTOPOM ypaBHeime ^r/''"= cr^HueeipemeHHH B //, -^ - O«HO HS laioix peinemtfi. HoKaKeu, ITO // nopoac-jaeTCH 3JieM6HTaMH ^,...,-^s. IlyciB yxe aoKasaHO,

* KaK coodnwi asiopy M.i'-.KapranojioB, apyroe8Toro npefljioseHHH js&x B nua&Me K aewy K.

Page 3: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S

BBnmnsdeBd oih 'iraaoHBio,£ [3] siopBd a

'I fflI9d09£ 8H I9^29IfO BJHSd 99 SIOOHhSHOflHHtfHa9hO U mni^dJ I100IIinn9dSBd9H H 1IOOHIH9IOnTtfHH

. / ? c' S ,\0 7 )

o£BH9&Kodou '^ira^djKoii o^Htropoao iiiscdaEoo iiu^dj xwie0£h 'OJ01 SI! OHKHS 0£6*Ha,OOHII^OaOO a NHShHHBdJO 9H

^w '(^d'zytf uMdj HiooiiHingdeBd HH9ii^io HBH HBI 'H9»oneoa?iu iraoHh dopng -HiooHii^Hoaoo a HH9hHHedJO 9H Himp ggifgiHX

-onn xroiBdn wioonnmsdeBd HHQU^IO npoih 'HBI 8HHHedpoKOH *BifOHh arm

9HH9ffasenodii aonndii XHKnnmmni8deBd BoeirtDauirsB 9H 'BJired OJOH

niifBHoif £o£a£09l^o *I• [i]

ooduoa BH leaio grmTOsiBmidio laBtf 8HH9xoicSdda•BHBSBHOlf

• 7+--*3-t/J+(?-v)+;Z/z=(2/)g anna 9H ^ j«Bd 'noeBdpoJHBd 198HHC9Hma inOHHB8BHOff Oil 'OpHIt *BH11fBHaHdl OpHtt ^ Billed J

' H9HOHBH* z^ BJHBd BS9IT9PB BBHdB£H9N8ICe OpHE 'SHq^fBHSHdl OpHIf

V/t/ Buii^dii-doiMB^ • 7 ' '"'~e-u 'T-U adnred »iBdoiHB$ wcHegirapB oIJHHIHBHdBaHH B0139HH 0@H a ' OHTO9IBaOS8IfO 4H<«1IfBHOJBHl!> 00HhHH

o d BHffHdou H9ifoii ffEH todiBn xRHiifoofgdx 9iiu£dj BH^donoeiiV^C/ ^ShOU9ll (X5IC91I IJOie 0 IIHdlOIJO

- OB<J • c/ -IHBd 99Sl«BaHhHHBdJO ' fa) Q OKOHh ?d9U931 n9ffgBH

•OHhHJOITBHB BOX9BdHpSBd 7 + %

'? = €/ HBh^IfO 'lOOIfBh9MIO 3E^ HBH '( ? & d Oil 'HHH9KOIfOlffi9dU a)

zu airaa GH ^/ rained j JHBd 01 * ?^ $ s H BH^uroasHodii BHO MBHKBJ, • XHlnraieBdpo 51 i9BMOJliioff // BuiuCdJtfoii 'noeBdpo HIMBJ;

•OH

-ttHa9hO 9HH8hCEIfHa 90HIBdpQ '

-9H 8HH9HlE^OOBd 016

iu-f + y+ 'i '̂7Olh 'OHOB * VS 5 1 '03

- OttO 90dOIOM9H- 9- 9»J t("r?Z>'-)^=(x:)v^ B3TJOJ * ^c/^^^OC «COJ&I H

BJHBd OJOHh9HOH XBOlI^dj XHHHB9deBd

Page 4: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

D.H.HIepSJIHKOB

"noKajiBB.0 paspemnMafl" ? OKaaHBaeicH, ITO B odneu cjiyqae HCUBBH(CM. § 3), H noaTonjy ecieciBeHHO nonars HeKoiopne aonojiaHTejiBHiieycjioBHH, Koioptie yace odecneiHBajni <5a KOHCIHOCTB paHra rpynnH, B3Toii naparpa$e yKasusaeTCH OAHO TaKoe ycJiOBMe. MifeBHo,3^eci> ycia-

JIOKSJIBHO paapeniHicaH rpynna, y KoiopoK pawn ado -noarpynn K o H e i H H H o r p a H H i e H H B c o-

B O K y n H o c i H , caua Hiiee? KOHeiHHft paHr.floKasaTejiBCTBy aio-ro $aKia npesinecTByei pna BcnoMoraTe^BHHX npe^ioxeHMJi. HBCTB usHHX H3BeCTH3 H HpHBO^HTCH 336CB flJIH nOJIHOTH H3JIOK6HHH.

a) ECJIM G - KcmeiHaH HMiBnoTeHTHafl rpyraia, y KOiopofi paaraaCejieBHX noarpynn orpaniiqeHH IHCJIOM r , TO panr G orpaHHieHH6KOTOpiJH IHCJIOll <*. (t) , saBHCHimUI T03BKO OT t .

2eHcTBHTen£HO , aocTaio^HO noKasaiB 3TO OTH paHros CHJIOBCKHXnoarpynn rpynnu G • IlycTi yate caua G- HBameiCH p - rpyiraofi .

B G uaKcmiajiBHHft adejies HopiiajiBHHt! sejiHiejiB JTG OH cosiiajiaeT co CBOMU HeHipajiiigaTopoii.

uy $aKiop G-//V H30iiop$eH p - rpynne asTOuop^HsMOB rpynnu N H ,BKnaflimaeTCH B rpynny P(z,/of")n'pK noflxoanmtM ^7 ,

odpasou, paar G ne Btnae z+&(^)(cv. Teopeiiy I).6) ECJIH G- - Koae^Haa rpynna, y KOiopofl paHra adejiesuxnoa-

rpynn orpaHHieHH UHCJIOU -r , TO panr jnodoro adejiesa $aKTOpa///Vrpynnn G orpaHH^en TOCJIOM °c(r).

CaoBa aociaTO^HO paccMoipeiB TOJII.KO cjiyqafi, Kor^a////y HBJIH-eiCH p - noflrpynnofi. Toraa///v dyaei roMOMOp$H!>uj odpasoii CHJIOB-CKoM p - nonrpynnii P rpynnu // . Tan KaK panr P He Btnne oc.fr)(CM. a) ), TO H paHT////v He BHiae °c(i) .

B) ECJIH G - KOHeuHaH paspeiDHwan rpynna, y KOiopofi panmnoarpynn orpannqeHH UHCJIOM r , TO pam? cauoii G ae Btnne

, saBHCHinero TOJIBKO OT r .aoKasaiejiBCTBa paccMOTpmi B G- raaBHHfi

c... c//s = G- . (I)

Ero $aKTOpa - sneueHTapHue adejiesn p - rpynna paHroB ae°c(t) (CM. d) ). OdosaaTOM lepes/^i/X/iUeHTpajiHsaTo•&G/Hi. *aKTOp-rpynna G/fl no nepeceieHHio ff=n x^coaepiHTCfl B npn-MOM npOHSBeseHHM rpynn G/fl-t. TaK KaK G-fffi^G/^/^/^ H30MOp$HOpaspemnMOit rpynne asTOMOp^HsMOB $aKropa HL+±/MI H, -cjieflOBaiejiB -HO, paspeiBHMOii rpynne uaipim cieneHHor^ Has TOTOM npocioft xapaK-

io(5//7. HMeei ciyneHB paspeniMMOCTH ne Bbnne HCKOTOporo[3] , cip. 570). IIoaTOMy H rpynna G//7 HMeei ciyneHB pas-

ae Bume A (oc (t)) . TaK KaK paarH ade^esux $aaropOBrpynnH G/fl He sune <*: fr) (CM. d) ), TO panr caMOfi &/fl ne sume

Page 5: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

0 jioKajiBHO paspemnitttx rpynnax KOHeiHoro paHra

PaccMoipHM TenepB noarpynny fl . (tea Hmn>noTeHTHa, TaK KSKee nepeceieHHe c pnaou (I) dyaeT B Heft ueHTpajiBHHM pnaoit. Cjieao -BaieJiBHO, panr /7 ae same oc (t) (CM. a ) ) H panr G- ne Ba-le aC(t) + °CCZ)-k(6(.(t.)) .

r) ECJIH & - nepHOflnqecKaH paspeiuHMan rpynna , y KOTOpoflpanra adeseBHx noarpynn KOHC^HH H orpaHHieHH IHCJIOM t, , TO paHrcaMofl G Taicae KoneieH H orpaHHien qHCjioMya^rj.

3io HenocpeaciBeHHO caeayei us B) BBnay JioKaaBHOiiTH G .

a) ECJIH G- - pacittKpeHHe nepHoaniecKott adeneBoB rpynnaHoro paara npa noMomH adejiesofi rpynnn, TO aJiH roodux asyxTOB a, -£• e & Hafiaeicfl laKoU noKasaie^L rn. >o , viol a,^ 1= .̂(Cu. aoKasaiejiBCTBO Jieuuu 3 us [2] ).

e) ECJIH G - paspeiflMiiaH rpynna, y Koiopoft paHra adejiesmcnoarpynn orpaHHieHbi «IIICJIOM r. « P - ee nepHoaHiecKHS HOpMauB -HHft aejiKTeacb, TO paHra adeneBHX noarpynn $airaop-rpynnH G jjP TBK-xe orpaHiweHti HeKOTOpiw IHCJIOM V(t) .

IlycTi caaiaaa f l /P - n e p i i o a H ^ e c K a H adejiesa noa-rpynna rpynnH^/^ . Tan KBK /7 nepaoaHiHa, TO panr/7 He -sime^Cr)(OM. r) ). TeM donee paitr/7//7 He BHmeyS<%) .

HoKaaeii TenepB, ITO paara C B O d o a n a x adeaeBicc noa-rpynn rpynnH<5/^ orpaHHieHH WLOJIOU x , IlyciB

paspemHMufl pna, cocTasjieHHUfl as xapaKTepacTHiecioix noarpynn rpyn-m. P , H nyciB ysce aoKaaaHO, ^TO panrH cBodoaHHX adejiesioc noa -rpynn rpynnH &/% He Btnne r . ydeamicfl, HTO Toraa H $aKTOp -- rpynna Gf/V^ ^odaaaaei STHM cBoBciBOM. IlycTB, nanpoiMB, oaa co -aepsra cBodoanyK) adejiesy noarpynny F/JVi+i c dasHCHiniH_3JieMeHTa-MH at/Vi+t,..., a.sJQ+i , npaqeu s>i .Taa KBK noarpyima A^^y=

B rpyirae /"= ///Vt- nepHoaHuecKHM adejiesiM Hopuajr&HraiKoaeiHoro paHra (paHr JP KOHeqen BBnay r ) )» TO, corjiacno sa

a), Haflayrcn Taraie qncaa m- > o , MTO^» ^ 2 . • • • j &sms Cyayr nonapao aepeciaHOBoiHH. 9mnopoxaaDT B /''//^ CBofiOOTyD afieaesy noarpynny paara s , 110,03Haico, H6B08HOXHO no HHayKTHBHouy npeanootoxeHioo.

Ha CKaaaHHoro BHaHO, ITO paar n p O H S B O H B H O f i ade-jiesofi noarpynnH rpyram G/P saseaouo He same t +j3 (i) .

m) ECJIH G - HMJiBnoieHTHan rpynna, y KOTOpoK paHra adejiesmcnoarpynn orpaawtieHH ^HCJIOU -r , TO paHr G- orpaHHieH HeKOTOpmi £(

, nycTB P - nepaoaH^ecKaH qacTB G- . CorsacHOr) pasr/7 ne npesocxoaHT/?^ . TaK Kan paHm adeJieBHX

noarpynn $aicTop-rpynnH G/P orpaHHiieHH IHCJIOM y(t) (CM. e) ) , TOpanr caMofi^/^He npeBocxoani *(*)&(£) -'-D ( \ti\* TeopeMa 7 ).

Page 6: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

10 KJ.H.HepSJIHKOB

paHr£ ne m

s) IlycTB & - adeaeBa rpynna des KpyieHHH H KOHeiaoro pan -ra, P - adejiesa rpynna ee aBTOMOp$H3«ioB, npuqeu G HenpHBOjm-ua oTHOCHiejiBHQ F (i.e. B G HOT HeipuBHajiLHHX noarpyim MeHBmeropanra, HHBapnaHTHHX OTHOCHTejiBHO r ). Toraa BCHKHHHHfl aBTOiiop$H3ii /?€.F peryjiHpeH (i.e. flfr)*ac npaH win BCHKoro tfe-T, x5V<?,cymecTByeT B G noarpynnaHoro HHjeKca, HHBapHaHTnaH OTHocmejiBHO F H laKan, iro ypasHe -rae sC* fl(x)=. a paspenmio B tf aaa jnodoro a e // .

3ro npeanoaeHHe $aKTHiecKH aoKasaHO B [5] , XOTH H cfopuyjiH-posaHO Tau B fiojiee cJiafioS $opue (CM. Teopeuy 3 HS [5] ).

H) IlycTB (r - paspemHuaH rpynna <5es KpyqeHMH, y Koiopofl paa-TH adenesux noarpynn orpaHH^eiw IHCJIOH r , // - ee adeaeB Hop -BajiBHHfi flejiHiejiB. ECJIH $airaop-rpynna £/// adenesa H dea icpyieEHH,TO ee panr ne Binne neicoToporo er«;»

aioro npesnoseHHa aBaaeTca EHjoHsueHeHMeii jo-JiewiiH 3 HS padoTU B.C.Hapraa [5] .

TaK HSR paHr // He sme r , TO B H HOSHO nposeoTHHH /« c , cocTOJWHft HS HHBapHaHTHHX B <?

faKTOp KOToporo He aueeT KpjneHHH M HenpHBOflHMHO rpynnu aBTOiiop$H3uoB, HHAyimposaHHux B Hey ajieueHTaun HS & .nyc» yxe noicasaHO, wo paHru adenesux noarpynn rpynna Gr-Gr/H^ HenpeBOCXOflflT iHcaa 5A , rae 50= e , H aoKaaeu, ITO Toraa panra ade-neBHX noarpynn rpynnn £//%*., He npesoczoaHT HeieoToporo s^+f ,sa -BHCHierO TOJIBKO OT J> . _ _

t&f-Hfa /Uk n_B03BiieM B $aKTop-rpynne G/^^ npons-ad_earesy noarpynny P/H^ c dasHCOM^/^,^.,^//*.^

- ueHTpajinaaiop /£.,„ B <5 . ECJIH F <=-Z.(H*+<) * TO/^ HmttnoTeHTHajB, cjieaosaiejiBHO, ee paar He Biime S(S*)(QU. s)).

Ten dojiee paHr/^^^ dyaei He sume cT^; .UycTB leneps F^-1(H^.^ HenocpeaciBeHHO BHano, OTO BIDIOJI -

HHDTOfl Bee yojiOBHH aaueuaHHfl 3) c SSUHCHOH rpynn G,F » $arypHpy»-1HX B 8TOM SaneqaHHH, COOTBeTCTBOHHO Ha /j^ , 5/Z ^v )̂ » II03TOIiy

BoaKHfi aneueHT ^€/"\Z(7^^)HHaymipyeT B ff^ perynnpHHtt asio -nop$H3M (TO eoTB^p^'^ar npa modHx^re^^^^r^e ) a Win BjieueHia g,cymeoTByei B Hk+i noarpynna Jf KOHeiHoro HsaeKca, HHBapHaHraaa B GH TaraiH, ^TO ypaBHeHHe [a-,̂ ] = a. paapemHMO B/^^ ana jaodoro a.^7f .3a$HKCMpyeu KanyD-aiidyaB napy §r,S? Q yicasaHHtara cBOttcTBaim n pac-cMOTpmi ^e^oqKy noarpynn_ _ _

e c /K c //^ c: /^ .OOosHaiHB nuttfloa ronoMop$H3ii G-~ &//V , MU BHan«, ITO/" ecu pac-

Page 7: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

0 floicajiBHo paspemnMHX rpynnax KoneiHoro paara II

adejieseii rpynnu//,^., npw noMoma adenesofi rpynnu. CorjiacHO saMeqarauo a) HaiiayrcR TaKHe Mucjia ^>c?,

r f[y~ r<] -1 •TO

Tenepi MU uoseu npHMeHHTB paccystfleHiie HS [5] , c?p. 909.at B03BM6M KaKoS-HJifiyflt saeMeHT ar^ e

COOTHOlUeHMIO f" JT6-,^"| =<?,;, H paCCMOTpHU

i =4,2, ..., S.

Bee OHH nepecTanoBOWHH c cf , Tan K&K B ctuiy HssecTHoroTaTOpnoro

ff ={£,...,H nepeciaHOBOTOH c ^ , cneaoBaTeaiHO, ffnf-f^^-e (CM.Hoe Bume csoftcTBO ajieweHia a ). noaiouy

Tan KaK panni adejieBHx noarpynn rpynnii G He npeBocxoaar SA , TO

3THM aoitasaHO, ITO paHTH adejieBHx nonrpynn $airaop-rpynnHHO npesocxoanT incjia s^^s^-^-Sf^)* B qaciHOCTH, panr G-./yHe Bbirae qncjia sz * KOiopoe sasiiCHT TOJIBKO OT r .

K) ECJIH 5- - paspeinauaH rpynna, y KOiopofl panrnnoArpynn orpaHH^eHU IHCJIOM x , // - ne aOejies

6e3 Epy^eHHH, TO paarH acJejieBHx noarpynn $aKrop-rpynnu <?///orpaHiraeHH neKOTopuu wcnou Z (t) .

IlycTB CHaqajia tf/// - nepHoaH^ecKafl aSeaeBa nosrpynna rpyn-nu &/// . ECJIH Z(/SJ- ueHTpajiHaaTop // B /7 , TO, dyayra HiBttno -TeHTHioi, OH HiieeT pam?, HO npeBocxoaflEpIt <$(t.) (CM. x) ). laKTOp--rpynna ff/Z(V) H30Mop$Ha nepnoaE?ecKOH adeaesoM rpynne uaipim. cre-HOHH r naa noxeu pamioHanBHux queen. Coraacao Teopeue I MS [6]Kaxnaa CHZoBcaafl noarpynna adejteBott rpynnu iiaxpim cTenena -^ pac-naaaeiCH B npauoe npoHSBeaeHue He dojiee r. mnomqecKHX H KBasH -UHWiOTeiKHX rpynn. noaioiiy para- fl/Z(H) ne suae t, , H paw ffHe nmQz+Acz.) . TOM dojiee paHT/7/// He Binae r+£(t).

Hay aaueqaHHH H) paHPH cBodoanux adeaesux noarpynn rpymraorpaaa^eHU ^IICJIOM t(i) . Tamui odpaaoii, paar

adeaeBcfl noflrpynnu rpynnu <S/// orpaHHieH ^HCJIOMTEOPEMA 2 . J I O K a J i B H O p a a p e m i i i i a f l r p y n -

Page 8: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

12 B.H.MepsaHKOB

n a £ , y R o T o p o 8 p a H r H a d e a e s a xn o a r p y n n K o H e q H u H o r p a n a i e H H B c o-B O K y n H O C T H i H c a o M r , o a i i a H M e e xK O E e i H H f i p a H r , H e p p e s o e x o a H U H f tH e R O i o p o r o q H c a a £ ̂ r; , s a s u c H B i e r ox o a i H o o x *

20KASATEJIBCTBO. flocTaioiHO ycJeflHTBCH, HTO panrHTOCieft rpynra £ He npeBocxosm HORoioporo ^ <%> - ByaeiiTail, noaxouy, ?TO yxe caiia G- paspemHMa.

Fpynna G- uieef KOHO^HUB paHr [2] x, cjieaoBaiejiiHO, npv -R THiiy fJi no Kxacox$BKaimH A.H.Meun>iieBa [3] . Ilosiouy $&

lop-rpynna G ff> no ee HaKCHuanBHouy nepHOflHiecKOiiy HopuEutBHOiiy/? npHHazxexiv K iHny /^ ( [3] , Teopeua 3). HCHO, TOOHKanoTeHTmifl pasHKaui/f/^ rpynnu ̂ He Hueei npyqeHHa ,

a noiouy, Oyajnm KoaeiHoro panra, KKxinoieHxeH [I] . B rpynne G/P

R/P ^FfP c &IP ,y KOioporo $aKTOp/"//? csodoflHHfl aCeaes, a ^aKiopC/f KOHeien ([5],xeopeua 5). noaiOMy B rpynne & meexcH HHBapnaHTHHa

y KOTOporo faicrop/' nepHOpqen, $aKTOp7v^ He Hueei spy^eHHa, a$aKiop G-/F KOHOTOH.

Panr P He Tnm*j3(t) (CM. r) ), a panra aOeaesnx noflrpynnrpynmG/Pne Bane r(t) (CM. e) ). TaK m&P/p - paspeiHMan ppyn-na 6ea KpywHHfl H paHm ee adesesHX noarpynn HO npeBociD»HT^rry»,TO CTyneni paapemiHOCTH T^/^ se npesocxoaHT HeKOToporo X(r) ,33-BHOHQero ioai>KO OT r ( [5] , xeopeMa 9). JnaoTHMM cKaioK/-'c 7^npH

Koxoporo HHsapHaHTHH B (? , aaHHa / He npesocxoHHTa $aKTOpH - adeaesu des Kpy^teHHH xan adeaesu nepHoaiwecKHe .

IlycxB y»e noKasaHO, ixo B $aKXop-rpynne Gr/Hk paffira adeaesaxnoarpynn He Base HeKOioporo sk f npn^eii 50=ar^;.Toraa H B $aKrop--rpynne &/Hk^ paHm adeaesHX noarpynn dyayx He Bmne HeKoxoporoSk+i . AeiicTBHxea&HO, ecan gaKTOp/^,///* nepHosinieH, xo MOSHOB3HIL S^^,=^A)(CM. e) )» a ecaH JaKXOp^^//^ des KpyteHHH , TOMOXHO B3HTI S^=t(Sj(CH. R) ). Bo BCHROU Cay^ae MOXHO B3HXB S/,^ *

-^(&k) + £ (s&) » nP'weM TaR BHdpaHHoe s^^ sasHCHT yxe xoai.-RO OT S^ .

Hs GRasaHHoro BaaHo, ITO panr F/fl saseaoMo ne BHSC ^a paHPK adeaeBHX noarpynn faraopa G/F HO same 5aAW . TaR Raic

Page 9: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

0 soicajiiHo paspemHMHx rpynnax KOHeraoro panra 13

ero paar He sune y3fs2arrj) (cu. r) ). Taiaui odpaaoM,panr £ ae

TeopeuaOrjieTHU, ITO KOHoiHocTB paHP8 noKaEbHO paspeBBiioft rpynnu

( S e a K p y i e H H H , y KOiopofi paHTH a<5ejieBHX noarpynn orpa -HMieHH B coBOKynHocTH, 6m& aoKaaaaa B.C.^apKHUM B padoie [5] (CM.leopeuy 10 KB [5] ).

§ 3

B CBS3M c ynouHHyruu Bbiine ycjioBHCM KOHeiHoc-EH panra paspeniM-iiofl rpymiH [2] uosei B03HHKHyi£ no^ospeiuie, ITO WIH KonevHOOTH paa-ra jnoKa^BHO paspeinHaoH rpynnu TpeCosaHne orpaHHieHHOCTH B ycjiOBHH

2 HEJIHCTCH H3JUBIHHM. Cjieayiomnfl npHiiep noKasusaei, ^TO B07 STOrO IpeCOBdHKH OCBOCOflHTiCH H6JIB3H.

IIPHMEF 2. CymecTByDT noRajaHO pasperaHime rpynnu, y KOTOPHXpanra aCeaesux noarpyrai HOHeiftti, HO He orpaHHneHH B coBOKyimocTH.

B canon aejie , . nycit G2 - EWKJuraecKan rpynna uaTpau naa nojieutracex, noposaeHHaH uaipimeit

0 2H nycit ̂ - rpynna BCCX uaipim

\ onpeaejiHieni, a: f oc - cToatfeu paimonajiBHux

= 2,3,..,. BHOJOIM i?^ B ^,rt, oTOKaecTBJiHH iiaipimy ̂ e fi>, c

H otfosHainu qepes ^ cx5i*nHHeHHe sospacTajoinea neno^KH rpynn^ C 6 ^ c - - - . Fpynna G- ooaaaaeT Bceim HyjcHHHH

sjieueHT x e. G asodpasaeTCH uaTpunara pasJinuHux ere -neaeii, OTOx^ecTBJieHauBiH uesay codofi, npHieii ecjiH^c € £/?,io AKHBOH-Koro /TZ a /z eyiecTByei POBHO oana iiaipHna II =c llm ctenera w? , Ksodpa-

a) JlerKO BIWCTB, TITO noarpynna /7^ , saeueHTu Roiopott laofi-paxanscfl MaTpimam^^-it cieneHH

Page 10: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

D.H.HepasHKOB

B Crn+iv. H30Mop$Ha n - iiepHOft seoTopHofl rpynnepanHOHajitHHX VSICQH. Caua £/z,^ Cyaei noaynpHiimi

RH6M HopiiajitHoro aeaHTeaa /7^ H aonojuwTejiBHoft noflrpynna

± 03TO, iiu yOeaaaeucH HHayiouiea no n , ?TO see < paspe

H HueKT KOHeqHHe paRrH. TaKHM odpasoH, rpynna & JIOKHJIBHOpaspemmia H coaeprai afieaeBU noflrpyimH ^^CROU yroflnopaBTOB.

(3) ECJIH sxeueHT -^ e 6>, OMHieH OT eflHHHUii, xo npu jaoOouonpeneaiiTeai.!^!^ Maipimu (1 ^if^ ownweH OT ±/ HHOC» wcea|Jc|mjl^_,...He coaepaora coOciBeHHioc aHaieratt

, nycii CHasaaa^ce6?2 j rn^s. • Toraa

rn

H oda yTsepxneRRfl JierKO npoBepnuTCH HenocpescrBeHHo. flonycTHM ie-nepi, two JPIH BCOX ac e. &„_ 3TH yrBepsaeHHH yxe jOKasaHH, B BOBL-M6M y e. G n+1 .110

'Ixl

»y L =

coOcTBeHHum sHaiemuao!ooOcTBeHHHe saaieHKH

lyl!/i^«,I*G,. . . ,WV*«

OTJiaqao OT ± ^ HCOtfCTBeHHHX 3Ha-

Page 11: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

'Lcnrtnrelted a BiraiUCxoon

EOIIBIS BHeHirouna Bimp ojodoxos

HedBtfojBirp oaop^ira doxsy

•(a HHH- Bh8HB8 EBd OHIIfOaoSH OJOHH9H9RHdlI H (j HHHBh9RB8 8H ORttHg HBH

- *£? ROdOXOH8H 3 BOXOTtdgEOO BUUidJttOII -^yl/̂ 99 BBtfKBH

- £0991; •( BHHSSSITIIO Htnonou ndn iroeodiooii nd9imdii ermhHjoifBHB* [i] *do) ^^^y Hoaxojfoso ggtereffBttpo 9H 'nunJJdj gonHm9d8Bd OH

I9BK BMO 'HBJ *HHBaiovfoao mnHxmiopODC BKHj£dSHHndO£089R B I9BffBIT90 fi BnuMj 0£h ' 9HH9hMEMB8 fl RHX9HXO

••••'e'r^y- ' Jx\+ 10 HHhHITXO BffOHh 9HHH8aiOpOO B

' 7: + 10 H8hHITIO 1 3?! HOdOIOH ?IT9XHS9ir9dlIO ' 0; ^OldlBH O&I^dff (l£p

- one liHea np oimp OHZOR (3) ittmdxBn ^OH^OXOU oxoona oxh 'OHXBHOU•HIOOHH&IO&OO a nH9hHHBdjO 9H OR 'HRhOHOX QU^daVOII XH88IT99B HJHBd

(Biia£dJ BBnamadeBd OHimBMOir - ^ 'noeedpo HHHBX•(B H (a en xg

H £̂) HOd

HBHuog (jHO) OHStOH80a9H OXh <IW||y|| Htl

| y j OICOHh (R08BdpO RHJTBJ

*OWH9KO]rOUE9dlI OH 'HBM M8I

0»J9It OXg *.JRBd gnHh8HOH I89HH

- OIOM9H a HoxradaCoo nnii/dj

R9HR9&BH8 RHHH8S£OpOO

OX « «" D

OXh *HOX8Hd9aOdlI

- HdU *^£?

H XHBdgtfoo

R9h

R9X 0 9X09H3

a BHHHaicoiniHa *////)>ydo1i!;BeinreRdoH OJ9^ Hitog (aox * 3 £- oaxo9KOHRtton

BJHBd OJOHh8HOH OK1irBJTOir 0

Page 12: Imath.nsc.ru/~alglog/01-10/03/03N2-1.pdf · BH 1MH9KB6 uHBHHni8dsBdu oaoiro loeffe mr OHXOR *>iRBd jjRHhSHOH xo-91W BlIBO'lUHBd 9HHh9HOH 1091111 HIIIl£dJffOII Htt9IT9pB 80S BBnmnsdeBd

16 B.H.liepsJiflKOB

1. HaricoBa H.H. 0 rpynnax KoneuHoro paara, HAH, cap. Mai., 13,ft 6 (1949), 495-512.

2. KapranojioB M.H. 0 paspeuiHimx rpynnax KOHewnoro paara, tareti-pa H jiorHKa, I, » 5 (1962), 37-44.

3. MaameB A.M. 0 HOKOTOPUX maccax decROHe^Huxrpynn, Maieii. c<5., 28, * 3 (1951), 567-588.

4. CeceKHH H.*. 0 JIOKOJIBHO Buun,noTeHTHHX rpynnax desMaieil. cd., 32, * 2 (1953), 407-442.

5. B.C. 0 paspefflHMHX rpynnax inna fj^ , Maieu. cd.,52,ft 3 (I960), 895-914.

6. Uajiiues A.H. Od H3o»iop$Hou npeacTasjieHHH decROHe^HHx rpynn, Uaieu. cd., 8, * 3 (1940),405-422.

7. fl.E. paspefflHwaH rpynna, Berpynnoft, flAH CCCP, 125, * 2 (1959), 266-268.

8. KapranoaoB M.H. HeKOTopue sonpocu leopHH HHatnoTeHTHHX B paa-penHiacc rpynn, JAH CCCE, 127, ft 6 (1959),II64-II66.