o hekotopblx k/iaccax hekommytathbhhlx h.n ...math.nsc.ru/~alglog/01-10/10/10n4-6.pdf2010/10/10  ·...

42
Anre6pa H norHKa, 10, N°4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX ftOPflAHOBhlX KO/IEU H.n.lIlECTAKOB B 1948 r. A.A.An6epx s£63 onpenennn Knacc cxaHnapxHbjx anre6p, see accounaxnBHbie H ftopnaHOBbi anre6pbi. flna KOHeiHOMep- HHX CTaHnapxHbix ajire6p xapaicxepHcxHKH s4 2 6biJiH aoK aaaHbi ocHOBHbie crpyKTypHbie TeopeMH (C63>ClOj, L12J ), o6o6inaiomHe KnaccniecKHe re— opeMw BeaaepSopna mis accounaTHBHwx ajireSp. B 1988 r. P.A.ma<J)ep B [7l33 pacnpocrpaKHji STH xeopeMbi Ha BBe - neHHbift HM xaM >Ke K^acc o6o6meHHO-CTaHAapTHbix anreSp, ace anfaTepnaTHBHbie H CTanaapTHwe anreSpbi, PeayjifaTarbi LUaiJiepa aareM o6o6meHH B pafioxax P.E.Bjioxa [I 8j H A.T3flHLl43. B npennaraeMoft pa6ore paccMaxpHBaeTca KJiacc HeKOMMyxaxHBHbix KO/ieu, onpeAenaeMbifi 3xox KJiacc o6o6maex Knaccw Konea, BBaneHHtie BJIOKOM H8H H B § 2 AJIH Koneu Ha nannoro miacca noKaabiBaexca xeopeMa o HOCXH HH/itx-Konfaua c ycnoBHeM MaKCHManfanocTH mis nonKoneu, o6o6maio— maa aHanorHHHbie xeopeMti K.A.>KeBnaKOBa ann fiopnaHOBbix KOJieuQlH H E.H.KyafaMHHa nna aHTHKOMMyraTHBHbix KOjieu, yflOBjieTBOpHroiHHx 3-My yo- JIOBHJO Snrena 13 2] . KpoMe xoro, ^xa xeopeivia o6o6maex xeopeMM BnoKa PSl H TSUH C14H o HHnbnoTeHTHocni KOHemioMepntix Hnnfa-anre6p HS co- OTBexcxByiouiHx xnaccoB. B § 3 H § 4 aoKasbiBaexcsi, HXO B asyx nocraxoHHo mupoKttx KJiacc ax paccMarpHBaeMoro Knacca Koneu cyinerrByer loxanfaHO xenxHbiH jijinHKan. ntmyieHHbie anecfa peayjifaTan,; o5o6marox xeopeMM K.A XfeiviaKOBa ana HopnaHOBbix KOjieu I. ' _! . j, B S 5 paccMaxpHBaiorcH KOHe<iH(>xn'[' ;i •"•• f'OK^

Upload: others

Post on 22-Jan-2021

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

Anre6pa H norHKa, 10, N°4(1971),407-448.

519.48

O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

ftOPflAHOBhlX KO/IEU

H.n.lIlECTAKOB

B 1948 r. A.A.An6epx s £ 6 3 onpenennn Knacc cxaHnapxHbjx anre6p,

see accounaxnBHbie H ftopnaHOBbi anre6pbi. flna KOHeiHOMep-

HHX CTaHnapxHbix ajire6p xapaicxepHcxHKH s4 2 6biJiH aoK aaaHbi ocHOBHbie

crpyKTypHbie TeopeMH (C63>ClOj, L12J ), o6o6inaiomHe KnaccniecKHe re—

opeMw BeaaepSopna mis accounaTHBHwx ajireSp.

B 1988 r. P.A.ma<J)ep B [7l33 pacnpocrpaKHji STH xeopeMbi Ha BBe -

neHHbift HM xaM >Ke K^acc o6o6meHHO-CTaHAapTHbix anreSp,

ace anfaTepnaTHBHbie H CTanaapTHwe anreSpbi, PeayjifaTarbi LUaiJiepa

aareM o6o6meHH B pafioxax P.E.Bjioxa [I 8j H A.T3flHLl43.

B npennaraeMoft pa6ore paccMaxpHBaeTca KJiacc HeKOMMyxaxHBHbix

KO/ieu, onpeAenaeMbifi

3xox KJiacc o6o6maex Knaccw Konea, BBaneHHtie BJIOKOM H8H H

B § 2 AJIH Koneu Ha nannoro miacca noKaabiBaexca xeopeMa o

HOCXH HH/itx-Konfaua c ycnoBHeM MaKCHManfanocTH mis nonKoneu, o6o6maio—

maa aHanorHHHbie xeopeMti K.A.>KeBnaKOBa ann fiopnaHOBbix KOJieuQlH H

E.H.KyafaMHHa nna aHTHKOMMyraTHBHbix KOjieu, yflOBjieTBOpHroiHHx 3-My yo-

JIOBHJO Snrena 13 2] . KpoMe xoro, ^xa xeopeivia o6o6maex xeopeMM BnoKa

PSl H TSUH C14H o HHnbnoTeHTHocni KOHemioMepntix Hnnfa-anre6p HS co-

OTBexcxByiouiHx xnaccoB.

B § 3 H § 4 aoKasbiBaexcsi, HXO B asyx nocraxoHHo mupoKttx

KJiacc ax paccMarpHBaeMoro Knacca Koneu cyinerrByer loxanfaHO

xenxHbiH j i j i n H K a n . ntmyieHHbie anecfa peayjifaTan,; o5o6marox

xeopeMM K.A XfeiviaKOBa ana HopnaHOBbix KOjieu I. ' _! .

j , B S 5 paccMaxpHBaiorcH K O H e < i H ( > x n ' [ ' ; i •"•• f ' O K ^

Page 2: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

408 H.n.llIecTaKOB

anrafipbi, yflOBnexBopaioniHe

J 5 ^ ) = o.

, HTO BcHKaa raKaa npocxaa anreSpa Han noneMf xapaK -

2 nH6o anbxepHaTHBHa, JinSo flopnanoBa . (3rox peaynbxax

6 MJI aHOHCHposaH B.IOKOM B C^l ).

§ 1. OnpeaeneHHH n npocxwe cneflcxBHH

n. 1. Ilycxb Oi - neaccomiaTHBHoe KOni.no. Mu SyaeM sc6

npeanojiaraTfa, HTO C/L - i - onepaxopHae KOJIHUO, r\ae T^. /

Hoe accomiaxHBHO-KOMMyxaTHBHoe Konfauo c eflummeft / n aneMeHXOM a ,

, HXO -g — 1- -5- = / . SaMexHM, HXO iipn xaKOM npennonoaceHUH B an-" r-rpynne KOJibiia t/i/ ae MO«eT 6wxfa sneMeHTos nopanxa 2, xo

ecxi. ecnH ^^C — 0 , TO me = 0 . Hop. HneanoM

^/ MM 6yneM noHHMarfa ^ -Hflean ( (f> -noaKonbuo) .

TO o6o3HaiHM- Hepea (,3C,fy,J&) = (^CU)Z — •&(yZ) accounaxop

TOB £C)JJtZi ,- nepea \lJC,l/~\ JCi/ — UOC ~ KOMMyxaxop

lo&^C H y , Hepea 3CoU = JCiJ -\- yx — JSopnaaoBo

SXHX aneMeHTOB H

flajiee, o6oaHainM nepea /^^ (^r^.) onepaxop npaaoro (neBoro) yM-

Ha sneivieHT jc , H nycxfa £>=-a ~ x , a- ^cT = * . B 3XHX o6O3HaieHH5K, B laCXHOCXH, l/OJC. =• 1/'x y y

OnPEflE/IEHHE 1. KOJIUIO (% HaatiBaexcH snacTHHHbiM, ecyin B

OC B bin on He HO xoxaecxBo.

B tacXHOCTH, BCHKOe KOMMyxaTHBHOe IKIH aHXHKOMMyxaXHBHOe KOJIb-

ao anacxHHHO.

/IEMMA 1 . B a j i a c T H H H O M K o n f a u e s e p -

H M c n e f l y r o m n e T o x a e c T B a ;

, (3)

Page 3: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HexoTopwx juiaccax HeKOMwyTaTHBHwx ftopnaHOBtix naneu. 409.

(5)

flOKASATE/IbCTBO. .TlHHeapHsys ToacaecTBO snacTHHHocTH (1) , no-

nyiaeM

Aanee, B jiK>6oM Kont>ue cnpaBennHBo TO»aecTBO

:)u>. (6)

Tenepfa B csuiy (1 ) H (6)

— (wz, ,

TO ecTb (3) noKaaaHO. BwiHraa renepb HS ro>KAecTBa (3) ynsoeHHoe TOK-

necTBO (6) , nonyiHM (2).

flanee, HMeeM B cwiy ( 1 )

- U (oc..zl = ( j c , , z)

TO ecTb (4) AOKaaano. SaMeTHM Tenepfa, HTO B snacTHHHOM

LL(3C,lf,Z^ - artfarepHaTHBHan 4>yHKUHH sneMeHTOB jct z/, . B

U,(jrty,Z~) + Z/(t/,3Z,JZ) = O . OrcioAa « HS (4) cneayer (S) .

noKaaana.

C^HACTBHE. n y c T f a ^ - s n a c T H H H o e x o n t

u o . O 6 o s H a ix.jj M i e p e a ^7 M O . O X . & C T R O

, -,

flOKASATE/IbCTBO. HCHO, HTO 3 aenaeTca <P -nonMOnyneM

Page 4: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

410 H.n.lUecTaKOB

flanee, nerxo BHAeri., HTO J7 = %• , me<

TaxHM oSpaaoM, ana noxaaaTejifaCTBa cnencTBHS nocxaTOiHO

HTO ana jiio6wx aneMeHTOB Ct,S,C «3 C%. (a°D)C, C((Zo&)€. %-,HM66M

B cony (5)

OFIPEflE/lEHME 2. KoMMyraTHBHoe Konfauo (X HasbiBaercfl ftopaa -

HOBbIM, eCJIH B £% BbinonneHO TO>KfleCTBO

(xz,y,sc) -_(?: (7)

OFlPEflE/IEHHE 3. SnacxHHHoe xonbuo, B xoxopOM BbinonHeHo TOJK-

necTBO (7), HaafaiBaerca HeKOMMyraTHBHbiM ftopaaaoBbiM xontuoM.

HanOMHHM, HTO KOJIfaUO HaSblBaeTCH HH^WlOTSHTHblM HHfl9KCa 71, , 90-

/IH npoH3BeneHHe nio6bix 7Z ero sneMeHTOB c npoHSBOJifaHoft paccraHOBKoft

CKo6ox pasno aynio; KOHWIO HasbiBaeTcn nunb-K.onbu.OM, OCJIH Kawabift ero

nopojKnaeT HHjibnoreHTHoe nonxonfauo.

K.MaxKpHMMOH B C" 1 1 H npomiaccHiJiimHpoBan npocTHe KOHeiHOMap -

HejcoMMyTBTHBEbie flopnaHOB-bi ajire6pbi, He aBnaioiaHeca Hiuib-anre6 -

paMH. Cnenyioinaa xeopeMa aasepmaeT KnaccH^HxauHio npocrbix KoneiHo -

MepHbix HexoMMyTaTHBHbix ftopoaHOBbix ajireSp:*)TEOPEMA 1 . n y c ,T> fa £% - K O H e n H o ^ e p H a a

n p o c T a a H e K O M M y r a T H B H a a ftopaaHO-

B a H H n t - a n r e 6 p a j i a a n o n e M & x a p a ic-

r e p H C T H K H ? * 2 . T o r n a ^ a H T H K O M M y T a -

T H B H a.

flOKASATE/IbCTBO. PBCCMOTPHM nHHefiaoe nonnpocrpaHCTBO -^ ,

nopoacasHHoe KBanparaMH ajieweHTOB anre6pbi CK- . B cnny cnencTBaa

neMMbi 1; ^7 _ Hflean anre6pbi (X. . fljia noKaaarenfaCTBa reopeMbi flo-6

CTBTOHHO noxaaarfa, HTO ^7. ffl, , TBK KBK rorna B cnjiy npocroTw ajire6-6

pw OL J, = O H Bee aonasano. PBCCMOTPHM npHcoeaHHgHHyio anre6py

aEOHcupoaaH BnoxoM B H 73 .

Page 5: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O Hexoxophix Knaccax HeKOMMy.xaxHBHhix ftopaaHOBbJX KQJieii 411

,w . „„, nonyneHHyro sseaeHHeM Ha jmneftHOM npocTpaHcrse c/f HOBOPO

\ u "* J~(&. b + od^) , rne etc? - yMHo*eHHe B anreSpe

(% ", /lerico npoaepHXb., KTO CK. - ftopaanoaa HHniy-anre6pa. Flo reope-

~\rfr^ /-rt/^\ =L W

MexHM xenept., H.TQ u£ — Ct , %= (& ) KBK MHO^KecTBa.

^ = Q .

TeopeMa

OnPEflE/IEHHE 4. HeKOMMyraTHBHoe flopnaHOBO KOHbUO

saercH craHaapTHbiM, eonn B •*(% BbinonueHbi

B qacTHOCTH, KBK accounaxMBHtje, xax H" ftopaaHOBbi Kons.ua HBJIHIOT-

OOPEAEAEHHE 5. KOJIBUO CK naabiBaexcH npaBoanfaxepaaxHBHbiM,

ecnH B Ot BbinonneHO ro>KnecTBO

— O. (8)

OnPEflE/lEHHE 6. 3/iacTHHHoe np%Boani>TepHaTHBHoe

Baexca a/ibxepHaTHBHtiM.

OnPEflEHEHHE 7. HeKOMMyrarHBHoe ftopnanoBo Koni>uo (X,

erca o6o6meHHo— craHnapTHbiM, ecan B i^ BbinonneHbi

, HTO uiacc o6o6meHHO— cxaHflapTHbix Konen

ace craHnapTHbie H ajifaTepnaTHBHbie Kcuibiia, npHH^M ocHOBHbie CTpyKTypnue

reopeMbi, cnpaBeoiiHBbie B KOHeiHOMepHbix craHnapTHMx H anbxepHaTHBHbix

anre6pax, ocTarorcs BepHbiMH H ana KoneiHOMepHbix o6o6meHHo-cTaHnapT -

Hbix anre6p.

n.2. B [^8J P.E.Bnox onpeaenmi HOBbifi icnacc HeKOMMyxaTHBHbix

ftopnaHOBfaix Koneii co cnenyroraHMH

o. ( i i )

Page 6: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

412

Bee ocHOBHue reopeMbi, aoxasauHbie B H13H IUa4>epoM ana KOHBH -

o6o6meHHo-CTaHflapTHhix anre6p, Sbrna aHOHcnposaHbi B C8U

BJIOKOM ana KOHeiHOMepHbix HeKOMMyxaTHSHfaix ftopnaHOBbix anre6p yno-

ToacaecTBaM (10) a (11).

3aM6THM, HTO BcflKoe ftopaBHOso HJiH anbrepHaTHBHoe Konfauo yao -

TOHcaecTBaM (10) H (11). Eojiee roro, nerxo npoaepHTb,

H BCHKOS craHnapTHoe Konbuo yaoBneTBOpaer STHM TO«necTBaM.

JK8M renepfa, qTO H B nro6oM oSoSmeHHO-craaaapTHOM KOJIMIS

TOKnecTBa (10) H (11).

nPE/UIOKEHHE 1 . H e K o ' M M y x a T H B H o e . f i o p a a -

H O B O K O J i b u o ^ . y f l o ' s n e T B o p a r o m e e T O > K -

a e c T B y ( 9 ) , y n o s n e T B O p a e T H T o a c a e c r -

B a M (10), (11).

AOKA3ATE;ibCTBO. MeMa B (8) y H u) MecraMii H

Baa nonyHSHHoe TOJKflecTBO c (9), nonynHM B cnny (1 )

y, usz) + (u>, z/, &z)±(z, y, xt^y^^c, to,yz")\-(i/, u),

HrtH

6r,y, zuJ)+(u>,y,xz)+(Z,t/,x-u))-)-(x,u),z y)-t-( z/,u>,xz)+ (z, u>,scy)=O ( 12)

Menaa anecfa JC H Z MecraMH H BbiHHTaa nonyneHHoe xownecTBO HS

(12), nonynaaM

/( to, y , Lsc, zl) -I- (y, w, f^r, zip = O ( 1 0

oTKyaa cneayer (10).

flanee, H3 (12) nojiynaeM BBH^y (9)

• O = \^C^,

C &, (z, u),y)] + fjr, (z, y, uJf\ o ,

HJIH npH ii)=

flopaaHoso xo>KnecTBO (7) ,

Page 7: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HenoTOpbix KJiaccax HeKOMMyxaTHEHbix fiopgaHOBbix icojieu 413

u),z/,JC') = O,

orxyna iipn z/ = re , u)=Z HMBCM B cHjiy ( l')

= £7,

HJIH

C,xz) = (z, (C ,

renepb B (9) U= 3C , U) — Z • riojiyiHM B CHny ( lj H (13)

STO TOjKflecrBO c npenwayrnHM, nonynaeM

B CHny ( 10 )

STO xo>KflecTBO, nonyiHM

flanee, HMBOM BBH«y (13'), (!') H (9)

[&,(y, z, u))} + £(sr, y,x),uf\ - C^r, Cy, u>, zj] + L i^, (i/. sc, z

»y> EX " ) — r u), Z, jcy> - C^c, x, z/W) - (y, x,

STO B (2) , nonynaeM BBHfly (1^) H

B cany (14) H ( r ) nonynaeM

TO ecn. (11) HOKaaaHO, HTO oaHoapeMeHHo noKaabiBaeT npeanoxceHMe.

TaKHM oSpaaoM^KJiacc Konen, BBeaeHHbift EJIOKOM, coaepxiMT see

o6o6ineHHO-cTaHnapTHwe nonbua.

n.3. B H 143 A.TanH onpeaennn Knacc W -nonycTHMbix a^re6p cne

o6paaoM:

Page 8: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

414

OnPEflE-TIEHHE 8. HeKOMMyraTHBHas flopnaHosa anre6pa C%, Haa

noneM £" xapaKTepHCTHKH ?* 2 HasbisaeTca W -AonycTHMoft, ecnH ana

n^ Qt IL € £~ > TBKHX, HTO nn5o •?+ 2p 4- <5<5 ~ •*£" 7 - ^ ,

p -\- 4- 'C ^ O , B £?Jf Bbinojikenbi ro>KflecTBa :

0. ( is)

noxasaji, HTO Kaacaas: o6o6meHHO-CTaHflapTHaa anreSpa aajiaeT-

CH W -nonycTHMoit c napaMexpaMH n = — 2 , 0 = £~ = O . C apyroft

CTOpoHHi, OH nocTponji npHMep W -flonycTHMoft ajire6pbi, B KOTOpofl He

BbinonuaHO TO>KnecTBO (10). TBKHM o6pa3OM, K/iacc W -nonycTHMbix .an-

re6p conepwHT ace o6o6meHHO-CTaHflapTHbie anreSpw H He conepxcHTCH B

Knacce Koneu, BBenenHOM BHOKOM.

flanee, TSHH noxaaaji, HTO ocHOBHbie xeopeMbi , noKaaaaHwe LUa<t>e-

POM ana KoneHHOMepHbix o6o6meHHO-CTaHnapTHbix anreSp, cnpasefljiHEbi H

njia KoneHHOMepHbix W -flonycTHMbix anreSp. B HBCTHOCTH, B Knacce

W -nonycTHMwx anre6p cnpafiennHBa crpyKTypHaa TeopeMa BenaepSop -

Ha 06 oxmenneHHH pannxa/ia (STOT 4>aKT oTpawen B HaaBaHHH nanHoro

KJiacca anreSp) .

n.4. SaMeTHM, HTO xax xnacc VV -nonycTHMbix anreSp, TBK H Knacc

Koneu, BeeaeHHbifi BHOKOM, aanniOTca noziKJiaccaMH miacca

HHX ftppaanoBbix Konea, onpenenaeMoro TownecTBOM (15). HaynHM

ropbie cBoftcTBa sToro itnacca moneu, Hcnojifaays MeTOflbi pa6oTbi

FlyCTI. OL - npOHSBOnfaHOe KOJIfaUO. B KOJIblie BCeX 3HAOMOp(})H3MOB

anaHTHBHoft rpynnw xonbua Ot- MHoxcecTBo 3HaOMop4>H3MOB BHna 7 . ,

rae CL^.C/i- , nopo>KAaeT noflKonfauo, KOTOpoe HaabiBaeTca KOJII.UOM yM -

HO>KeHHft Konbua (X , Mbi 6yneM o6o3HBHaT!» STO KOJIHIO cooTBSTCTByio-

meft narHHGKOH 6yKBofl Jl ,

OIIPEflEJlEHHE 9. Konfauo Ot MM 6yaeM nasbmarb nonycTHMHM,

ecnH B C)i BbinonueHbi

= 0,

Page 9: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTopux maccax HenoMMyxaTHBHbix flopgaHOBbix Konen 415

$lx,yl,y,y) = o. (is)

PaccMorpHM cBo6oflHoe aonycTHMoe KOHUIO «i> or MHoacecTBa CBO-

DoaHbix oSpaayroinHX X — [cT-\ KO.nbno ero yMHOiKennfl £ . FlycTb

y =. 1 y. \ HBKOTopoe ynopsaoieHHoe nonwHOHcecTBO MiKmecTsa X .

O6o3HaiHM nepea y MHOxecrBO ueaccoimaTRBHhix GJIOB OT aneMOHTOB

. A/iHHa cnoBa onpenenaeTCH o6biHHbiM o6pasoM. Ynopa -

3TH cnosa rax, HTO cnoBa 6onbiueft nnHHti 6oni>uie CJIOB

AJiHHbi; BHyrpn MHO«ecTBa oiioB oflHoft AJIHHW ynopandneHHOCTb neKCHKO -

TO ecTb ecnH Ct=£LCZ, • in Ct = GL Cff ,*<>&>& B TOM^T £ f £

f / /CJiysae, ecnH nHoo a >CL , n«6o cf =• Ci H Cf >CZ. OSosHaiHM iepe3/ / ' / <Z 2

7~ MHOWeGTBO

H lepea y - nonKonuio xonbua 3 , nopoameHHoe MHowecTBOM 7~ ,•f. LJ

Ha MHOwecTBe CJIOB H3 y BBeaeM ABe ^ynKnau: cxeneHb (&€&*) H

(cl) . EcnH W HMeer

. rne Ceg^- - nnHHa cnoea

MHO*ecTBa ~ HHayuHpyer nacTHHHyio ynopflfloien-

/ , ecjiH CHHxaTb, ITO 7~x> 7T, npH 3C >• Z/ B ^/ .

ByflBM CHHTBTfa TaKHCe, 1TO A . Z' - , T6M CBMblM MHO>KeCTBO X , yllO-

. ynopaaoiHM renepb MHO>KecTBO CJIOB H3 U raK, HTO c/iosa

6onbiiieft aJiHHH 6ojibiue cnOB MeHbineft n/iHHti, a BHyrpH MHO^ecraa C/IOB

nnHHbi ynopflflOHeHHOCTb neKCHKorpa4)H«iecKaa cnpasa Haneso.

OOPEAE/IEHME 10. CJIOBO w=7" 7" ...7L, H3_^/*6ynaM aa -"* "

3biBaTb -HopManfaHbiM cnoBOM, ecnH ana xawnoro ,— 3 , r . . . t

. ,£,-/ Z-

/IEMMA 2. K a * a o e c n o s o W H 3 ^ / p a B H o

n H H e f t H O f t K O M S H H f l U H H ~J — H O p M a n b H b l X

c n o s x o r o «e c o c T a s a O T H o c H T e n b H O

L/ , H T o H VV .

flOKASATE/lbCTBO. Ha jiHHeapHSOBaHHbix TOHcnecTB sJiacTHHHOCTH

( I ) H iiopaaHOBOCTH (7 ) nonynaeM c/ieayiomHe ToacnecTaa B so/ibue

Page 10: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

416 H.n.lllecTaKOB

/iHHeapusya Townecrso ( 15) , nonynaeM

(Dr, z/H , Z, to ) + (T^f/l , id,4- (Lx,z\, zJ.t/i + CLtc.ttB, z/,

flanee_.

=i Z^ . rae

, y, w)+ f

HTO v^ J ' */ HMeror T<TT >Ke cocxaB, HTO H W- , z/. , HOj

Ha TO»cnecTB (17) - (19) nonynaevi

(20)

IlycTb renepi, a cnose vV ecTfa noacnoso 7>> 7" 7~/ , rne V^CL,

. Pas6epeM xawabift HS HecKonbKRx BOSMOWHUX cnynaeB.

Ha (21) H (22)

(23)

3aM9THM renepb, AITO Knacc nonycTHMtix xoneu aaMKHyT OTHOCHrenfa-

KO aHTRH3OMOp4)R3Ma. CjieflOBareTibHO, ecnH B & cnpaseonHBO HeKOTOpoe

TOJKHeCTBO, TO B e& CnpaBSflnHBO H HHBepCHOS TOJKfleCTBO. BBHfly -«3TOrO

HS (23)

Tenepb B cany (20) H3 (23), (24)

(24)

(23)

Page 11: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTppbix Knaccax HeKOMMyxaTHSHbix ftopaaHOBbix KOJieu 417

*g*c -t-gficfij—jtS^Lf-m^ ). (26)

Haxoneu, BBHny (16)

(25)

H auanorHHHO

noncraBHB renepi, B W BMSCTO Ts 77 TV/ cooTBercrByiomyio npa -

Byro nacTb Ha (23) - (28), MM nonyiHM, HTO W—Sec. W • . rne BCOI / / t- z- z

W,-^ W ,oC/=i/, ± 5- , QTKyaa W=S3f.V\/. , rne ace w.<w;t i ' Z ^ t i>, z 'W- HMeiOT TOT JK8 COCTaB, HTO H VV ,' CX~ i /, ^ J" •

2. /=<3/, C<d.

Ha (21) nonynaeM

HHBepcHoe

S L L = °- (30)

B W BM6CTO ^V /" 7"/ COOTBBTCTBy KDIHyK) npaBylO HaCTb H3

(23) - (28), c yifeTOM (29) H (30) BHOBI> nonyiHM W=2cx-W-z ^ lj

BC6 VV- < W H HM8IOT TOT MC6 COCT3B, HTO H W J OT.^t/ i TT-z. i * 2

*.e = d, £<d.Ha (22) nonynaeM

H HHBepcHoe

VgLj^ct - O. (32)

flanee, na (16) cnenyeT

Tenepfa, Kax H B npenunyinHx cnynaax, Ha (23) - (28) c ynfeTOM (31) -

(33) nonynaeM, HTO \V=

TOT >K9 COCT8B, HTO H W

(33) nonynaeM, HTO \V=oC. W- , rae ace W/< V H W- HMGKDTi, j ^. if

Page 12: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

418

4. .flerKO BHneTb, HTO H B noc/ienneM cnynae, Korna

TOT we pesy/ibTaT.

MTBK, ecnn B W ecTb noncnoBO 7~s 7~, T / , rneu ^- G.

TO \V=2Jct . W- , rne see \V- < W H HMBKDT TOT we cocTaa,

- = i/, — ? • ECJIH B W- cnoea

noflcnoao TaKoro BHna, TO nponojmaeM npouecc. BaHny TOPO, HTO npo -

uecc cTporo MOHOToneH, a CJIOB naanoro cocTaaa, MeHbiiiHx W; - KOHBH -

HOB HHCJIO, MBI nonynuM na KaKOM-TO uiare, HTO W=-£QC- ZJ • > rfle{ i tsee tt • - fy -HopManfaHbie cnosa TOTO we cocTaaa, HTO H W ;CT- =

C, ifO K7= fT • Z, *- , rne /Z - A"- - uenwe

"Z- » t- t

BHneTfa, HTO B Tex we o6o3naiieHHHx cnpaaennHBo

CJIEACTBME. H y c T t ^ - a o n y c T H M o e K o n b -

u o H o^ - H G K O T O p o e y n o p a n o H e H H o e

n o a M H o w e c T B o MHO w e c T B a C% , T o r ^ a.£.

K a w n o e c n o B o W w. 3 -O~ p a s H O j i H H e f t n o f t

K O M 6 n H a u H H „£* - H o p M a j i b H b i x c n o B T o r o

w e c o c T a s a o T H O C H T e n b H o ^" , H T O H w •

3AMEHAHME. Ha noxaaaTenbCTBa neMMbi 2 cnenyer cnpaBennH -

BocTb TaKoro yTsepwfleHHa:

BcflKHH 3JI6M6HT H3 KOrtblia y M H O W G H K H

npeacraanHeTCH B' z 3

M6HTOB H3

anna i)=7~, 7" T' az "3

BHHa

flOHyCTHMOrO KOJlfaUB C

nHHeiiHofl KOM6nnaunn sne-

.J T, -i

.J

2> 'a. > ^a^a, < ^.w'Z..^MIlpH 3TOM ecnH (Zj = Cfj , TO V ecTb nHHefiHaa KOM6nHauHH

Ha Jl BHna 2) H BHna 7" 7" 77 /"j1 ^ ^

7IEMMA 3 . n y c T b B n o n y c T H M O M K O n b

U e (Jjf K O H 6 H H O n o p o » c n e H H o e n o n K o n b U

$• H H n b n o T e H T H O . T o r n a B K o n t u e y

H O MC e H H ft *7t H O n K O n b U O ,i> H H J I f a n O T e H T H O .

pasyioiuHx KonbHarn.

M •= ^ ^ -

flOKABATE^bCTBO. FlycTb ^C = vt .., O - MnowecTBO 06-

, m - HHneKC HH^fanoreHTHocTH . FIonowHM

^/^i- • rne P - IHCJIO pasnHHHwx HeaccounaTHBHbix CJIOB' ' * #-

OT n, cBo6onnbix o6pa3ywmHx. HoKaweM, HTO

Page 13: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

_ O HeKOTOpbix x/iaccax HeKOMMyxaTHEHbix ftopflaHOBMX Koneu 419

TBHTHO HHflexca JM/ . flocTaTOHHO noKasaTb, iTo nio6oe cnoBoJ'

BHna

w = 7 r . . . r ,Ci C2 LZ»f

rne C± - cnosa OT ajieMBHTOB ^ , ecTb nynb.

YnopsmoHHM MHOWOCTBO „£- , cHHraa •& < & < . . . < & . Tax7 2 *2

xax Wfe^* , TO no cjieacTBHio neMMti 2 W' ecxb nHHeftHafl KOM6HHauHH

-HopManbHbix CJIOB Buna

rne .-r. - cnoao OT ., .J J+' J

l) HM86T ^OIT )KB COCTaB OTHDCHTenfaHO , HTO H

Bbi6panbi 3/ieMeHTbr I/ ZJ .. . . is , ECJIH rj *=/r. , TO nona-« 7 i7* >/ K ,/K c

raeM

y«*< = \e um ^ ^3?

!/. = 3T , n«6oyt ~^m—Y

rze-^ ' T0

OC, £ y H so• 5-^T- . oTKyaa.ana nio6oro a?, fc Z HMeeM

flanee, HMBBMm

OTKyna.+

S cfepLty) ^/V./

Ho Torna, KBK nerKO BHaeTb, C€^ ( f a ) ^ r~n , OTKyaa B xojibiie J^

U+ = O . CneaoBarenfaHO, 7~ = Z7 H i/ = Q. SHaHBT, w=(?]n f%£ ) =/}

n ^JleMMa aoKasaua.

C/IEflCTBHE. I l y c T b c ^ - n o K a n b H o H H J i b n o -

T e H T H o e n o n K O J i b u o n o n y c T H M o r o

Page 14: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

420 Un.IUecTaxoB

x o n b ii a CY . T o r a a B K o n b u e y M H o >K e

H H ft «?£ n o a K o n b u o '<££ n o x a j i b H O H H .1 b n o -

T e H T H O.

§ 2. HnjibnoTeHTHOCTb nonycTHMoro

ynosneTBoparomero ycnoBHio MaxcHMa-ibwocTH aflfl noaKoneu

Meroabi paSoru C"2j , MW aaecb noxaweM, HTO ec-nn ao-

nycTHMoe HHnb-KOJibUO C%- yaoBjieTBOpneT ycnoBHio MaKCMManbHOCTH

ana nonxoneu, TO (% HHnbnoxeHTHO.

OpeaaapHTejibHO aoxaweM cnenyiomee yrBepwaeHHe:

TEOPEMA 2 . r i y c T b £ ^ - a o n y c r H M o e

K o n b u o , JS5- - H H n b n o r e H T H b i f t H n e a ^ B &.' ,

n P H i 6 M ^ = + 9^^ . r a e ^ e . , ^ . T o r a a ^

H H H b n O T e H T H O .

flOKA3ATEnbCTBO. OycTi. X= |iZ]-} - ueKoropoe MHOKecrso 06 -

t , H ^ / = X , 4. . Toraa MHO«ecTBO ^/ nopo>KAa-

er Konbuo C%. , OTxyaa J& = £/ , rne - xonbuo yMHo«eHHfl xonbiia

CK. , ECHH L£ - HexoTopoe CJIOBO HS Jt , TO noa creneHbio sroro cno-

BB (a£O (&)) MW 6ynew noHHMSTb ero creneHb OTHocHTe/ibHO MHO -<7

floxaaaTenbCTBo TeopeMbi pacnaaaercH Ha nae

HEMMA 4 . r i y c T b x a w a w f i H S s n e M B H

T o B C^ (t= /,...,/^) n H 6 o n p H H a n n e j K H T j Z / - , n H -

6 0 p a a e n d . T t > r a a B w p a a c e H H e W= ^T 7" . . ._. C? Cl

. • . !„ M O J K H O n p e f l C T a B H T b B B H f l S n H-c<H e f t H O f t X O M 6 n H a U H H a H a j I O T H H H b l X B b l -

p a >K e H H ft W • . n p H H 6 M <2^a (Y/-)— a'eff(w) ana x a JK -

a. o r o 7 , H VV,- » n e c o a e p > K H T B c s o e f t aa-^ y '

H H C H n o n c n o a B n a & 7~ F 7~ is. 7~ T T , r n e

aoxaaarenbCTBa HcnonbayeTca aaMenaHHe K neMMe 2 n

HHS no HHcny <yCw) , rae

7

+

Page 15: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O nenoTopbix xnaccax HexoMMyTaTHBHHx ftopgaHOBbix iconeu 421

\ ,> = \0 ,

B VV BCTpeiaerca noacnoBO BHaa 7~ / T , y £. £ , TO npeo6 -

paayeM ero na ocHoaaKHH saMeiaHHa x JIBMMS 2, nonaraa TSM (Z = i/ ,£ J

G-j — O =• d ; ecjm BcxpeiaeTCH noAc.no BO BHaa 7", /^,^

TO nonbayeMCH TSM we aaMenaHHeM, nonaraa CZ = JZ, C?.=*-ls, Cf

Tax xax <^> - naean B C^L , xaxaoe H3 STHX npeodpaaoBaHHfl

er MHCJio & . B TO >Ke|||peMfl SCHO, HTO npn yxasaHHbix npeoSpasoBaHH-

HX creneHfa He HSMeHHercn.

CMbicn 3TOft neMMfai aaxTiKiaeTca B TOM, ITO \V npeflCTasjiaeTCH B

BHne nHHeflHoft KOMSHsauHH aaanorHHHhix Bbipa»:eHHfi, B KOTOpux onepaTO—

PM T CTOHT nonpaa H cTenem, paana cTeneHH Hcxonnoro BwpaxeHHH.

/1EMMA 5. IT y c T b C = <S^ 7~ . . T,. , r A e K « « -*2 *-/»i

flbl ft H 3 3 7 i e M 6 H T O B .£ • n H 6 O n p H H a A -

n e >K H T J^- ,. n H 6 o p a B e H. d, ; C G JZ/- , T o r j^ a

a n a B c a K o r o / < ^ / c y m e c T B y a r T a i c x ) e

H H c n o N (,K~) , H T ' O a n a B c e x srt .^ A^(/f} 3 n e

M e H T C n p e a c x a B n a e T c f l B a H a e n n H e ft-

H O f t K O M 6 H H 8 U H H a H a n O T H H H b l X B b l p a -

X. e H H ft (6bITb MO>K8T, M6HblIiefl n/IHHbl) , F fl S n 6 p B W e A'

c o M H O ^ K H T e n e f t n p R H a a n e m a T -& , a n e p

B w f t c o M H o > K H T e n b c o a e p « H T B c B o e f t

3 a n H c H £

AOKASATE/lbCTBO. PBCCMOTPHM nonKonbuo {d\ nopo«fleHHoe

. TaK KaK C%- - KOJlbUO C aCCOUHaTHBHMMH CTenSHflMH

- acconHaTHBHoe xortfauo. SaMexHM.Tenepbj ITO ^ dj £ i5- ,

B cnny HmibnoxeHTHOCTH ^Zr |ij HanhnoreHTHO, a B cHny ao-

COUHaTHBHOCTH H -| d_J HOnfaHOTeHTHO. Flo neMMG 3 B KOJIbUe

^f^& noaxonbuo d HHnbnoTeirrHO. CneaoBaTeJibHo, cymecTByer xaxoe

A* , TTO npon3BeaeHHe nio6bix A" oneoaropOB BHaa T~- pasuo

. IloKaxcaM Tenepb, cneaya ^23 , ITO B KanecxBe A/ (K.) MOXKO, -K— f

B33Tb HHCnO ( 2 —

ZleftcxBHxenbHO, HMeeM /V^' = -/ i A/^S^=/>+/ . FlycTb neMMa ywe

noKaaana ana X"— / , K 3 , H paccMOxpHM CHOBO C npH /

> 2N (<—!')•¥ r~ / . O603H8HHM ^ = 7 Tj" ... ZT/ ^ cxvc*=-y;

HHayxuHii. Toraa O pacnaaaerca B cyMMy ciS^raeMbix on-

Page 16: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

422 Hn.IUecraKOB

peneneHHoro BRfla. PaccMorpHM KaKoe-HH6yat> HS STHX cjiaraeMtix; OHO

HMB8T BHfl & 7s . . . TS £/.... r«e ^V €• J#, £/. 6 CX. , COfl»p>KHT^ °<-lfl Z / ^^

<2 . , a coMHOjKHTenR or.. Moryr H OTcyTCTBoaarb. OoosHanHM, ana

KP«TKOCTH,/Y(X— •/) = /V i Toraa C pacnaaaeTca B cyMMy cnaraeMMx BH-

na

...T> 7j Tj. .. 7 ... 7 . (34)O- a a ° C™

v = U+ 7~e • •• • '£ , *-v — v 's-/ 'r/ ...71 ...71 , Torna' Of _ "K-i ' f fr a2, 'vvf/ ''At/'

(34) paBHO c 71 ... 7 =C~,C €•"• EcnH paccMarpHsaTfa

C *aK CJIOBO OT o6paayiomHx C , C^, , , . . . , 0,^ , TO ero anHHa

paBHa rn. — (N+P~'!j'^N==N(t<—t), noaroMy O ynoBjieTBopaeT npenjio —

no>KeHHflM HHflyKURH R MOK9T 6biTb HpeflcraBTTeHo B BHae cyMMbi^ cnarae-

MHX BHfla •& Ty... TJ? /"/" /"L/",. . > rne O-6.0&, Q?-£C%., u c°~

flepjKHT C f * &• Moryr H orcyTCTBOBaTb. OSoananHM C — t> Tr... 7-? .' ' _ J - '$;£*,

Torfla c =C 7 7 77 7& • r&& 7a MoryT H oTcyTCTBOBarfa.? e, ez • • ' ot' ' ' oK_1 ^i

Aanee,

c"= £7, 7,... £ ...7, 7,7. ...7? ...77; .

W== 7^ 7r/ ... 7r ...7 7f 7,, ... , Toraa c"=*w7f. 7?"-, at c^f c^ e, ez ^ °2" HCKO, ITO aetf (W} £ <C • nojibsyscb neMMOR 4, tipencraBHM W B BHfle .

W = S W- » rne KajKnoe HS W- HMeer creneHb <2^>^"V/-^ =

T H oneparopw 7~. B Bbipa*eHHax \*/- CTOST noapHfl. TaK

KflK B W- MOK6T CTOHTb HOflpafl H.B 6on68 <Z — / COMHOJKHTS/ieft BHflac-

I. (RHa>is npoHaseneHiie paBHO nynio), a CleO'(W')^. Z, > TO, B

roro, ITO deCf (7&)==ciea(sy =• /, B Banana H H H . B KOHUS KaiKfloro u^. CTO-

HT XOTH 6ti oflHH coMHo>KHTejib BHfla Tg , OK € ^? . EcnH Y/.= 7s y/f ,

TO cooTBeTCTsyroniee cnaraeMoe B C paBHO

wrf... rf - ,rfi..r^ r<

TOHHO Tax 3K9 ecnH Vv^. = W. 7~j? , TO cooTBeTCTByromee cnaraeMoe B C

paBHO •&y//7J' Tf... 7f =$74 7f... 7l , rae £=-/\y'e. & .1 °< °2 °X—f °< 62 °#-f z

B o6oHX CTiyiasx rpe6oBaHHa neMMH yflOBneTBOpawTca. Uonaraa /\(-/j= /,

Ha neMMti 5, oneBHaHo, cnenyex HRnwiOTeHTHOcTb Kontua C%,*j> "- 1,2*™, ecnH 2> •=• O , TO (X =• O .

TeopeMa

Page 17: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTOpijx KJiaccax HexoMMyTaTHBHbix flopaaHOBMx xo/ieu 423

Tenepb MOWST 6birb

TEOPEMA 3. n y c T b £ £ - a o n y c T H M o e H H Ji fa -

b i i o , y a o B J i e T B O p a i o f f l e e °y c ;i o B H ro

K C H M a n b H O C T H ana n o a i c o n e u . T o r a a

AOKA3ATE/IbCTBO. Tax sax <# - HHnb-Konwio, BCHKH«

H3 (X- noptmnaeT muibnoTeHTHoa nonKOJibuo. Ms ycnoBHa

TH cymecTByer MaKCHMajibHoe KHJibnoxeHTHoe nomconbiio

, BBHny ycjioBHB MaKCHManbHOCTH JtJ- KoneHHo nopowaeHO. Ho

3 j£ . HHJibnoTeuTHo. riycrb fo- ) =• O . Toraa

*= a.

, HTO •

r.e. cymecTByer <^e (% ,a. & , raxoft, HTOy

PaccMOTpHM sneMeirr at . Bo3MO«Hbi 2 cnynaa.

1. d & ^ o#. B STOM cnynae B CH«y xoro, ITO B

HOM BopaaKOBOM Konbne ana BCHKOPO aneMeara ^z: oneparopbi /^. , Lx

nopo>KAaioT KOMMyTarHBHoe accouaaTHBHoe xojibuo, coaepxcamee see' " £ K

<H//;C< ana x=-/,2,... , C6H , MM *"

scex >c = /,^, . . . •

2. CymecTByex -o e. «£?• , ZUIH Koroporo

Ma TO>KflecTBa (5) nonytaeM

I e j^-. (35)

, ecain CL •£ €. j£ , TO H <&Z 6 ^5- . riosroMy

paccMorperb cnyiaft, Koraa C£

PaCCMOTpHM 3JieM6HT

r . HM6SM

<i>ana no Monynra

Ha TcmnecTBa (7 ) nonyHaew

(36)

Page 18: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

424 HFI.llIecTaKOB

(a, ex., £° £') — - (•£,(*, a o •£')-(•£ fa. a

HaKoneu, HS roxcaecTBa ( 15 ) no/iyiaeM

STO roxaecTBo c npenbioyiHHM, nonyiaeM

(a.a, £-£') = 0 (37)

H oKOHHarejibHO no Moaynto 3>

'^ o. .

aaecb »ce, ITO H3 (37) BBH^ (1 ) cnenyer

= O. ( 38)

PaccMoxpHM Tenept aneMOHT 17 (G^o) , rne tf - npoH3BonbHbift

3JieM6HT H3 & . HM66M B CHny (35), (38) H (36)

f^ 4- g'tfa')

nonyiaeM B cany npoHSBonbHocxH t7

(a*4)X* ^ *. (38)

PaccMorpHM renepfa aneMSHT (<X o) & , rne ^7 - CHOBB

BonbHbifl aneMSHT H3 J> . HMOSM

flanee, HS (7 ), (35) H (89)

.d) ~ 2 Cag4.-S.a)m O,»

xaK B HeKOMKcyraTMBHOM ftopaaHOBOM Konbue (X. \_ ^X2,S,^\

HaKOaeu, H3 (39) BHOBI> nonyiaeM

R OKOHiaTOnbHO

Tenepb Ra (35) cneoyar

Page 19: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HenOTOpux K/iaccax HeKOMMyxaTHBHbix ftopnaHOBbix KOnen 429

£'H B CHJiy npOHSBOrtbHOCTK 3n6M6HTa V

O6o3HanaH B I-M cnyiae ct nepea £/ , a BO 2-M c/iynae - a a

nep ea V , no/iyiKM, HTO Bcerna cyiaecTByer aneMBHT U^Cfc. ', z/d.

icoTOporo V £ ^ $• , K*=S,2,5 ..... TaK xaic z/

4 €. £K , J£ £ , Taxofl, ITO

PaccMOTpHM KO/IBUO ^^=1^,41 . /lento BHaeTb, HTO

Bopaer BCCM ycnoBHSM TeopeMH 2. CnenoBaxenbHO, KOJIUIO •C' amibno -

T6HTHO. Ho 3TO npOTHBOpSHHT MaKCHMaJIbHOCTH

& = (%. H (X.

TeopeMa

C/lEflCTBHE. r i y c T f a i ^ K - n o n y c T H M o e K o n f a -

il o , H B J i s r o m e e . C H K o n e H H o n o p o > K f l e H H b i M

M o a y n e M H a a C B O H M K o n t H o M o n e p a

T o p o a V-3 . T o r a a e c j i H ^ T - c ^ H j i b - K O J i b n o ,

T O OL H H J I b n O T e H T H O .

flOKASATE/lbCTBO. SaMerHM, BO-nepsbix, HTO ecjiH cf> - HfiTepoBO

TO £%• HHnbnoTeHTHO. fleftcTBHTenbHO, Torjja Cft Kan KOHeHHO no-

-Moay/ib ynoBjieTBopfleT ycnOBHro MaKCHManbHocTH AHH CBO—

HX <+> -nonMonynefi, TO ecTb,B HacTHocTH,H nna noaKonea.

PaccMOTpHM xenepfa oSuiHii cnynaH. IIo npennonoMieHHK) cymecTByiOT

. Cne-

j K, nonyieHHoe npncoeaHHeHHeM acex cc! • • K icojibiiy uenwx

"LiJ ' K

Z . Flo xeopeMe FHnb6epTa ^Pa - HeTepoBO Konbuo. PaccMOTpHM KO -

nopo>KneHHbifl 0. -Monynb C%

^ i — 7 O2

HTO C%.g^=.(%. KaK nooMHowecTBo. Bonee Toro, nerxo

HTO C%,o - o6biHHoe noflKOJifauo (ne '•P -onepaTopnoe) KOJibua O£ , TO BCTI.

CK.g - nonycTHMoe HsSfb-Konbuo. Tan KBK Kojibuo oneparopoB Q- _

(%.Q HfeTepoBO H Ci0 ecTfa KOH6HHO nopowfleHHbiH ?7 —Monynb, TO no

. CnenoBarenbHO, cymecTByer

see cnosa or x. ,3Z,,..., 3Cn ZUIKHH 6o/ibiue HJIH paaaoft yV« - Hyneswe.

Page 20: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

426

Ho rorna, xax nerico BHaexb, $ = O , TO ectb $. HHJibnoTeHTHo H

see noxasaHO.

Ha cnencTBHH reopeM&i 3 H npeAbmymioc peaynbraroB aBTOpa C4j

BbirexaeT

TEOPEMA 4. - r i y c T f a n o n y c T H M o e x o n b u o

OL H B J I H 8 T C H K O H 6 H H O n O p O m f l e H H b l M

/-*)M o A y n e M H a a x o n b u o M o n e p a T O p O B 1 ^ -

c H H J i b n o r e H T H U M B n o p o ^ t n a i o i u H M H s n c

M e H T a M H (TO ecTfa B C% cyraecTByiOT HHnbnoTeHTHbie SASMeH-

TH ^rf~,X ,...fxn,TaK.ue,*iTO (%. = tpjCj H- -2}+ . . . + -"^

T o r n a 6 ? H H n b n o T e H T H O .

C/lEflCTBHE. I l y c T b i C ^ - n p a s o a j i b T e p H a T H B -

H o e K o h b u o , n a n a i o m e e c H K O H e H H o n o -

p o J K f l e H H H M M o n y n e M n a n ' ? - ' c H H / i b

n o T e H T H M M H n o p o j K n a r o m H M H 3 /i e M e H

T a -M H . T o r a a ^ X n p a B O H H n b n o r e H T H o .

flOKASATEJlbCTBO. HanoMHHM BHaiane, HTO xonbuo (X Hasuaa -

eTCH npaBOHHnbnoreHTHbiM, ecnH ana neKoroporo nncna m. ^>^-/vz-1 = O ,

rae ^41^ = , &-ri+n ==^r^ • nyCT'»^' - npaaoanbTepHaTHB-

Hoe Konbuo, yaoBneTBOpaioraee ycnoBHHM cnencTBHH. PBCCMOTPHM npHcoe-

aeHHoe xonbiio (%• , nonyneaHoe BBeaeHHeM Ha aaziHTHBHofl rpynne xonb—

na Ct HOBOPO yMHo«eHHfl &.•&= —(cc-o + vet) < rats ac t^ - yMHO>ne -

HHe B xonbne (X- . Jlerxo nposepHTb, HTO (%, - ftopaaHOBO xonbuo H(f ) • _«,

CX- flBnneTCH KOHSHHO nopOKaeHHbiM f -MOnyneM c

sneMeHraMH. Tax xax Bcaxoe ftopnaHoso xojibuo nonycTH-

MO, TO no reopeMe 4 OC ^HHnfanoTeHTHO. CneaoaaTenbHO, KOJIBUO 0C

ecTb HHJib-xojibuo orpaHHi^HHoro HHasKca. Flo TeopeMe A.H.lilHpuiOBa C3H

KOrtbiio (JC noxanbHO npaBOHHJibnoTeHTHO, TO ecTb npocro npasoHHJibno -

TOHTHO.

CneacTBHe

§ 3. C1 -aonycTHMbie

Ot - Hexoropoe xojtbuo, $ ,/

O6o3HaHHM nepea -j «$, , &z , \7,

5>,^,^} - S

Page 21: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTOpwx imaccax. HexoMMyTaTHBHbix fiopgaHOBbix Koneu 427

, , .. .Z C> Ifj ~ J

i.j= f.2.S

OFIPEAE/IEHHE 11. flonycTHMoe KOJibuo (%. 6yneM HasbiBarb 6 -

ewm cymecTByer Taxoft HeaccoiiHaTHBHbifi IIOJIHHOM

(^,^f ,-rc.,d'1 , onHoponHbift oTHocHTentHo nepeMeHHbix ^r.,,^,^ , HTO

, . MHOKCCTBO <5 _ 7 , , • ,

cHoaa naean xonbua (%. ,

C . . . ^ ; c [ - . . J ] • (40)

B nacTHocTH, B c5 -nonycTHMOM Konbue C%. ana jiw6oro Haeana

MHOJK6CTBO £ = & (&, &, &, C%) - CHOBa

(41)

nPEa/TO)KEHHE 2 . n y c x f a C ^ - n o n y c T H M o e

K O J i b u o , y a o B n e T B O p n i o u i e e T o w n e c r

B a M (10), (11) . T o r a a ana n i o S b i x n n e a

£>, , $ , «2/ K o n b u a ^ t M H O M C B C T B O

-t-

e c T b H n e a n K o n b u a . y a o a n e T B O p n i o

m H fi (40).

flOKA3ATE^faCTBO. Tax KBK a (X- BbinojmeHO xo>KnecTBo (10), TO

Bbino^HSHO H ;iHHeapH30Ba.»Hoe

B (2) iJ =• 2J , nonynHM B cwiy (1)

B (JL Bbino^HSHO H ;iHHeapH30Ba.»Hoe TO^necTBO (10 ). Honaraa xanepb

B cany (10 ), (1 ) H (11)

HJIH,

(£a:,y\,z,w} + (E^r, wl , Z,y) = \_(X,L/,Z), w} +£ (^r, uJ,z),i/] . (42)

flanee aaimcb 2W. = JSi/ 6yaex oaHanaTb, HTO

eC^ . M a (42)

Page 22: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

428

flanee, us (3) nonynaeM

PaccMorpHM renepi.

Ma (7 ) nonyiaeM

, ° K ) ^ O. (44)»/

OTKyaa

a.ft.q.fasia. ($,-%.&). (45)

Tenepb BBumy (1 ) H (45)

OTKyna

.TO

flroftC-,4,-4; ^ ^7. (48)6 y x

Teriept H3 (43) uuHay (44) H (46)

[/,- T/-4^ 0-^0. (47)

AnanorHiHO no snacrHiHocTH nonyiaeM

= ^- (48)

Page 23: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTopwx K/iaccax HeKOMMyraTHBHux ftopnaHoabix KOJIGU 429

3aM6THM renepb, HTO us (47) H (48) cjienyeT, HTO

roro, HTO & ($ t & & ,C%) - Hflean B C% , ocTajiocfa

, HTO

J

r, 4,^ .^). (so)

riycxfa TV- e ^v .CX.-fe^' . HMeeM B CHny (1 )lr *£• i-

B cany (47)

nonyiaeM BBHAy (48)

TO ecTb (49)

Haxoneii,

[>, 4 r 4 «: «, = -fe f< - i J^ C^ ff 4

OTKyna B CH/iy (46) - (49) nonynaeM

nonynaeM

TO ecTb (50) AOKaaano H & (Q,X> Z&j^) - nnean Koni.ua

Flo onpeneneHHra

TaK Kax | JS^ , i^ , iJ-j J £ £ " > *^ ' °^j 3 • flJIH aoKaaaTejibCTBa npen -

ocTanocb noKasaTb, HTO

Page 24: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

430 Hn.lilecraKOB

B ciijiy (44) H (10 ) nojiynaeM

- / f ft \ > , fr~ ff p ~i /? \ ((&.- v.]f) )a ^ U o., &. I , t$ a )=-t> I ' "• *~~ ' i^ / —* ^v

oxKyaa

MxaK, (40) xaK«e aoKasaao.

oSpaaoM, xawaoe Konfauo HS Kjracca, BBeaenHoro B/IOKOMC83.

<5 -zionycTHMtiM.

B [1 14^ TsflH noxaaan, ITO B W -aonycTHMoii anreSpe <# ZUIH nio-

6bix HAeanoB Jz5,i^,JZ>- anreSpbi <5^ MHOJKBCTBO [ 5 , <i^ , <^ j ckoBa

aBnnercH HaeanoM. CnenoBaxenfaHO, Ka>Kflaa VV -AonycTHMan 'anreSpa as-

naexcfl & -nonycxHMOH npH

TaKHM o6pa3OM, K^iacc 6 -nonycxHMbix Koneu coaep«HT KBK KJiacc

Koneu, BseneHHbiH BnoKOM, xaK H Knacc \ -aonycxHMbix ajrre6p.

flycTi. xenepb Oi - aonycxHMOe Konbuo, B KOXOPOM ana scaKoro

Hneajia J^ cymecxsyex uaean & , ynosnexBopaiomHii ( 41 ) . O6o3HaHHM

Qi nepea C%g , CX. nepea (X H, ecnn (X • yxe onpeneneHO, (CX.^}

nepea CL^

J1EMMA 6 . E c n w K O J I B U O ^ H M e e x K O H G H -

H o e H H C J I O o 6 p ' a a y K ) n i H x / t , , x o < | a n a n r o —

6 o r o i H C J i a m. c y m e c x s y e x r a . K o e H H -

c n o /^,m; , H T o ^/f/7'mje ^^ .

flOKASATE/lbCTBO. ByneM flOKaabisaTb, neMMy HHayKuHefi no /-TZ

Ha (41) cjieAyex, HXO -f(n,^ cymecxByex: -f(/T.,-/)=- 3 . riycxb ywe no-

Kaaano cymecxBOBaHHe xaKoro HH c n a •/{/?, /TZ — /^ , HXO

-ffn m - - f )

O6o3HaHHM qepea n HMC^O paanHHHbix HeaccouaaxHBHbix cnoe

or n CBoSoflHwx oSpaayiomHX. Oono>KHMj(n,m-t') .f(n,rn-t)

, A/ = S .

Page 25: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTOpbix KJiaccax HeKOMMyTaxHBHbix ftopgaHOBbix KQJieu 431

Bo3bM6M B KOJIfaue yMHO«6HHH ^ npOHSBGAeHHe VV H3 2M (A? +2) +

w = w, wr w^ .. . ^M+2 ,rae cl(\^0 ) > f[n,m-i) — / H cl(^J-J = %N ana {,=•/,2, .. ., M ±2.

Hanee, nycrb £ - MHO^CSCTBO oSpaayroiuHx Konfaua (% . ynopaao -

MHM MHO*eCTBO j£ npOH3BOJlbHbIM o6pa3OM. 3aT6M Ana l_

Kamnoe VV- npencraBHM B BHAB /iHHeHHOfi KOMSiiHauHii 3C -t

CJIOB //. :

U,- —

JKaK H npH noKaaarenfaCTBe

• i

eg (SC ,v i '

r (£}r,

2 N .

3, ncmynaeM, HTO nn6o

oSpasoM, W VvC. . . Wiy, 0 npeacTaB/iHexca cyMMofl CJIOB/ ^ MT^

v •

rfle - b i ^ m _ i ,

ConocxaBHM CJIOB/

,ua6op

(3necb/c- - HHCJIO oneparopos 7", H 7~/> ). K >/

.-£:•/ npa z/-< S . PaccMorpHM B y noacnoBo

FIpeo6pa3yeM ^ Ha ocHOBaumi aaMenaHHa K JIOMMB 2, ncmaraa

a3 = ^ras.K£.f ' = ^<£ • TaK KaKa:-7-/ - HneanTO U- npeACTaBJiae-rcH B BHAB nHHefmoH KOMSHHaumi cnoa

rae o £ OL _j ,

, HTO y = 5

roro >Ke cocraaa, HTO H i )

CHKorpa4>H4ecKoft

/ • Cae/ias B ^ cooTBercTByromyKi noacTa-

f/ ^ ' • rae ' ~ cjiosa xoro «e BHaa H

, HO AJISI Kawnoro z/ KCti')^ K.CV) B jieic-Z-

. ECJIH B KaKOM-nn6o K (z?fj cytuecTsyeT

Page 26: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

432 H.n.llJecTaKOB

K ' / > / , TO npoflo;i>KaeM npouecc. b cnny ero cxporoH MOHOTOHHOCTH naO

KBKOM-TO niare MW nonyHHM, HTO i) = £t OC • V • , rae V- - cjiosa TO -i t L

TO >Ke BHfla, HTO H 1} , HO fl.lH K8>KnOrO {, /<(V- ) HM66T BHfl

Huane rosopa, B Ka>i<aoM HS CJIOB il- Meway onepaTOpaMH / f H 7~0

HMeeTca He 6onee onnoro onepaTOpa / , rue /= •/ 2 , ...,A/.JC •/

B pesynbTaTe nonynaeM, HTO

w= w. rs w/ + aw/0,// t / yrne B W- axonHT XOTS 6bi OZIHO nonc^oso anna

a B W. nonc,ioB anna (51) HST, HO ecTfa noncnoBo

u = r r r, r ... r r r , (52)0 C, S, C2 **

Ho HHnyKTHBHOMy npennonoxeHHKj nns Jiio6oro

SnaiHT,

PaccMOTpHM Tenepfa CJIOBO yy • . OHO coaep»HT noncnoBO ttaf

(52). FIpH 3TOM MOWHO, OHeBHaHO, CHHTaTfa, HTO S' - npOH3Bea8HHe /72 •

SnGMGHTOB H3 & H A7Z • <f(n , /77— j) . TaK K8K B 3£ BCePO /Z 3JieMSH -

TOB, TO pasnHHHwx sneMeHTO'B s- Menfaiue, IBM M . SnaHHT, B (52) cpe-Z-

AH aneMeHTOB S^ , S^ , . , . , S , , „ ecTb, no KpafineH Mepe, naa TO*necTBeH-

HO. paBHbix aneMSHTa: £ t>=r^ ./ ^ 3>

flanee, B cnny aaMeiaHaa K neMMe 2 noncjioso T- T-. T~c paBHO nw.-S£-f Ci, •%

HeflHOfi KOMOHHauHH CJIOB BHfla

s Tc \- ' Ts r& Tc ' £•si ci ^ir-f s{ &i-< ci ci rs. Tc-si-f *i «

H

r&rc , TCT& , rc,c £ ^-/77_/ ; -S C^rn—i • Cnenas cooTBeTCTByromyio

B iZ^, i nonyiHM, HTO Ug npencTaBHTca B anne cyMMH cnos BHfla z/ :

Page 27: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTOpwx KJiaccax HeKOMMyTaTHBHblx fiopaaHOBbix Koneu 433

u, = Trr*.TcT<i'~rr TSTCTS Tc. • • •°r Sr C2 S2, °i-f Si Ci S^-f *+f

H cyMMbi apyrHx CJIOB, B KajKflOM us KOTOPWX ecTb noflcnoBa BHfla (51) .

SaaHHT, cnoBO u npeflcTaBHTca B BHfle cyMMbi CJIOB BHna, ti :

tt'-r T ...T T T ' T .../-C1 S, p P P P+i L*+2

H cyMMbi npymx cnoa, B Ka^noM us KOTOPWX ecTb noncnosa anna (51).

Ho no aaMenaHHK) K neMMe 2 noncnoso 7" / T paBHO jiHHeftHOH KOM -SP °P S/°6nnaunn CJIOB Buaa

rae CG-1 \ . CnefloaaTenbHo, U. paano jiHHeftHofi KOM-/7T — / " A /77— /

6HHaUHH CnOB, B Ka>KHOM H3 KOTOpblX SCTfa IIOUCJIOBO BHfla ( 5 1 ) .

TBKHM o6pa3OM, nonynaeM, HTO H Ka>Kfloe W. paBHO jmaeHHOH KOM-t-

6HH8UHH CJIOB, B Ka>KaOM H3 KOTOptlX SCTfa IIOflCJIOBO BHfla ( 5 1 ) . ToPfla,

y>Ke Sbijio noKasano, ana jiK>6oro QL 6 Ot CL W Y/. &• Of. . SHBIIIT, H

B0o6me ann nra6oro _ ,m

/lerKO nposepHTfa, HTO B KanecTBe •+ (n,rrC) nocxaTOiHO xenepb

HanoMHHM, HTO Konbuo Qi, HasbmaeTca paapeuiHMbiM, ecnn ana He

CK^ - O , rfle ^= OC , <%f ,;= CO^; -

TEOPEMA 5 . F l y c T f a C ^ - ( 5 - f l o n y c T H M o e

K o n b u o c K O H e H H b i M H H C J I O M o 6 p a s y

ra in H x H p a a p e i u H M o . T o n n a (% H H n b

n O T 8 H T H O .

flOKASATE/lbCTBO. Ms (41) HHayKUneft no £- nerKO noKaaaxi.,

HTO ana Ka*floro t (X.; S= 0t,-\ Tan KaK C% paspeujHMO, TO ana He£ 1 1^)KOTOporo HHCua m 0L,m-.— 0 , noaTOMy H fit •== O • Ho Toraa no

6 ()t =- O H KOJIfaUO CX HHnfanOTGHTHO.

TeopeMa noKaaaHa.

riycTb Tenepfa X - HeKOTOpoe MHorooSpaane 6 -aonycTHMbix

/leTKO BHflGTb, HTO kd TeOp6Mbl 5 BblTSKaeT

CJlEflCTBHE. H y c T b s o n b u o (%€^9C , & - n o a

K O J i b u o K o n b u a CK- H & j i O K a n f a H O p a a p e u i H M O .

T o r a a J ^ - n o K a n b H O H H n t n o T e H T H O .

J1EMMA 7 . r i y c T b C ^ - K O H e n a o n o p o s i a e H H o e

Page 28: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

434 Hn.lUecxaKOB

K O J i f a i i o H a M H o r o o 6 p a 3 H f l Jc. . T o r a a

ji ro 6 o r o i H c n a rrt K o n b u o (X, n- x a K >K e K o-

H e H H o n o p o ^ n e ' H o .

flOKASATEJlbCTBO. floKa>KeM, HTO££ =££ KOHBHHO

Flycxb 3C. - MHo«ecTBO- o6pa3yK>mnx icojibiia (X , HHCJIO sjieMGHTOB B CC

— n, . no jieMMe 6 cymecTByer raxoe HHCJIO 4- (ri, 2) , ^TO OC ' —

,L . «un.a™<=.vi, HXO iKCJio oSpasyroiuHx KOJibua ^(j) MeHbiiie, H6M^ C2)

K=1

rae p - HHCJIO pasJiHHHbix HeaccounaxHBHt x CJIOB AJIHHU /c or /z, CBO-

6onHbix oSpasyromnx. B CBMOM nejie, ecnn ajieivieHx CL MS CK. HMeex

HY OXHOCHXejIbHO MHOKBCXBa £C ^60 (d) ^ ~f(.n' 2) • TO> no leMMe 6

C ££ • . , x.e. pasen cyMMe sneMenxoB, KajKHbift us6 (.1) (.'/

Koxopbix ecTfa npOHSaeaeHHe He Menee HBM nayx sneMBHTOB us CK,, .3na-

HHT, B KaiecTBe o6pa3yK>iuHx Konbaa CX-r^ MOJKHO Bsaxb neKoropoe MHOsce-

CXBO CJIOB OX £C , flJIHHa KOXOpblX OTHOCHXeJIfaHO ^C MeHfaUie, *l&tJl-f(n,2).

HO T3KHX CJIOB MeHfaUie, H6M M •

floxasaxenbcxBo jieMMbi saBepmaexcs oieaHnHOH HHnyKUHefl no rrv .

/1EMMA 8 . F l y c T f a ^ K - K O J I B U O H S M H o r o o 6 -

p a 3 H a $£ ,j7 - n o K a j i b H O p a s p e i i i H M b i H H n e -— - /T^ /

a n K O J i f a u a (%. H ( J j a K T o p - K O J i t u o ( X = /J

j i O K a J i f a H O p a s p e n i H M O . T o r n a K o n b u o C/l

j i O K a n f a H O p a s p e u i H M O .

flOKASATE/IbCTBO. BosbMGM B Kontue $, noflKonbuo £ , nopos; -

AGHHOe KOH8HHbIM HHCJ1OM SneMeHXOB. B (J'aKTOP-KO-'U'US & O6p83 nOflKOJlfa-

ua ,£ - nonKOrtbiio £ HMee* KOHenHoe incno o6pa3yroranx n noaroMy

paspeuiHMO. riycxb (fC'\ O • Toraa B KOJibue (%- «^f/j) " •*?>'£' to) no

JieMwe 7 HMeex KOHe^Hoe HHCJIO o6pa3yiomHx H noaxoMy paspeuiHMO, xo

ecxfa (.£ j ==a^r ± i== ^ • CneflOBaxejibHO, Konbuo -£ paspeuiHMO.Cj&) (X) {p+K)

TeM C8MWM, B CHJiy npOHSBOJlbHOCXH KOJIbUa JJ , AOKB3aHa

paspeuiHMOCTb Koiibua Qf.

Tenept oSwiabiM oSpaaoM (CM. , nanpHMep, CO )

nPE/UlC»KEHHE 3 . O y c x f a ' C ^ - n e K O X o p o e K o n b -

u o H 3 M H o r o o S p a s i i a X . T o r a a c y M M a

B c e x j i O K a n b H o p a s p e u i H M b i x H f l e a j i o s

K o n L. u a Qi, S y n e r J i O K a n f a H O p a a p e u i H ~

Page 29: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O neKotopbix KJiaccax HeKOMMyxaTHBHbix ftopnaaoBbix Koneii 435

M W M H a e a n o M .

OnPEflE-TIEHME 12. /loKanbHO HHJibnoxeHXHbift Hasan aC^ nonycxHMO-

TO KOJIfalia Qi H33OB6M JIOKajlfaHO HH.TWIOXeHXHblM paflHKajIOM,' eCJIH OH CO-

flepwHT Bee flBycxopoHHHe jioKam>Ho HH/ibnoxeHxHbie nnea/ibi Kojibiia (%. H_ x*l/ /

4>aKTOp-KonfauO OL =• /£ He coaep>KHT co6cTB6HHbix flByCropoHHMx noKanb-

HO HHnbnoreHTribix uaeanoa.

TEOPEMA 6 . r i y c T b £ £ - K o j i f a u o H 3 M H - O T O -

o 6 p a 3 H a & . T o r a a B (% c y m e c T B ' y e r n o -

K a n f a H O H H r t f a n o x e H T H b i H p a n H K a n ^•

floxasarenbCTBO c^enyer H3 npennoweHHa 3, cneacrBHH reopeMbi 5 H

JieMMbI 8.

C^EflGTBHE. n y c T b C ^ - H e K o r o p o e K o / i b u o

H 3 M H o r o p S p a s H f l x o n e u , B B e a e H H o r o

B n o K O M , n H 6 o £/£ - \ ^ - f l o n y c T H M a a a n -

r e 6 p a (He o6aaaTejibHO KOHeHHOMepnaa). T o r A a B Ot

c y m e c T B y e r n o x a J i b H O H H j i b n o T e H T H b i f t

p a n H K a Ji ,£ .

3AME4AHHE. FIpHMepoM MHorooSpaaaa Q -flonycrHMbix Koneu, OT-

jiHHHoro OT MHoroo6pa3Hft, BBeaeHHbix BJIOKOM H Tsnn, HB.TaercH, HanpHMep,

MnorooSpasHG nonycTHMbix Koneu, yaoBneTBopaiomnx ro«aecTBy (10) n on-

H3 cjienyromHx nsyx

KOTOpbie BBHay (2) SKBHBaneHrHbi. B KanecxBe cooTaexcTByromero no/iHHo-

Ma <$ (oc.7,3:,TjC,,ci)aiix xoneu HS sxoro MHorooSpaaHa MOWHO ssaxfa nonHHOM

i5 us npennoiKeHHS 2. floKaaaxe/ibcxao ocraexca npe>KHHM.

§ 4. FloHXH anbxepnaTHBHbie KOJibua

OnPEjUE/lEHHE 13. Kontuo MW 6yneM HasbiaaTb noixn antxep-

HaXHBHblM ( n . a . K O n b U O M ) , 9CJIH B OC BbinOJIHeHbl TOJKfleCXBa :

,jr;=^7, (7)

l,*,z) = o. do)

flcHo, HXO BCHKoe n.a. Konbuo aanaexca aonycxuMWM KO/ibnoM. Cjie-

Page 30: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

436 M.n.lUecTaKOB

B K.aacce n.a. Koneu cnpaBeiuiHBbi pesy/ibTBTW,

ana aonycTHMtix Koneu. 3aM6THM eme, HTO BCflKoe KOJibiio H3 KJiac -

ca, BseaeHHoro BJIOKOM, mnnercn n.a. KO/ibiiOM.

PeaynbraTbi § 3, sooSme roBopa, He npHMeHHMbi K MHOroo6pa3HK>

n.a. Ko.ieu, TaK KBK H6M3BecTHo, n&naeTca nn BCHKOB n.a. Konbuo c5 -no-

i. TOM we MOHee B K/iacce n.a. KOJTSU cnpasennHBa reopeMa o

noaanbtip nn , ibnoTeHTnoro paaHKana, HTO SyaeT HaMH no-

KasaHO B 3TOM naparpaijje.

BH,n«a.Te aoKaweM cneayromee yTBepjKneHHe:

/IEAAMA 9. n y c T b Ci - K o H e % H o n o p o j K a - e H H o eft?

n.a. K o n b i j o . T o r a a i i o p A a H O B O K o n b u o (X.

T a K w e K c H e H H o n o p o > K n e H o .

flOKASATE/IbCTBO. Hycrb J - <£> -noflMOflyJifa '

nOpO>KfleHHblH KBaapaT3MH 3.TeM6HTOB H3 Oi . B CKHy CneflCTBHH

J - Hfleajl KOjlfaUa OC . PaCCMOTpHM aHTHKOMMyT3THBHOe KO^bHO $~ =1

nt/ ^-v —= H • TaK K3K B C/C BbinonneHO TO»aecTBO ( 1 0 ) , B Oi BbinonHeno'Jl

TO>KfleCTBO

=•0 .

c^eayer, HTO OC - anbTepHaTHBHoe Konbuo. OnnaKO, KHK nemo

npOBepHTb, BCHKO6 aHTHKOMMyTaTHBHOe anbTepHBTHBHOe KO^bUO HH/IbnOT6HT-

HO HHneKca 4. CjienoBarejibno, (p[, J — O , TO ecTb OL

3aM6THM Tenepb. HTO

_ ^rae JT. - nopo^aaromne nonbua C%, . IlycTb <£ =$. o£—0

<£•, — oC • "H / j c . i=--f,2 , . . . , n. — -/ . B cHny TeopeMbi 2 KOJIWIOv~ri 1, z."i"/

e£ HH.ibnoTeHTHO. SaMBTKM xenepb, MTO . ecTb Hflean &<£•. , OT-? i i'~i~7

Kyna B cn.iy Teopeviiji 2 no.iyHae.M no H H Z I V K U H H , HTO see wT". HHJibnoreHT -_ " v

Hbi, TO ecTb n Konbuo £/£ = pCrl_, Hn.ibnoTeHTHo. CjieaoBaxejib.Ho, cymecr-

ByeT raKoe HHcno yv" , HTO CX. — • SaMeTiiM Tenepb, HTO J = (0t )

KaK MHo>KecTBa. SHa^HT, (ft. ^= ((yf ^ . OTcroaa, oieBHflHO, cneflyeT,

HTO B KanecTBe o6pa3yrouiHx Ko/ibua Ct MOJKHO asarb MHO»tecTBO CJTOB

OT o5pa3yiomnx KOJibua Ot . B cmiy KOHeiHoft nopowaeH-

HOCTH KO.Tblia OL 9TO MHOK6CTBO K O H 8 H H O .

JleMMa noKaaaHa.

C/1EACTBHE. n y c T b (JC - K O H e i H o n o p o > K a e H -

Page 31: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HOKOTOpiix xnaccax HexoMMyTaTHBHbix ftopgaHOBbix Koneu 437

H o e n.a. x o n b u o H *, - H n e a n x o n b u a ,&

p a c c M O T p e H H b i f t n p n a o x a a a T e n b C T B e

n e M M bi. T o r a a J^ T a K > K e a a n a e T c a x o -

H e H H o n o p o w a e H H b i M K o n t> u o M.

flOKASATEJlbCTBO. B pa6ore £HH noxaaaHo, HTO OCJIH ftopnaHOBo

xonbuo CX, XOH6HHO nopoxcneHo, TO n Konbuo Cft, KOHOHHO nopoxmeHo.

peaynbTaT cnenyeT H HS neMMbi 7). B cany neMMbi 9 flopnaHOBO

Konfauo (%• KOHBIHO nopowaeso. CneaoBarenbHO, Ut= (£% /

nopo>KneHHbiM noaiconbuoM Konbiia C^L . SHanur, J,

n OTHOCHTenbHO onepauHH yMHO>KeHnn B Konbue &t ,

CjieacTBtie noKasano.

TEOPEMA 7. n y c T b Ct - K O H e n H o n o p o > K a a H -

H o e n.a. K O J i b u o . T o r a a e c n a (X, p a a p e

U I H M O , T O Ct H H J I b n O T e ' H T - H O .

flOKA3ATE/IbCTBO. ByneM AOKaawBaTb TeopeMy tmayKUJneft no HH-

neKcy paspeiuHMOCTH m. Konbua (%> . EcnH rn=-1 , TO C%- =• O ]&(%.

HHnbnoTeHTHO. FlycTb ywe aoKasaua HHJibnoTeHTHocTb KOHBIHO nopowaeH -

Hbix n.a. Koneu, paspeiiiHMbix HHnesca Ki •cm , PaccMorpHM KoaeiHo nopo-

n.a. xonbuo CK , paspeuiHMoe HHa.en.ca/rt. MMSSM ff

OTKyaa J2 paapeuiEMO HHaexca zf*/77— / . B cany cnencTBaa neMMbi 9

$2, KOHOHHO nopoxcaeHO H no npeanono>KeHHio HHayxuHH HHnbnoTeHTHO.

CnenoaaTejibHO, ^ aanfleTCfl KOHBIHO nopox<aeHHbiM Monyn«M aaa

UOM onepaxopoB 9^ . HanoMHHM renepb, HTO npH aoKasaTenbCTBe

9 6buio noKaaaHo, HTO xonbuo & =• ^/Cf. HHnbnoTeHTHO. Tax KBK— -

xoneHHO nopoxcaeuHoe xonbuo, TO B cany HHnbnoTeHTHpcTH C%-

CH KOHeHHO nopoxaeHHbiM & -MoayneM. TaxHM oSpaaoM, 1$ H/ 2t

K3TCH KOH6HHO nOpO>KaeKHbIMH TT -MOflynSMH, OTKyaa H C?L HBnaeTCH

HeHHO nopo*aeHHWM CP -MonyneM. Tax KBK (% - Hwib-Konbuo, TO B

cHny cneacTBHa TeopeMbi 3 (nn6o B cnny TeopeMbi 4) 0C HHnsnoTeHTHo.

TeopeMa noxasaHa.

/1EMMA 1 0 . r i y c T b £ £ - n . a . x o n b u o , <£- - H a e a n

x o n b n a C ^ . T o r a a e c n n /£. H ^ 5 n o x a n b H o

H H H b n o T e H T H b i , T O H (%. n o x a n b H O H H n b -

n o T e H T H O .

AOKASATE/IbCTBO. BoabMOM B xonbue & nonicojibuo eC , no-

poxcaeHHoe xoHenHbiM HHCXHOM sneMeHTos. B iJiaKTOp-Konbue^r™' /•£- 06-

paa noaxonbua *C -nonxonbuo e^ KOHeiao nopOKaeno H nosxoMy HHnbno -

Page 32: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

aodoxBHnoooe

oaxoatfwox onem/cima ^7 a HXOOHBHXBXAJNWOXHX

-HB KUHO a OXH 'pjHxsweg 'OHXHaxoiVHTHH ^7 oxh 'WSJKBXOIJ '(aoHHeuafod

-ou OHhaHox. OHqifeiBEBgo SH) (01) Xaxoenxox eamcHBdoaxeiraoirX 'oniirox

soHHHxexAViiMoiiJHXHB - ;}£> •'daiiax IXOA'IJ M

eoxpx aoHBOa (3) XITHO a oxh 'xiqadeii-oa 'WHxewee '

(ei) ^

Xaxoatrwox xntnoiBdoaxairaotrX *nei:ox

XHaoHBtrdoff XFraaHXBxKwwoxaH 8needgoojOHW 'devNudueH 'BOxeHirais 'nei/os

•B'li BHBBdgooaoHW xo oaomiHL'xo 'BHeedgooaoHW OJOXBX wodawHdjj

•H>NHH»edu BOXCHBXOO BaioqifaxBeBxoH aog •onxHaxomirHH ^/7/}0=^?

.on«iiros-doxxBq) BHeedgooaonw oaox€ BH -^ emuos oaoHHau>Kodoii oHhanox

OJOXBOS Biftr oxh 'WOXFX 'nai:oH XNWHXOXUOD HHeedgoojoHW wogoiif a HW

H L wivadoax oxt '»MHX8WB£ 'HHHVH3WVE

x a j C a x o a t n X o Jfi a B E J O X ' o n q i f

e o H ^ u o a e H o d u - T ^ q x o X j j '8 VWHdOSX

ixiqg xawow 'g ewedoex H XBX 'ew ^BX OHhbx ideuej,

Bnqirox qxooHiHaxomuHH BBH^irexoir BHBeBxorr ' 90 BH«JI/OX

XITHO a 'INWJMBO wax 'OHXHaxoiiiiraH ^° OHHITOX H *oxh 'wa

, wwadoax aaxoii/exBeBxotr Hdu H XBX 'aw XBX OHI>OX qdaiiax 'OH

-xHaxoii<?ifHH ^£ onqirox oxh 'xaXuaifo BDCHOXO HHiisXtriiH dHHawoirouwedn oy

— ^BOxaDHH oHXHexouqi/HH y^ onqirox ox ' J° 3 XBX XBX

wwHHatrwodou OHhaHox BOxasifaB ^ Q .Nwwai; BHaxonauo

g '(nJ°) s= (3°) &—/j <JJL0^LI ' 'Lz/ BoxatTHH OHXHexoiiiifHH y BDJOX

BOX3HHH OHXH3XOII

7" Hi/oe oxh 'OHBeexotJ ewX «?xoX]j 'OHXHaxoini/HH ^7" H ^f ^

ox' /.-=iJJ Hifog • ^^7° Bn«iifox zt/ nxooHXHaxouqi/HH XoxatrnH 011-HH NHHeWHdLI 'OHXHeXOIiqUHH OnilTOX H OXh 'aXBGBSOlI OHWjCH

Page 33: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTppbix KJiaccax HeKOMMyraTHSHMx ftopaaHOBbix Koneu 438

_ £/B CH/iy (53) C/CK. =-0 H y - Hflean KOJibua OC . <l>aKTOp-Konbuo (%,=. /J

^, OTKyaa B cmiy aHTHKOMMyraTHBHocTH OC •=• 0 . Cjieaoaa-j . ^ 7

, (% ^ 0 H CK (%=• 0 , orkyna (X = 0 , TO ecrfa (X. . HHnbnoreHT-

ho.

Hxax, B MHOroo6pa3H« HeKOMMyTaTHBHbix fiopaaHOBbix Koneu, yno -

BJieTBOpaiomHx xo>KnecTBy (13), cnpaseanHBbi reopeMbi, aHanorHHHbie re-

opeMaM 7 H 8.

§ 5. KoHSHHOMepHbie IIOHTH anbrepHaTHBHbie anreSpu

Ha xeopeMH 4 cJieoyeT, ITO B Ka>Kflofl KOHeiHOMepuoft aonycTHMofl

anre6pe OL cyiuecTByer panmca/i C/C (MaKCHManfaHwfi HHJifa-Hflean), KO-

ropbifi KHJibnoTeHxeH. Mbi 6yaeM roBopHTb, HTO ajire6pa OL nonynpocfa,

ecna fft=0 . Toraa. (JiaKTOp-anreSpa (%• = /7t nonynpocra HJIH Kaw -

aoft KOHeiHOMepHofl nonycTHMOfl anreSpw C/C

B STOM naparpatjie Mbi npOKJiacc«t>HmipyeM nonynpocTwe KOHeiHOMep-

Hbie n.a. anreSpu.

3aM6THM, HTO BCHKaS KOH8HHOMepHaH ajire6pa C aCCOUHaTHBHblMH CT6-

neHHMH,, se aanaioinaflCH HHnb-anreSpoft, conepjKHT HneMnoreHT. AoicaweM

renepi. cneoyiomee yTBepwaeHHe:

TEOPEMA 9. n y c T b. £K - K O H e H H O M e p H a a n.a.

a n r e 6 p a c H n e M n o T e H T O M B . T o r a a (X.

H M e e T c / i e f l y H D i n e e n H p c o a c x o e p a a n o -

>K e H H e

ex. = <x, + oc10 + a±j_ + <%0

r a e

= c e=-. =sc=- =O

ripoH3B9aeHHH aneMeHTOB H3 paaHbix KOMnoHeHT saaaHbi cnenyromefl

Page 34: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

440

<**<

<*< <**

<*'10*

*t

«*/

0 0

&, ®>,0

<Z.n 01., / . (85)

o o #01

KpOMe roro,

'*!', (58)

H eaiM Oi/(J=CKol=0 , TO

jey =* yjC ZUIH n.Kf>voiX,y K3 &/£ > (S7)J v . "* a %

AOKASATEJlbCTBO. Tax Kax £# - HexoMMyTaTHBHaa fiopaaHoaa

onreSpa, MBI HMeeM no Cl OnHpcoBcxoe paano*eHHe

/ f- ^

HneMnoreHTa ^ , rne

Ct / = j ^ce C^* ' *•

5f H OJf^ - opToroHanbHHie nonanreSpw (X.. H

. t < }J" TT

, H3 TOKaecraa ( 15)

(88)

B cnny (18) H .('17) nonyiaeM

<? ff -\ V"^J-y

,i +£,,*= O.

npa y=C cjieayeT

2 R.- 0. (39)

Page 35: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HenOTOpwx xjiaccax HeicoMMyTaTHBHbix flopaaHOBbix KO/ieu 441

Tenepfa, HTO

a < =a/0&

OycTb jCGiCK^ • TornaZ

jc = (e^c —2ejce) + 4 exe 4- (xe —

/lerKO nposepHTfa, Hcnonbays (59), HTO

/ /. , see - j e (%ot ,

TO ecTb (80) BepHO, OTKyaa cnenyex (54). HCHO, HTO B (60) H (54) cyM-

MW npflMwe (xax cyMMbi BeKTOpHbix npocTpaHCTB) .

SaMeTRM Tenepfa, MTO H3 TOTO, HTO (%, f H CXO - opToronanfaHbie noa-

anreBpbi anreSpw Of. , cnenyer cnpaBenjiHsocrb BKJuoHeHuft Ha nepeceie-

HHH KpaftHHX 'CTpOK H CTOn6lIOB Ta6jlHUbI (55).

sc. £ (%• , V . . €. OC. . , /'= O / • B cnny ( 1 7)J J Jl-J LJ J

Orciofla np« I j ^ J HM^GM x , jj . = Q . AHajiorHHHo U-.3C- = O , TO

ecTi,

&f&ff=a£;(Xj =0 npH i^Lj . (61)j ij ij i j

Tenepi. BBHny (61)

TO

TOHHO Tax «e X£-%y 6 & /f • TO eCTfa

a£ a e a£ , a. a£ sTenepfa ^C. £ CJT. ,Z^-Of-ii_- Ma (10)./ y rr •

K.aanee HS (7 )

Cx.z,e,e)

Page 36: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

442

B cmiy (58) JC-SSeC^f , TO ecTfa JC,Z=V + u.' . + U1 f. 1 fO 4-1. 0- i f , T O eci-fa ,=

J T J 10 J

, ,J z i

CjieflOBaTejH.no,

(3C.°e,e,z) 4- (e°z;e, ^-) = (2j-')(x., e,z) - j(2j-

Tax xaK* 7=0,/ , TO (2j—i} = / , oTKyaa

H B CHny CBOftCTB npSMOft CyMMW O ='&0/ = O , TO eCTfa ^ . / £

Ha ajiacTHiHocTH (z,e,JC')=-(3:.ie,Z'). HJIH £•.£•.= ^T-^ . oxxyna .

flanee, HS (10) H (7 ) BHOBB nonyiaeM

Ca: tyy«^.«Hc^«c.^y^)+^««,^* ;=B cnny ( 1 )

J J 2, 2TO

FlycTfa -i-i . Torna HS (10 )

P~\ r/ ? 4- IT-K £~l 71 f)=ntf » 1 ' J K.P ^ "^ i J r^- l j 7 1C? ) '

HAH

• TorAa

OTicyna

no anacTHHHocTH nonynaeM

Page 37: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O HeKOTopbix Knaccax HteKOMMyTaTHBHux ftopgaHOBUx xojieii 443

f

Ma (65) H (66) cjieayer

renepfa J 5 e C t / / , £ « . . e C f c . . . B CHJIV (64)Ti 1J V

Ma (1 ) HweeM (zCj.Z,e)=— ^,^,0:^.

at-- a/0 + a0, - a0 - ^ +

TO eCTb (X- —*$; , &-. = —&... 3H8HHT,I I ij VJ

-a,- ctm-

na ( 1 ) BHOBB ,.. ^ f = — t , - •i/

)= (i~ J

TO ecTb npH ^j nonynaeM Ctj—CC0 = O •

fZ <X£/ + .Ctj.. ,

H.TH BBHOy (65) H (66)

ot, , &t0ivi0£a,D , <*„ KIO^ oc0. (67)

ff CX,, , = a, , (X.. e &,.. . (68)V TI ri 1J J*-CooTHOmeHHa (61) - (64) H (67), (68) aosaabiBaioT

Bcex BKnroieHHfl B ra6nHue 55, KpOMe BKnioqeHHfl na nepeceneHHK efi xpaft-

HHX cTpoK H cTon6uoa, cnpaBeanHBOCTb KOTOpwx 6bina ycxaHOBneHa panee.

TaKHM o6paaoM, see BKnroHeHHH B (55) aoicaaaHbi.

flanee, HMeeM B CHJiy (1 )

i/f-1OTKyna np« /f-1 nonynaeM

*ij ° % =

KTO noKaauBaeT (56).

renepb OC— <% — O ,X,<^(,L . MMOGM us (68)

<ITO noKasbiBaer (57).

Page 38: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

444 H.n.IIIecTaKOB

TeopeMa

/IEMMA 11. n y c T fa £# - K O H e H H O M e p H a a n. a.

a ; i r e 6 p a c H f l e M n o r e H T O M ^ . T o r a a

M H O W e C T B O

e c T b H n e a n a ji r e 6 p ti C%,

AOKASATE/lbCTBO. floKa>KeM, HTO J - neBbifl naean B C%- . B

cnjiy (55) aocTaroHHO noKaaarfa, HTO ££. ((%• •(%.. )^17 uCt, / (r)f $t< y ji< • tz( yHM66M H3 (1) H (55) J "

OTKyaa

^ . (CX-i • CX'i; ) —

flanee, nycrb Z dOLii . Tax KBK O->= —\&,O-;~\ HMeeM H3 (l(r )Tz Jv u /s

{/?, <2,y ,-&'•) + C& • «*, °fi ^ —0,

HrtH BBHZly (55)

"3 "ft -*f **:

Orciona B CHny csoftcTB npHMOft cyMMW HMeeM Z (Q.^•. "Oj^J — O , TO

HraK, !J - jiesbifi Hnean anre6pw (% . AuanorHHHO MOJKHO noKa -

aarb, HTO y - npaBbifi Hnean.

aoKasana.

TEOPEMA 10 •. n y c T fa 0L - n p o c T a a K o H e H -.

H O M e p H a n n . a . a n r e 6 p a H a n n . o n e M

T o r a a (% n n 6 o a j i f a x e p a a T H B H a , n n 6 o

S o p a a n o B a .

AOKA3ATE/1BCTBO. C% - npocxaa

aHOHCHpoBaH EnoKOM B C 8H .

Page 39: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

f ' "3 = /i ' ?/^ — -y wen a BBJBITOU '(02.) oa

-xoetrwoj. OHamrouiqa vf a BDJOJ, ' £7^ 'V'-p'Y qxo^ll 'BOHesg oJOHhHdxBW

oaoHtiqgo en ^7g ' /2^' ' raxneweue ixoe ^T a oxh XBX ' £7 £: 2/

•wHHSwoifoiffledii XHhedoanxodii oxh 'BHaHXBxAwwox /Y) H

f —^ Oi ' ^ =r 7/ HITOg ' / -g 7/ HH8U9XO ^ tTBH BdgeJIfB BBH

BBHWOU qxoe ^° 'oiXHHwee HSoehHBdgsaue y1 XBX

oaxoetrwox-oHeHiroiiwa -ft edgeji/B a ogmr ' ff = Y —„ T °9HU' i^os ox

r./f-/f -^). 2^ - ^--3- -(of •> -fi-

we

- BhjCl/OU (01 ) BH 'BHaHXBHUOOOB 7 eBhvClfO WOX6 a OXh 'W8>KBXOIJ

BOxeBiraB SH "ffl oxh

'«?dsuax wHwoirouwedij 'oaeheH ^xBaiqeBxoi? ox 'BaoHBBdo^j - -j

•(aoxHaxoiiwatTH XKH^ITBH o aoxdo OHwneea oirouii eoHiirewHOSB

^ weirou jMiqxXHHwee HxoahHBdgsai/B I/BH ^7 wdgsJtiw oiiHeuexo

•g HITH i HHeuexo Bdgeai/B - ^7 (a)

; ' ^C en _£

oxh 'BBHBX ' ^ UBH - " BdgaauB BBHanxBHhoooB BBHiiredxHan BBX

-oodii xeXaxoemXo qxoe ox 'Bdgajire BBHaHXBnnoooBHeBax - -jfl (9)

ledgejire BaoHBUdog - ffl (B)

:aotrna xmnoi/Ctrauo en HHUD xaaura ^ Q { J dgajire xraa

-oHBUdoy XHHaHXBXjCiNiMOHaH xiqxoodu xnHiifBdxHan HHiiBXHiJmooBi/j! yoaxoea

-en oil ox 'BdgaaifB BaoHBtrdog BBHaHXBxXwi^ioxeH - -^J srex XBX ' fi HFH

-B'u BBHdewonheHOX BBH^uedxHan BBXoodii - -7^7 H oiXHXWBe HX

7^0x11 '«?iBXHho BUBHBH OJOWBD o warrXg iqw oaoxe XKHO

g 'BaoHBtrdog HI/H BHaHXBHdexiuB X7 oah 'sxaeexou OHHOXEXOOIT OXH

'cxoodu H BH^i/BdxHan eaoHO '%} & TG^JO BclgajUB OXH 'OHXDaaeH om

- odox ' •jfl iqdgaaifB rr Bdxnen eHHBxwwBe aoxoehnedgaai/B -

BBXoodii' BBH^iredxHen - -T/J oxh '«?xBXHfco OH>KOW 'wodxHan UBH tA

XBX j/) BBandxBiMooBj 'auoii - ^7 wdgajire dxnan H^BnuHHtia ixoa

70 a Cl O ou 'oHqirexBaotreifQ 'Bodgaaire-«iUHH BOBBmoiBi/aB OH '

nairox xiqaoHBfldotf XHHHHXBiXwwoxaH XBOOBUX xndoxoxaH

Page 40: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

446

~€f£ — O - npoxHBOpeHKe. SHBHHT, B anre6pe j#- xo>«jecTBO (70) He* , ' »

'X, — A = O , TO ecTt, n«6o \,-=. (J , n»5o A.= / . B

o6oHx cnynaax anreSpa £K ^j

PaccMorpHM xenepb cnynaft (B) .

riycTb (%, - anreSpa cxeneHii 1, TO ecxb B 06- Her naeMnoxeH -

TOB, KpOMe enHHHnbi 1. Torna MOJKHO noKaaaxb, HXO ana BCHKOPO 3C Ha

Ct- JC=of'/+ n, , rae oC. €. ^ , fl. HHjifanoreHTeH (CM. COl) .

TaK KaK anre6pa £/£. npocra, HHnbnoreHTHbie aneMeHTu He o6paayioT

Hneana, a cneaoBaTenfaHo, n noaanre6pbi. SHBHHT, naSo G%>= &• , nnSo

(%, — Kon.an.bnaa anre6pa. (HanoMHHM, HTO anre6pa CX* c accoimaTHB-

HUMH cxenenaMH H c eaHKHiieft 1 HasbiBaerca HonanbHoft, ecnH Kawawfi

anre6pw OC, HMeer BHa of- / + ft, , rae oC ۥ & n /z- Hnnt>-

, B TO BpeMfl K3K caMa anre6pa (%. He npencraBHMa B BHae

¥' •/ -h 7J i r>ne 7C - HHJH»-noflanre6pa anre6pbi (%• ) . Ma peaynbxa-

TOB pa6oTbi C14H cnenyer, HTO He cymecTByex HoaanfaHbix nonycTHMbix

anre6p. CfteflOBaxenfaHO, (?t—y H C%- accouHaxHBHa.

FlycTfa, Haxoueu, (%, - anre6pa cxeneHH 2. B CHJiy[^ 9j CJC - Kaaa-

pafHHHaH-anre6pa. IlycTfa •/ =. g, -^ £ t rfle 6,f. - npHMHTHBHbie opTO -

HneMnoreHxti. HMeeM ana Bcaxoro j£. Ha (%,

=O> rfle

Tax KSK /^ C%f(e} , TOjUfa, LtJ^O AJia BCBKOFO ZZ H3 C%.rC&) n

y • Oxcrofla nerKO cneayex B cany nKHe&HocrH A i HTO ana

tt- »s C^iC&) K-=-2A-(u)e , TO ecTb Ct ,(€•) — &€. . Ana-

nonynaeM (%,.(e.) = :£•*. , TO ecxfa

xenepb J= i^ifo"r £^/f/~ l^fo O/ or^/o ~ Hnea4 nocxpoen -

B neMMe 11. B CHJiy npocxom OC nn6o Cf=-Clt , n«6o tf=0 , xo

ecTb nn6o (% , , (g) = Q , nH6o OCm=- ffcn, =• O . SaMexHM xenepb, HTOit

POM C

a, HTOfs*\

"tt(

Tanepb BCHKH* aneMeHT JC. na C%, MO>KHO aanacaxb B

BO BTOPOM cnynae Ct =• £& + &J.L C^ +j 'H B cany (57)

raxHBHa, HTO npoxHBOpenHx same My npennonoMceHHio.

s O , TO

Page 41: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

O ueKOTOpux unaccax HeieoMMyTaTHBHux ftopflanoBUx Koneu 447

, at,/) e g ## € &~ . (71)

noicS*ceM, HTO B C% BbinojiiieHO roxcaecrBO (8), roraa B cwiy

CX, anbxepHaTHBHa. HMeeM &.. =I[<?, yj » oxKyna B

(10)

( O f i , £-,x) = O ana acex X H3 £fc ,

, ana aoxasarenbCTBa (8) nocTaToiHO B CHny (71)

, ITO

{e,3c,xj = O. (72)•

H3 SJiaCTKHHOCTH

Tenepb (e^a^j ,0^-0 B CHny (55) , a B cwiy (56) H . ^ . ^ - .

CnenoBarejibHo, (72) sepHO H Ci

TeopeMa

Ha TeopeMbi 10 H pesynbTaToa pa6oTbi Cl OHenocpencTBenHO

Kaer

TEOPEMA 11. B c a K a a n o n y n p o c T a a K O H 0 H ' -

H O M e p n a f l n . a . a n r e S p a €%• e c T b n p a -

M a s c y M M a n p o c T b i x a n b x e p H a T H B H b i x .

n i i o p a a H O B b i x a n r e 6 p.

B samnoieHHe aarop Bbipawaer f>ny6oKyio SnaroaapHocrb K.A.JKesna-

KOBy sa nocTQHHHoe BHHMaHHe K pa6ore H pan iieHHbix

T l H T e p a T y p a

1. K.A.JKEB/IAKOB, PaapeuiHMocrfa H HmibnoTeHTHOCTi.Koneu, AnreSpa H norHKa, 5, N> 3 (1986), 37-58.

2. E.H.KySbMHH, O6 aHTHKOMMyTaTHBHwx anre6pax, yaoaneTBOpaio-max ycnoBHio Snrejia, CH6.MaT.jKypHan, 8, Nfe 5 (1967), 1026-1034.

3. A.H.llIHPIilOB, O HeKOTopwx HeaccounaTHBHbix xonsuax H anre6pa-HiecKHx anre6pax, Max. c6., 41, N? 3 (1957), 381-384.

4. H.n.llIECTAKOB, KoHeiHOMepHwe anre6pw c Hmib-6a3HCOM, Anre6-pa H jiorraca, 10, N? 1 (1971); 87-99.

Page 42: O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX H.n ...math.nsc.ru/~alglog/01-10/10/10N4-6.pdf2010/10/10  · Anre6pa H norHKa, 10, N 4(1971),407-448. 519.48 O HEKOTOPblX K/IACCAX HEKOMMYTATHBHhlX

448

5. A.A.ALBERT, A structure theory for Jordan algebras, Ann.of Hath.,48,5*6-567 (19*7).

6. A.A.ALBERT, Power-associatiYe rings, Trans. Ainer.Math. Soc.,6*(19*8).552-593 .

7. R.S. BLOCK, Determination of A™ for sinple flexible al -gebraa, Proc.lat.Aead.Sol.USA.,61(1968),39*-397.

8. R.B.BLOCK, A unifioation of the theories of Jordan andalternatiTe algebras, lot.of the Aner.Math.Soc.16,V5(1969),803.

9. H.BRAU1,M.KOBCHEB, Jordan-Algebren. Berlin-Heidelberg -lew Torks Springer,1966.

10.B.KLBIBTELD, Standard and accessible rings. Canadian J.•ath. ,8 (1956).335-3*0.

11.K.MCCRIBX01, Structure and representation of non-cosiiuta-tlre Jordan algebras. Trans.Aaer.Math.Soe. ,121 (1966) ,187-199.

12.R.D.SCHAFK8, Standard algebras, Pacific J.Matb..29,11,203-223 (1969).

13.B.D.SCHAFBR, Generalised Standard algebras,J.of Algebra ,12 (1969), 386-417.

14.A.THBDT, Zwa Wedderbumisolien Zerlegangssats,Math.Z. ,113(1970),173-195.

21 anpena 1971 r.