Codes Z_2^k-linéaires

Texte intégral

(1)INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Codes Z2k -linéaires Fabien Galand. N° 5073 Janvier 2004. ISSN 0249-6399. ISRN INRIA/RR--5073--FR. THÈME 2. apport de recherche.

(2)

(3) . Z2k

(4)

(5) . . !#"#$ %'&)(+*-,.0/2143+5)67,98;:=<6;>?67,+8 ,?@A>?BC8D> E 8GFIHJ*0K#:=8;6DLE , MONP:CQR,?@4ST4UAVXW YABCZ)Z#:=N[@]\^,9N[,_>`&),?N`>`&),a5#bOcCdfeCgh/2ifBC5JjJ67,+N.=d=d=k9/2l=k-ZBC<=,_F ∗. monJp+qsrtnvu wAZ)N[(_FxE 5),yZ N[3_FI,+5@`Bz@P67:59<=3?5 3?N`BC8;,\^,+F>?:J\),+F 8;675)3_BC6;N[,_F?|_5):E F}\):=5)5):5 F}8;B~\^6;FI@PB=5 > , *v6;5)6;*vB=87,\^,_FX>?:^\^,+FX\^,,?N`\^:^>`-<3?5)3+NPB=876DF[3+FO,+5Z#, @P6@P,48;Z:=5 <={ E),+E)N+|f:=K)@[,?5JE),4Z B=Ny:NP\^6;5 BC@[,?E N+J ]5), K#:=NP5),'8DBC6DF[FPBC67@,+F[Z3+N[,+NOLE ,]> , @[@[,'B=*-6;8;87,]\^,]>?:^\^,+FOBjzB=6@O\^,K#:=5 FOZ BCN`BC*v( @PN[,_F?|*BC6DF5):fFN[3_FIE 8@`Bz@PF 6;5^ NP*v,?5f@> ,?@I@P,!&JHfZ#:C@P&)(+F[,=y]:=EF\^:=5 5):=5 Fv3+<B=87,+*-,+5f@v8;,+F\^6;FI@PB=5 > ,_F*v675 67*BC8;,+F\^,!Z)8;E F[67,+E)NPF >?:^\^,+F}> :=5FR@PN[E)67@PFxZ BCNsNP,?8;(?j=,+*v,?5f@}\^,X],?5FI,+8,?@}NP,+\^,_F[>?,?5f@[,OZBCNx8 BCZ)Z)8;6D>?Bz@P67:5\^,X14N`BH4<=3?5 3?N`BC8;6;F[3?,| >?,LE 6)5):=EF> :=5\Ê)67@A@PN[:6;F>?:^\^,+FBHfBC5f@s8;,+FO*-+*v,Z BCN`BC*v( @PN[,_FLE ,X8;,+FO*-,+678;8;,?E)N`F> :^\^,_F876;5)3+B=67NP,+F >?:=5)5JE F+^s675 B=87,+*v,?5f@+|^5):E F'Z)NP3+F[,?5f@[:5 FXE)5),9> :5 FI@[NPE >@P67:5o\^,9> :^\^,_F'K)6;5 BC6;N[,_FXK B=F[3?,FIE N87,_FX>?:^\^,+F 876;5)3_BC6;N[,_Fy,?@],?5\^3?NP6;j=:=5FyE 5),9K:N[5 ,F[E)N8;,>?B=NP\^6;5 B=8\),+F]>?:J\),+F Z { 8;6;5)3+B=67NP,+F+ Z { _p `=nJpuB=5)5),_BCE^!\^,1BC8;:=6DF+|#B=Z)Z)8;6;>+Bz@[6;:=5\^,14NPBH|K#:=NP5),=|>?:=5 FI@[NPE >@P67:5G|\^6;FI@PB=5 > ,-*v675 6 *B=87,|)> :^\^,+F\),,?N`\^:^>`<=3?5 3?N`BC8;6;F[3+F+|f>?:^\^,+F]\),4NP3+F[6D\Ê FLfE B=\)NPBC@[6DLE ,+F+|fNP,?8;(?j,?*v,?5f@]\^,9],+5 F[,?8 { 2k. 2k. ∗. 2k. ¡ s¢G¤£¥¢G¦+§?¨©Rª«R¦¨¬¡. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.

(6)

(7) 9 p+)==uw¤@P,?NOZ)NP,+F[,?5f@P675)<4@P&),<=,+5),?N`BC8JZ)NP:=Z#,?N[@[6;,+Fs:C 8;675 ,+BCNO>?:^\^,+F+| X,X<67j,@P&),*v675 67*hE)* \)6;FI@PB=5 > ,:='<,?5),+NPB=876

(8) ?,_\,+NP\):J>`> :^\^,+F0:CFI& :=N[@87,+5)<C@PZ&G { w 87: X,?N9K#:=E 5 \ :=5 @P&),?6;N*v675 67*hE)* \)6;FI@PB=5 > ,~87,?@y@P&),~Z#:FPF[67K)6;8;6@RHv¡:N@P&):F[,4>?:^\^,+F@[:h& Bj=,~<=:J:^\*v675)6;*0E * \^6DFR@`BC5 >?,+F+|K)E)@':E)NXN[,_FIE)87@PF F[&): @P&)6DF6;FO5):C@@[& ,]>?B=F[,=|Bz@87,_B=FI@¡:=NOF[&):=N[@87,+5)<C@P& F? ¥,]BC8DFI:9> :*vZ)E^@[,X@P&),*v675)6;*0E * \^6DFI@PBC5> ,+F :=AFI,+j=,+NPB=8OK)6;5 BCNPH¥>?:^\^,+Fh> :=5FR@PN[E > @[,_\ KfH A,?5 F[,?8X8767¤@BC5 \ <,?5),+NPB=87

(9) 6 ?,_\t14NPBH*vB=ZG%'& 6;Fh87,_B=\)F @P: @[&)NP,?,!>?:^\^,+F 67@[& @P&),FPBC*v,Z BCN`BC*v, @P,?N`FB=F-@P&),!K#,+FI@J5): 5 8;6;5),+B=N> :^\^,+F+ ¥,!> :5 > 8;E \^, 67@[& B> :=5FR@PN[E > @[6;:=5:CyK 675 B=N[H!>?:^\^,+F4E F[675 < 876;5),+B=N9> :^\^,+FB=5 \ 67@[& E)Z)Z#,?NK#:=E)5\)F:=5@[&), >+BCN`\^6;5 BC8;6@P67,_FX:C Z { 8;675),_BCN> :^\^,_F'675\Ê > ,_\KfHZ@[&)6D{ F]> :5 FI@[NPE >@P67:5G 0sp=u K:E)5 \|> :5 FR@PN[E>@[6;:=5x|41BC8;:=6DFN[6;5)<|414N`BH *B=ZG|~<,?5),+NPB=876

(10) ?,_\ ,?N`\^:^>` > :^\^,_F?| A,?5 F[,?88;67¤@+| *v6;5)6;*0E)* \^6;FI@PB=5 > ,|)LfE B=\^N`Bz@P6;>4NP,+F[6;\)E),9> :^\^,+F Z2k . 2k. 2k. 2k.

(11) . Z2k

(12)

(13) . g. . }

(14) ' . z }qsC# " $ + %'& znJ(# r)# " *# Jp .)-, Y],?8;(?j=,+*v,?5f@]\^,],+5 FI,+8 99949999994999999949 l .) . wA5)5),_BCE^\^,1BC8;:=6DF 999949999994999999949 . /10 Jp-p_q 3 2

(15) "4" )q Z 65 g - , Sy:^\^,_F'876;5)3_BC6;N[,_FFIE)N Z 999499999949999999497,. g . Sy:^\^,_F> H^> 8;6DLE ,+FF[E)N Z 99949999994999999949 .*, 8 0 Jp Z `( # " n *# Jp % + k- , wAZ)Z)8;6;>+Bz@P67:5\),914N`BH<3?5)3+NPB=876DFI3+,49999994999999949 .=l k . Sy:^\^,_F Z { 8;675 3+BC6;NP,+F 999949999994999999949 . . $90 Jp }G :<;n " n ( #p_nJp /% c)- , WJ@[NPE >@PE)N[, Z { 876;5)3+B=67NP, 99949999994999999949 gf. c) . WJ@[NPE >@PE)N[, Z { > H^> 8;6;LfE), 99949999994999999949 g=k c) g U~6DFR@`BC5 >?,9*-6;5)6;*BC8;,4,+5Z,?@[67@[,8;:=5)<E),?E Ny999994999999949 kfd + qx J p >= J@r ? Jp != Jp P( # " n *# fp 8 + l - , Sy:^\^,\),U~E)E)N`F[*vB-,?@ABC8B A ZU1 C}W)*d ,ED 999994999999949 kfl l . Sy:^\^,\),914NP, ¡,+NPBC@[&, @~W^>`& *-6D\JF@ A 19GW ..D299994999999949 >k H l g Y],?8;,?j=3_F\^,+F>?:^\^,+F\^,9NP3+F[6D\Ê FLfE B=\)NPBC@[6DLE ,+F 9994999999949 k>. p L )p " p+ ^+nJp Jp `( # " n *# Jp $KM I 0 " p+ zqsCJ # " o= Jp # " K# JF e^- , MN[6;5 > 6;Z#,\^,98;Bv>?:=5 FI@[NPE >@P67:5 99499999949999Z99949 *c , e^ . N~E ,?8DLE ,+FBCZ Z)876D>?BC@[6;:=5 F 99949999994999999949 c=g OQP " Jp-p_q 4# " ) Jpv= Jp Z `( # " n *# Jp $R$ 510 " qsJp # " p $K5 + % P # ( # R ; G?TS4# !" . 2k. 2k. 2k. 2k. 2k. 2k 2k. 2k. 2k. 2k. k. g. .. ,. ¥

(16) } FUWV Sy:^\^,_F\^,,?N`\^:^>`, @]MN[,+Z BCN`Bz@`B0<3?5)3+NPB=876DFI3_F? 994999999949 VOf@PNPB=6@A\),48DB-@PB=K)8;,\),FXyNP:=E X,?NY¡K)6;5 B=67NP,Z 99994999999949 VOf@PNPB=6@A\),48DB-@PB=K)8;,\)F, CG67@PF[Hf5x 949999994999999949 U~E B=E^\^,_F> :^\^,_F[XSX0G99949999994999999949. ¢}¢ ª\K]E^_`. kJ. kfg kk kk.

(17) k.

(18) - . c. X:N[5),9F[E)N8DB-\)6;FI@PB=5 > ,*v675 67*BC8;,\Ê > :^\^,9\^,,+NP\):J>`<3?5)3+NPB=876DF[3=a99949 kJc U~6DFR@`BC5 >?,9*-6;5)6;*BC8;,\),+F]>?:J\),+F N4Y 99994999999949 c=d e U~,?E)J6;(?*v,9,?f@PNPB=6@]\^,98DBh@PB=K)87,9\^Ψ(,FXXNP:=E X,?)NY¡K)6;5 BC6;NP,Z 4999999949 c=d H Sy:^\^,_FO:K^@[,+5fEFOZ B=NO8;B0> :=5FR@PN[E > @[6;:=5\Ê%'& 3?:=NP(?*v,~e^ .Bj,+>\^,_F> :^\^,_F Z { 8;6;5)3+B=67NP,+F+4c=g . Sy:^\^,_Fs:=K^@P,?5JE FsZ BCNs8DB~>?:=5 FI@[NPE >@P67:50\Êv%'&)3?:N[(+*v,'eJ .]Bj,+>y\^,+F> :^\^,_F Z { 8;6;5)3+B=67NP,+F+4cCk ,_d Sy:^\^,\),,+NP\):J>`<3?5)3+NPB=876DF[3=| h999949999994999 c . , , VOf@PNPB=6@A\),48DB-@PB=K)8;,\)F , XyNP:=E X,?pN =Y¤@P,?3NP5 BC6;N[, Z9994999999949 ld X. l. (k)+ n. 8. 16. Uo wAZ)Z)8;6;>+Bz@P67:5\),914N`BH=-999949999994999999949 f. e VOJ,+*vZ)87,_F]\^,9K#:=NP5),+FF[E)N8;,+F>?:J\),+F Z { 8;6;5)3+B=67NP,+Fy994999999949 c H. .. . ,. 2k. ¡ s¢G¤£.

(19) . Z2k

(20)

(21) . c. . x U }

(22) wAE \^3+K)E^@!\^,_F BC5)5)3+,+F .=d |'\ BC5 F8;,?E)N BCN[@[6D> 8;, A ~S .=kD|~BC*v*v:=5 F, @!B=8 \^:5)5),?5f@ E)5), >?:=5 FI@[NPE > @[6;:=5v@[NP(+F'F[67*vZ)8;,~\),4>?,?N[@PBC6;5 FX> :^\^,_FK)6;5 B=67NP,+F5):=5o876;5)3+B=67NP,+FO <=E NPB=5@XZ BCNP*v68;,+Fy*v,?6;878;,?E NPF >?:=5)5JE F5):=@PB=*-*v,+5@]8;,+F>?:^\^,+F]\),,+NP\):J>`, @A\^,MONP,?Z B=NPBC@PB ,?58;,+F> :5 F[6;\^3+NPB=5f@>?:=*v*v,9\^,+F 6;*BC<,+FX\^,9> :^\^,+FX8;675 3+BC6;NP,+FXFIE)N Z |J8 BC5)5 ,+BCE\^,+FX,+5@P67,+NPFX*v:^\Ê)8;: 4 Sy, @I@P,9> :=5FR@PN[E > @[6;:=5o,+FI@X3+<B { 8;,?*v,+5@'08 :=NP67<675),~\^,~8 , ^Z)8;6;>+Bz@[6;:=5oBC8;<=3?K N[6DLfE),A\ E)5),> E)NP6;,?E F[,]NP,?8DBz@[6;:=5,?5f@[NP,~>?:J\),+FX\^,4,+NP\):J>` ,?@]\^,MON[,+Z BCN`Bz@`B)|^vF[Bj:=6;N8;,?E)N]\)E BC8;6@P34¡:=NP*-,+878;,=R N~E ,?8DLE ,+F'BC5)5 3?,+FB=E)Z B=NPBjzBC5f@_|fw0 w0 ],_>`& BC,+j#| \ BC5 F A A,+>J.*,ED |#BjzB=6@43?<B=87,+*v,?5f@~\^:5)5)30E 5),->?:=5 FI@[NPE > @[6;:=5!\^,_F~>?:J\),+F4\^,-,+NP\):J>òE^@[6;8;6;FPBC5f@~8 BC5 { 5 ,+BCE Z C B=Z)Z)NP:J>`& ,9E^@[6;876DF[3?,h>?:=5 F[6DFR@P,> :5 FR@PN[E 67NP,\^,+F~> :^\^,_F]8;675)3_BC6;N[,_F]F[E)N >C B) \\^,_F]*v:^\Ê)8;,+F F[E)N Z ~Z)E 6;Fs8;,+F@PNPB=5 FI¡:=NP*-,+NG,?5>?:^\^,+FxK)675BC6;N[,_F?|+87,_Fx> :^\^,_FxB=675 F[6=:K^@[,+5JZE FxF[:=5f@}\^67@PF Z { 8;675)3_BC6;N[,_F? ,?5>?:^\^,+FyK)6;5 BC6;N[,_FF[,BC67@8 B=6;\^,~\^,~8 BCZ)Z)8;6D>?Bz@P67:5 C}B@[N`BC5FR¡:N[*Bz@P67:5\^,~>?:^\^,+F876;5)3+B=67NP,+FyFIE N \),14N`BH!LfE)6jzBo\), Z \ BC5 F Z |G3 @P,?5 \Ê ,vZ>?:J:=N`\^:=5)5 3?,0ZBCN> :J:NP\^:5)5)3+,=GS~ ,_FR@9,?5¥Z B=NI@P67,v<=N =>?, B=E^Z)NP:=Z)NP673?@[3_Fy\^,> ,?@I@P,B=Z)Z)8;6;>+Bz@P67:5LfE),~8;,+F'>?:J\),+FyK)675BC6;N[,_FXB=675FI6#:=K^@P,?5JE FXZ#,?E)j,?5f@X?@[NP , IK#:=5

(23) F ` U~,?Z E)6;FFI:5 BCZ Z BCNP6@P67:5G|O> ,?@I@P,@[,+>`& 5)6;LfE), B@[NP(+Fv8DBCNP<=,+*v,?5f@hB=6@F[,+FvZ N[,+E)j=,_F->?:=*v*v,Z,+E)j=,+5@ ,+5!@P3?*v:=6;<=5),+N87,_FA@PNPBjzB=E^!\^, Xy:5)5),_>? B +,0,?@9B=8 ;|xSXBC8D\^,?NPK B=5), @BC87|,?@9\),-M87,_F[F4, @ N~6DBC5 Y¡j=:67N NP,+F[Z#,+>@P67j,?*v,?5f@ A X'WS .c D B| A S !9 .l D| A M N .l D ZLfE)6GZ)NP3+F[,?5f@[,+5f@\),+F]>?:J\),+F Z { 8;675 3+BC6;NP,+FX <E)NPB=5f@ @P:=EzQR:E)N`F'Z BCNP*v687,_F'*-,+678;8;,?E)N`F> :^\^,_F> :=5 5fEF? A5),<=3?5 3?N`BC8;6;FPBz@P67:5t\^,o8 BCZ)Z)8;6D>?Bz@P67:5 \^, 14N`BH B=E^ BC5 5),+B=E^ B3?@[3675f@[NP:^\Ê)67@[,Z BCNS~ SXB=N[8;, @]\)B=5 F A SXBCN .HD |)Z)E)6DFE)5),F[,+>?:=5 \),=)VO8;8;,Bh,+5 F[E)6@P,93 @P3B=\)B=Z^@[3+Z,=|)Z B=N 14NP, ¡,+NPBC@[&, @~W V] W)>`&)*v6;\J@ \)B=5 F A 19GW .. D|'BCE) B=5)5),_BCE^ Y Z)NP,?*v67,+N Z8;B <=3+5)3?N`BC8;6;FPBz@P67:5 \^, S~ASXBCNP8;, @+Sy,+F <3?5)3+NPB=876DFPBz@[6;:=5FF? B=>+> :*-ZBC<=5BC6;,?5f@0\^,+F-Z5):=@[6;:=p5 F-\^, Z , @ Z { 8;675 3+BCNP67@[3+F0, @v:=5f@-\)3RQIZ,+N[*v6DF?| >?:=5zQR:675f@P,?*v,?5f@ 8 E^@P678;6DF[BC@[6;:=5 \^,!8DB *v3 @P&):^\^,\Ê NP,?8;(?j,?*v,?5f@\^,A,?5 F[,?8|8DB > :5 FR@PN[E>@[6;:=5 \^, >?:^\^,+F'*v,?6;8;87,+E)NPFLfE),9>?,?E^> :=5 5fEFsQRE F[LfE),8D Y> RB A 19*W .. Dx,?F@ A U1 C}W)*d ,ED Z U4BC5 F A SXBCN .HD | S~)SXB=N[8;, @X<=3+5)3?N`BC8;6;F[,]8DB9B=*-6;8;87,\^,> :^\^,+FyK)6;5 BC6;NP,+F@[NP(+FyZ,+NI¡:N[*BC5f@`FyLfE),FI:5f@ 8;,+F4> :^\^,_F\^,-,+NP\):J>`|#\^:=5f@4~BC*v*v:=5 F4,?@B=8 BjzBC6;,?5f@4\^:5)5)3-E)5),v> :5 FR@PN[E>@[6;:=5 Z { 876;5)3+B=67NP,=|#, @ \):=5)5),AE)5),]K#:=NP5),]6;5^¡3?NP6;,?E)NP,AF[E)N8DB\^6DFR@`BC5 >?,]*v675 67*BC8;,A\^,~> ,+Fy> :^\^,_F\^,A,+NP\):J>`h<=3+5)3?N`BC8;6;F[3+F+ CxB K#:=NP5),-:=K^@P,?5JE),v8DBC6DF[FPBC67@4,_FIZ#3?NP,?N9LfE),> ,?@I@P,-<3?5)3+NPB=876DFPBz@[6;:=5\^:=5)5BC67@\^,vK#:=5 F9>?:^\^,+F+|Go>?:=5 \)6@P67:5 @P:=E^@P, ¡:6;FvLfE),> , @[@[, \^,+N[5)6;(?NP,¡E)@E)5 Z#,?E 3?8;:=6;<=5)3+,\),o8DBj3?NP6@`BCK)8;,o\)6;FI@PB=5 > ,*v675)6;*BC8;, \^,>?,+F >?:^\^,+F+^]:=EFy\^:5)5):5 F'\)BC5 F'>?,~N`BCZ)Z#:=N[@X\),+Fy@PB=K)87,_F/ >+BC8D> E)8;3?,_FZ B=Ny:NP\)675 BC@[,+E)NPF Z)N[:E)jzBC5f@XLfE), 8DBK#:=NP5),v,+FI@K:5)5),,?@Z BCNj:=6;,\^,> :5 FI3_LfE),?5 >?,LE ,87,_F> :^\^,_F\^,,?N`\^:^>`!<3?5)3+NPB=876DFI3_F45),87, F[:=5f@Z BF Y¤@[:E^@ABCE*v:=6;5 F',?5Z#, @P6@P,87:5)<=E ,?E)EN Z Uh E 50BCE^@PN[,>?:C@[3|?8;,+FNP3+F[E)87@PBC@PFG\^,14NP, ¡,+NPBC@[&, @W^>`&)*v6;\^@+|?,?@x\^,U~E)E)N`FI*B',?@}BC8 6;5 \^6DLE ,?5f@}LfEG 678 ,_FR@yZ:fF[F[67K 87,A\),A> :5 FR@PN[E 67NP,]\^,]K#:=5 Fy> :^\^,_FO,?5E)@[6;876DF[B=5f@y8;,]N[,+87(+j=,+*-,+5f@\^,]Z#:=8;Hf5 =*v,+F<=3?5 3?N`Bz@[,+E)N`F \),> :^\^,+F9>?H^> 8;6;LfE),_F9FIE)N F Z:E)N9:=K)@[,?5 67N\^,_F> :^\^,_F9FIE N98 BC5)5 ,+BCE Z , @,?5 NP,+\^,_F[>?,?5 \ BC5f@>?,+F >?:^\^,+F]F[E)N F Z BCN8 BCZ)Z)8;6D>?Bz@P67:5 \^,014NPBH<=3?5 3?N`BC8;6;F[3?,S~ ,_FR@AB=675 F[6xLfE),95):E F]Bj:=5 F'> :5 F[6;\^3+N[38;,+F >?:^\^,+Fv\^,NP3+F[6;\ÊF-LfE B\^N`Bz@[6DLfE),+F-LfE)6]F[,?*0K 87,+5@vK)6;,?5 FI,Z)NP @P,?N¥> ,o@RHfZ#, \^, > :5 FR@PN[E>@[6;:=5 ,+5 , #,?@+|> ,_F~>?:^\^,+F~5):=EFA:5@4Z,+N[*v6DF~\G :K^@[,+5)67N~@[NP:=6DF~5):=E)j,+B=E^>?:^\^,+F~3?<fBC8DBC5f@A8;,+F~*-,+678;8;,?E)N`F~>?:^\^,+F 8;6;5)3+B=67NP,+F'\^,9*v?*v,98;:=5)<E),?E NX,?@A>?B=NP\^6;5 B=8767@[3 U~,AZ)8;E FX\)BC5F A U41 CsW^*d ,ED |JUAE)E NPF[*B9, @'BC8=E^@P678;6;F[,?5f@XE)5),AZ N[:Z)N[6;3 @P3]\Ê>?:J\), 8;675)3_BC6;N[,]LfEG 6;8;F :K^@[6;,?5 5),?5f@+|#Z B=NANP,?8;(?j=,+*v,?5f@ zN[,_\^,+FP> ,+5@P,=|^Z#:=E)N4> :5 FR@PN[E 67NP,9E)5!*v,?6;8;87,+E)N4>?:^\^,Z ZB=NA{ NP3?E)5)6;:=5!\),h> , . +. 4. 4. 4. 4. 4. 4. 2 2. 4. 4. 2k. pk. 2k. pk. 4. p. pk. p. 8. ¢}¢ ª\K]E^_`.

(24) l.

(25) - . >?:^\^, Z { 876;5)3+B=67NP,,?@v\G E)5 \^, F[,+F0@[N`BC5 F[8;BC@[3_F?]:E F-<=3+5)3?N`BC8;6;F[:=5F0> ,?@I@P,@P,+>`&)5)6DLfE), !@P:=E^@> :^\^, 876;5)3_BC;6 N[,4, @]5):E F',?5 \^3_\Ê)6DFI:5 F'E)5),9K#:=NP5),9F[E)N87,_F>?B=NP\^6;5 B=E^\^,> ,_F> :^\^,_F? Z { s

(26)

(27) o0

(28) 8. 2k. .

(29) . Jrtr % Jrtr " ! " p J#%$7 I 8 # 0 S ? '& #'(FS 8*),+.-

(30) */ p 0G< 21 4 1 3

(31) 65 k G0 */

(32) 0 3 E

(33) G0 0 8>7 :9<; / P ∈ Zp [X] 0G 3 >=@? 1 0GR

(34) A/

(35) 5B/ DC40 k. P ≡ QR (mod p) ,. 3 G0 Q, R ∈ Zp [X] 5 0FE 3 G =H? 1 G0 K

(36) A/

(37) 3 41

(38) I/ 0FEJK 5

(39) E

(40) / 0GL0GR

(41) MCN0 O 0 3 (Q(k) , R(k) ) 3 >=@? 1 E 0GR

(42) A/

(43) E Zp [X] 5B/ DC40 k. PJ ; J QJ. P = Q(k) R(k) ,. . / R(k) ≡ R (mod p), 3 41 Q(k) / R(k) * /

(44) */ 0FERJ S 3 >0 5 deg Q(k) = deg(Q) / deg R(k) = deg(R) J C B=5)5),_BCE 3?@PBC5f@yB=>@P:=NP67,+8 |6 ,=f@P:=E^@XZ:87HJ5 *-,40>?:f,4T > 6;,?5f@PFX\)BC5F Z [X] Q(k) ≡ Q (mod p). F[,~\^3_> :=*vZ#:FPBC5f@y\^, * B=5)67(+N[,9E 5)6;LfE), vE)5),hZ,+N[*hE^@PBC@[6;:=5 Z)NP(+F o,?5!Z N[:^\Ê)67@~\^,B=>@P,?E)N`F]6;NPN[Z3_\Ê >@P67K 87,_F?|):5!BZ#:=E)N @P:=E^@]Z#:=8;HJ5 =*v, P ∈ Z [X] p. p. pk. P ≡ f1e1 . . . , flel. (mod p) ,. :VU f , . . . , f FI:5f@A\^,+FZ#:=8;HJ5 =*v,_F'67NPN[3_\Ê > @[6;K)87,_F]\^, Z [X] , @ e , . . . , e \^,_F,?5f@[6;,?N`FFI@[NP6;> @[,?*v,+5@ Z#:F[67@[67F?KCx,CG,?*v*v,0.^ ,\^:=5)5 ,\^:=5 >4Z B=N675\Ê >@P67:5 FIE)N8;,5):=*hK)NP,\),B=>@P,?E)N`F ( S}nJ XWJr %Y %Z m f[ W\ Jr " ! " p J] #^$; ) I 8 # 0 S ? &W (FS )8+_-

(45) */ p 0G . 1. `1. l. p. 1. l. 3 41 1 0GK

(46) A/

(47) J d.

(48) 65 k 0G */

(49) 0 3 E

(50) 0G 0 a7> b9c; / P ∈ Zp [X] 0G 3 > =H? 1 E G0 R

(51) A/

(52) Z [X] 5b/ D C40 E

(53) / 0Ge 0GK

(54) MC40 l , 0 3 / (g1(k) , . . . , gl(k) ) 3 > =@? p . k. k. PJ. (k). (k). P = g 1 . . . gl. 5. ;J gi(k) ≡ fie (mod p) 5 Q JF g(k) * / 3 41

(55) F0 E.9 F0 ERJ i i. ¡ s¢G¤£.

(56) . Z2k

(57)

(58) . e. . V 5\G B=E^@[NP,+FX@P,?NP*-,_F'87,_F'Z:87HJ5 *v,+F'E)5)67@PB=67NP,+F\), Z [X] F[,9\^3+>?:=*vZ#:F[,?5f@\),9*vB=5)6;(?NP,4E 5)6;LfE), ,+5Z N[:^\Ê)67@PF\),9Z:87HJ5 *-,_F\Ê@RHJZ,\^,_F g |^6 , LfE)6 | N[3_\Ê)67@PF'*v:^\Ê)8;: p F[:=5f@]\^,_FZ)E)6DF[FPBC5> ,+F \G E)5Z:87HJ5 *-,6;NPN[3_\Ê >@P67K 87,JSy, @[@[,~Z)N[:Z)NP673?@[3jzB5):E FZ#,?NP*v, @I@PN[,4\^,A\^3? 5)6;N NP,?8;,?j3]\^,~A,?5 F[,?8 \G E)5B>@[,+E)N]\^, X − 1 V: U n ,+FI@]Z)NP,?*v67,+N]Bj=,_> p ^VO5 , , @_| \)BC5F> ,>?BF?| X − 1 5),> :*-Z#:=N[@[, LfE),9\^,_F'B=> @[,+E)NPFF[6;*-Z 87,_F? n " #¡ # " % / m J \n e! " p J + -

(59) I/ n 0G */

(60) 3 41

(61) O p / 0FE 3 G=H? 1 pk. (k) i. n. n. Q, R ∈ Z [X] / C40 X n − 1 = Q(X)R(X) J 3F3 . k 0 3 G =H? 1 pQ 5 3 > =H? 1 Q(k) 0 O 0 3 (Q(k) , R(k) ) J & zR?#pJ#J# " % 8 -

(62) A/ Q ∈ Z 0G O / 0G X n − 1 J -

(63) k

(64)

(65) p X n − 1 Zp [X] J 1 Cx:=N`F[LfE), ,+FI@]67NPN[3_\Ê > @[6;K)87,,?@]Z)N[6;*v6@P6R| F[,+F'NP,?8;,?j3+F'F[:=5f@]BCZ)Z#,?8;3+F\^,_F 3 >=H? Q k. Cx,!>?B=Fv8;, Z)8;E F6;*vZ:NI@`BC5f@\)BC5 F8;B F[E)6@P, ,+FI@87,!>+B=FvK)6;5 B=67NP,=|O6 ,= XT~5 \^:=5)5 ,\):=5 > E 5¥B=87<:=NP6@P&)*v,067@[3?N`Bz@P6'\^,v>?BC8D> E 8O\ÊNP,?8;,?j3h\^,A,?5 F[,?8\ E)5¥Z:87HJ5 *-,vp Z#=:=E)2NZ.\)BC5 F48;,>?B=F <3?5)3+NPB=8 |J:5oNP,?5Jj=:67,-8 BC8;<=:N[67@[& *-, ,c^ ,+d0\), A A1 . . D n L! " p J # " K# + -

(66) */ Q ∈ Z [X] 0G O / 0G & zR ?#Jp #J # " %$ 0 )q} }q J \# . . . (k)2 k J Q 1 3

(67) (X) = P (X) − 3

(68) / I O 0FE 7

(69) J ` /

(70) 4/ */

(71) A/ E Zp [X] /

(72) G7 5. . X 2 −1 − 1 / Q(k) ∈ Z 1 2 k@[X] I(X) P O I/

(73) */. ? 1 E E 7 3 Q(k+1) (X 2 ) = ±(P 2 (X) − I 2 (X)) 5F. O

(74)

(75) 3 0G CN0 Qk+1

(76) A/ 0GK

(77) A/

(78) J !"$#% & f (X) ∈ Z2k+1 [X] Y P 2 (X) − I 2 (X) m. k+1. WJ:=67@ 87,~Z:87HJ5 *-,~E)5)67@PB=67NP,]@P,?8LfE), − I (X)) Z BCN'> :5 FI@[NPE >@P67:5 5x BhLE ,4\^,_Fy*v:5 =*v,+FX\^,4\^,?<N[f3_F(XZ B=67)N`=F+|f\^±(P :5 > f(X) ,+FI@XK)6;,?5 (X) \)3 5)6ZT~5B f X ≡P X −I X ≡Q X (mod 2) Y8 BCZ Z)876D>?BC@[6;:=5 [ F 9 , P N + 3 ^ \ ) E 7 6 ] @ [ F ) E N ZUA:5 >C| 7→ R,?N(X) R(X) 7→ R(X ) Z [X] f (X) ≡ Q(X) ( ' 8GNP,+FIR(X) [ @ 9 , = j ? 3 P N 7 6. f L ) E , ^ \ ; 6 J j ; 6 [ F , ) \ C B 5 F ~ T N (mod 2) f X −1 Z [X] 2. 2. 2. 2. 2. 2. 2k+1. f X 2 = ±Q(k) (X)Q(k) (−X). 87,_F:Z3+NPBC@[6;:=5 Fv3?@PBC5f@B=6@P,+Fo\)BC5 F |^:=5Z,+E^@A\^:=5>3+> NP6;N[, Z [X] Y. Z2k+1 [X]. yMBCN&JHJZ:=@[&)(_FI,| Z. Q(k). \^67jJ6DFI,. X2. 2k. Bj,+>. X2. m. A(X), B(X) ∈ Z2k+1 [X]. −1. , @. 2m −1. (−X). ¢}¢ ª\K]E^_`. m. −1. −1. \)B=5 F. − 1 = Q(k) (X)A(X) + 2k B(X) ,. − 1 = Q(k) (−X)A(−X) + 2k B(−X) . -0D 3 E5 C4 <614 2A @F4 4G1 - @: <3=5 - :>1 / ?4 Zp @4 - BAC;. ©Rª © _« ª ¦ª O`ª §+¨ ¨_ª C¦ +ª © _¦ª?. )+*+,.-0/ 213 24 5 76 +3 8 29+: ; L 24 @3=M @N *O P 1 Q_RMTSIU * VW*. 2. 2. 2. 2m −1. 2. © ¨¬ © ¬¬ _¨« ©ª © ª R«R© ¬© ©Rª?O¨ª0¬©C3 ©IHJAK;_©.

(79)

(80) - H. wA87:NPF X2. m+1. −2. m m m 2m −1 − 1 = X 2 −1 − 1 X 2 −1 + 1 = − X 2 −1 − 1 (−X) −1 , = −Q(k) (X)Q(k) (−X)A(X)A(−X) − 2k Q(k) (X)A(X)B(−X) + Q(k) (−X)A(−X)B(X) .. M:fFI:5 F Q (X) = P (X) − I(X) | A(X) = P (X) − I (X) , @ B(X) = P (X) − I (X) |G:VU , @ 5),]> :5@P67,+5)5),?5f@yLfE),8;,+FO*-:5 =*v,_FO\^,]\^,+<=NP3Z BC6;N, @ I(X), I (X), I (X) | P (X), P (X) P (X) >?,?E^\^,\^,?<N[346;*-ZBC6;N+#T~5BvBC6;5 F[6 (k). a. a. a. b. b. b. a. b. Q(k) (X)A(X)B(−X) + Q(k) (−X)A(−X)B(X) = P (X) − I(X) Pa (X) − Ia (X) Pb (−X) − Ib (−X) + P (−X) − I(−X) Pa (−X) − Ia (−X) Pb (X) − Ib (X) , = P (X) − I(X) Pa (X) − Ia (X) Pb (X) + Ib (X) + P (X) + I(X) Pa (X) + Ia (X) Pb (X) − Ib (X) , = 2 P (X)Pa (X)Pb (X) − P (X)Ia (X)Ib (X) − I(X)Pa (X)Pb (X) + I(X)Ia (X)Pb (X) .. 8^,+5hNP3+F[E)87@[,LfE),'87,Z#:=8;HJ5 =*v, f (X ) \^67jJ6DFI, X −1 \)BC5 F Z \)BC5F Z [X] X −1 = J@ r ? % + U4BC5F Z [X] | X − 1 F[,~B>@P:=NP6;F[,9FI:E F'8;Bh¡:N[*v, '. 2m+1 −2. 2. m. 2 −1. 2k+1 [X]. |z\^:=5>XLfE),. 2k+1. 2. f (X). \)67jJ6DFI, . 7. X 7 − 1 = (X 3 + X + 1)(X 3 + X 2 + 1)(X − 1) .. M:fFI:5 F Q = Q = X + X + 1 ∈ Z [X] , @AB=Z)Z)8;6;LfE):5 F'8;B-MONP:=Z#:F[67@[6;:=5 .^ c0Z#:=E NA>?B=8;>?E)87,+N]FI:5 NP,?8;,?j34\G :NP\^NP, 3 Y¡E)5 X { Z#:=8;HJ5 =*v,Bj=,_>~5 :C@[NP,9\^3 5)6@P67:5RZT~5B (1). 3. 2. P1 (X) = 1. \):=5 >. mod 2 , 3. I1 (X) = −X − X. mod 2 ,. P12 (X) = 1 I12 (X). mod 4 , 6. 4. = X + 2X + X. 2. mod 4 ,. ¡ s¢G¤£.

(81) . Z2k

(82)

(83) . .. \G :VUG| Q(2) X 2 = X 6 + 2X 4 + X 2 − 1 3. 2. = X + 2X + X − 1. U~,9*v?*v,=|. P2 (X) = 2X 2 − 1. I2 (X) = −(X + X). mod 4 ,. P22 (X) = 4X 2 − 4X 2 + 1 I22 (X). T~5Bv\^:=5>. 6. 4. = X + 2X + X. mod 8 ,. 2. mod 8 .. Q(3) X 2 = X 6 − 2X 4 − 3X 2 − 1. F[:=67@+|J5 BC8;,?*v,?5f@. T~5Z#,?E^@AB=87:NPFXj=3+N[67 ,+N]LE ,. Q(3) (X) = X 3 + 6X 2 + 5X + 7 Q(3). mod 4 .. mod 4 ,. 3. \):=5)5),. mod 4 ,. ,+FI@]K)6;,?5E)5 \^6;jf6DF[,?E)N]\^,. mod 8 ,. mod 8 .. X7 − 1. \)BC5F. Q(3) (X) (X 4 + 2X 3 + 7X 2 + 5X + 1) = X 7 − 1. X6;,?5 ,+5@P,?5 \)EG| X X. 2. 4. . + 2X 3 + 7X 2 (X + X + 1)(X − 1) 3. Z8 [X]. |^,?5, , @. mod 8 .. ,+FI@08;,N[,+87,+j=3\),],+5 FI,+8y\ :=N`\^NP, 3 \Ê Z#:=8;HJ5 =*v, + 5X + 1 . [. " b.

(84) & zR?#pJ#J# " % I -

(85) */ p 0G `1 3 41

(86) 65 k 0G 0G N3 1 >= H ? 1 J 1 K 20 A = Z p [X]/(P E )1 / 1 - I/

(87)

(88) 0G 0G

(89) E

(90) 1 A J S 3 G0 5 K 20 CN0 /

(91) */ k. O 41 3 / E

(92) / */

(93) A/

(94) / P ∈ Z [X] O / E

(95) /

(96) MC40 pk / O

(97) ppkm J 3 7 p / O /

(98) 1 E / A/(p) /0G O 3 K

(99) B9 pm - */ J . */

(100) O

(101) . !"$#% & CxB>+BCN`B=>@P3?NP6;FI@[6DLfE),h\),8 BC5)5 ,+BCE¥\^3+>?:=E)8;,\^,8 6;5 > 8;E F[67:5 ,_FR@E)5 ,> :=5FI3_LE ,?5 >?,\)67NP,+> @[,9\^,98DB-\)3 5)67@[:5!.^ H) T~5B Y> R A ]E)K5 Hd^| %'&G#.^ ,_. D Z. k. Z pk ⊂ A. Zpk [X]/(P ) /(p) ' (Zpk [X]/(p))/(P mod p) , ' Zp [X]/(P mod p) .. ¢}¢ ª\K]E^_`. , @FI:5¥>+BCN`\^6;5 BC8.

(102) _d.

(103) - . ,. T~N_| P mod p ,+FI@]67NPN[3_\Ê > @[6;K)87, Y. P. ,_FR@E)5 X { #Z :=8;HJ5 =*v, Z,?@A\^,9\^,?<N[3 m | \^:=5>. Y Z. A ' F pm .. YABCZ)Z#,?8;:=5 F Y3A ]E)5RH=d)|'%'&G.^ .Cd DZLfEG E)5 B=5)5),_BCE Y>?:=*v*0E)@PBz@P6,?@oE)5 6@`BC6;N[, ZLfE):C@P67,+5f@[3ZBCNE 5 6D\^3_BC8 I ,+FI@E)5 > :=NPZ FF[6, @AF[,?E)8;,?*v,+5@]F[6G8 6D\^3+B=8 I ,+FI@'*BCJ6;*BC8T~5\)3+\Ê)67@~\^:5 >\^, Y Z'LE , (p) ,_FR@h*vBC^67*BC8sSy:5 FI6D\^3+N[:5 FE)5t3+873+*-,+5f@ α ∈ A |}:=5 j=3+N[67 ,B=6;F[3?*v,?5f@0LfEG 678y,+FI@06;5fj,?N`FI6;K)8;,FI6y, @ F[,?E 87,+*-,+5f@4F[6 ,_FR@4675Jj,?N`FI6;K)8;,=wA675FI6|87,_F~3+873+*v,?5f@PF~5):=5675Jj=,+NPF[6;K)87,_FA\^,-8 B=5)5),+B=E FI:5@ ,?)B=>@P,?*v,?5f@'> ,?αE)mod LfE)6pjzBC8;,?5f@ 0 *v:^\Ê)8;: p |J6 ,^> ,~F[:=5f@'87,_F3+873+*v,?5f@PFX\^,48 6;\)3+BC8 (p) Ûh B=E^@[NPA,AZ B=NI@_| F[:=67@ E)5 6D\^3+B=8 WJ6 >?:=5f@[6;,?5f@]E)5 3+873+*v,?5f@]675Jj,?N`FI6;K)8;,BC8;:=N`F I = A U~:=5> I ⊂ (p) |> ,hLE 6 @P,?NP*vI675)⊂,8DABvZ)NP,?E)j,= I n " #¡ # " % O " " )q ) R # p + 3V3 R `0

(104) 5 / 0 / K `0 -. . 1 . Zpk [X]/(P 3 )5 Zpk [X] 0G G=H?. . ` 1 3 N1 1 J p / 0G

(105) 6 5 . . k. 0G */

(106) / E

(107) O / N1 */ 3 A

(108) /

(109) 5 /. P ∈. x:=N`F[LfE), k = 1 |:=5NP, @PN[:E)j=,87,'> :N[Z FG 5)6^ p 3?8;3?*v,?5f@PF+CWJ6J:=50>?:=5 F[6D\^(?NP,y\^,+E^FX { Z#:=8;HJ5 =*v,+F \),X*v+*-,\^,+<=NP3=|:=5-:=K)@[6;,?5f@O\^,+FB=5)5),+B=E^6DFI:*-:N[Z &),+F+=Sy,+> 6^*v:=@[6;j=,X8;B45):=@PBz@P67:5hF[E)6;jB=5f@[, P ,P )J # " % 5 " " q #p + / 1Y (p , m) / 0 /4 K 20

(110)

(111) `1 3 1 O 9 Z [X]/(P ) P (X) ∈ Z [X] /0G 3 >=@? 1 7 m J 4 O C40G

(112) 1 3 1 Y X / / x 5

(113) MJ J x = X mod P (X) J >=@? K

(114) I/ (p , m) = / `/

(115) C. deg(P ). 1. 2. . . pk. C40. k. pk. 41 . k. . * / / P J 1 * / J# " % 6M / χ 1 3

(116) 1 0G O /

(117) (pk , m) 0G Fp C40G

(118) Y9 0G - . . O

(119) O - α∈ (pk , m) 6CN0G

(120) O χ(α) = α + (p) J & R? J# J# " % R - 1 */ x = X mod P (X) E 3 3 E

(121) (4/ 0G

(122) */ P J χ(x) /0G - 1 */ 3 E

(123) 1

(124) A/

(125) F 5 p. ) 1Y z #p . 1Y. m. m. ;J P (x) = 0 5 Q J xp −1 = 1 5. J

(126) 7 0Gc7 0 3 1 0G >/

(127) 3

(128) O 2 /

(129) F m. pm − 1 5. n o m T ∗ = 1, x, . . . , xp −2. 3 F - 3 3 E

(130) (N/ 3 O */ B5 / 0 / 1 I/ . T∗. O /

(131)

(132) . T ∗

(133). J. x,+F'3+873+*-,+5f@PF\ E)5 BC5)5 ,+BCE\^,01B=87:6;F'Z#,?E)j,?5f@ @PN[,NP,?Z)NP3+F[,?5f@[3_F'\^,\^,?E)o*BC5)6;(?NP,+F'\^6 3?NP,?5f@[,_F? C. ¡ s¢G¤£.

(134) . Z2k

(135)

(136) . . ,,. z #p m znJp " )J# " p Jpvnf nJr " +p !1Y + Y],?Z)NP3+F[,?5f@PBC@[6;:=5B=\)\^67@[6;j=, α ( O E

(137) A/ 1 K

(138) 0GR

(139) MCN0 0 -> (p 1 , m) & R? J# J# " % G% ?. k. -

(140) A/. . α=. m−1 X. Y],?Z)NP3+F[,?5f@PBC@[6;:=5o*0E)87@[6;Z)8;6;>+Bz@[6;j=, α O E

(141) A/. 1. i=0. α=. T. . O. λ i xi. k−1 X. 1Y. (pk , m) J. (λi ) ∈ Zpk m .. F K

(142) G0 R

(143) MCN0 0 - > 1 O k. . µj p j. α∈. (µj ) ∈ T. j=0. ,. / 3F3 - 41 K

(144) O 1 0G 4J. }BNP,?Z)NP3+F[,?5f@PBC@[6;:=5B=\)\)6@P67j,\^3+>?:=E)8;,\^6;NP,+>@P,?*v,?5f@\^,O8DB]FR@PN[E>@[E N[,\G B=5)5),+B=ELfE):C@P67,+5@ \G E)5¥BC5)5 ,+BCE\^,v1B=87:6;F+ CO , ^6;FI@[,+5 > ,h, @8 E)5)6D> 67@[3v\^,-8;BoNP,?Z)NP3+F[,?5f@PBC@[6;:=5*0E 8@P67Z)8;6D>?Bz@P67j,-F[:=5f@\^,+F >?:=5 F[3+LfE),+5 > ,_F'\^67NP,+> @[,_F\^,98 BC8;<=:N[67@[& *-,\^,>?:=5Jj=,+NPF[67:5\^3?@PBC6;8;8739> 6 { \^,+FPFI:E F+ Cx,+F9>+BC8D> E)8DFBj=,+>h8DBoNP,?Z N[3_FI,+5@`Bz@P67:5B=\)\)6@P67j,vF[,-¡:=5f@FI6;*vZ)8;,?*v,?5f@,?5¥, ,+> @[E B=5f@8;,+F:Z3+NPBC@[6;:=5 F , @-,?5 Z)NP,?5 B=5f@087,oN[,_FR@P,\^,8DB!\^6;jJ6;F[6;:=5 ,?E> 8;6;\^6;,?5 5),Z B=N08;W, X Z#:=8;HJ5 =*v, sM:=E)N \ BC5 F 8DBNP,?Z)ZNP3+F[,?[X] 5f@PBC@[6;:=5*0E)87@[6;Z)8;6;>+Bz@[6;j=,|x> ,5x ,_FR@Z BFBCEF[F[6OFI6;*vZ)8;, }\^,*B=5)67(+N[,v{ <3?5)3+NPB=87,|8 B=P\)\)6@P67:5 :E8;B-*0E 8@P67Z)8;6D>?Bz@P67:5 \^,\^,?E)¡:=NP*v,+F*hE)87@[6;Z)876D>?BC@[6;j=,_F'5G ,_FR@]ZB=FE)5 ,¡:=NP*-,9*hE)87@[6;Z)876D>?BC@[6;j=, ]5), F[:=8;E^@P67:5h> :5 F[6;FI@[,X~>?:=5Jj=,+NI@P67Ns8;BA¡:=NP*v,y*hE)87@[6;Z)876D>?BC@[6;j=,X,?5vB=\)\)6@P67j,=|_BC6;N[,y8 :=Z#3?N`Bz@P67:50,?@NP, @P:=E)NP5),+N h8DB0¡:N[*v,*0E 8@P67Z)8;6D>?Bz@P67j,=* Cx,+F'>`& BC5 <=,?*v,+5@`F'\^,N[,+Z)N[3_FI,+5f@PBz@P67:55)3_> ,+FPF[6@P,?5f@E)5),4@PB=K)87,9\^:5)5 B=5@ 8DB¡:=NP*-,B\)\^67@[6;j=,\^,+F3+873+*v,?5f@PF\Ê %},?6D>`&)*0E)8;8;,?N_GSy,?@I@P,v@PBCK 87,F+ :K^@[6;,?5f@\^,v*BC5)6;(?NP,h67@[3+NPBC@[6;j=, ,+5F[E)Z)Z#:FPBC5f@]Bj=:67N\^3_> :*-Z#:F[3 x FI:E FX8;B-¡:N[*v, P a x |):5BvZ#:=E N j > m T = {0} ∪ T ∗ !"$#% &'C. pk. m−1 i=0. j−1. j−1,i. i. xj = xj−1 · x ,. = aj−1,0 x + aj−1,1 x2 + · · · + aj−1,m−2 xm−1 + aj−1,m−1 xm , = aj−1,m−1 am,0 +. m−1 X. (aj−1,m−1 am,i + aj−1,i−1 )xi. IF 6;<=5BC8;:=5 F}LE ,8DB]¡:N[*v,yB\)\^67@[6;j=,X\^, x ,+FI@s\^:5)5)3?,X\^6;N[,_>@[,+*v,?5f@sZBCNx8;, X { Z#:=8;Hf5=*v, P Z Cx,yZ BF { FPBC<,X\),8;B4¡:N[*v,*0E 8@P67Z)8;6D>?Bz@P67j,8;B~¡:=NP*v,]B=\)\)6@P67j,X,_FR@B=87:NPFs@PN[(_FFI6;*vZ)8;,=F[:=67@ α = P µ p | 6;8^FIE T-@\^,XN[,+<B=NP\^,+N}\)B=5 F}8;BA@PB=K)87,X8DB¡:=NP*v,XB\)\^67@[6;j=,X\^, µ , @\^,XN[,+*-Z 8;B> ,?N µ Z B=N>?, @[@[,'\^,?NP5)6;(?NP, \ BC5 F'8DBh¡:=NP*-,*hE)8@P67Z 876D>?BC@[6;j=,\^, α )VO5 , , @_| F[6:=5Z:fFI, µ = P u x |):5o:K^@[6;,?5f@ Y. i=1. m. k−1 j=0. j. j. α=. k−1 X. µj p j ,. j=0. =. k−1 X. p. j=0. =. m−1 X i=0. ¢}¢ ª\K]E^_`. j,i. j. . m−1 X i=0. k−1 X. . j=0. uj,i x. i. . !. .. pj uj,i  xi .. i. j. j. j.

(145) ..

(146) - . ,. x,N[,?@[:=E N]h8DBh¡:=NP*v,4*hE)87@[6;Z)876D>?BC@[6;j=,9,_FR@E)5Z#,?EZ)8;E F]> :*vZ)87,?^,=(' 8GHBv\^,+EôZ#:FPF[67K)6;8;6@P3+F ,=FI:6@ ,_FR@v5JE)8 |OB=E LfE),?8>+B=F+| α ,_FR@\)BC5Fh8 6;\^3_BC8 (p) |O\^:5 >o\),8DB¡:=NP*-, pα Z#:=E N-E 5 > ,+NI@`BCχ(α) 6;5 α .^FI:6@ χ(α) ,_FR@5):55JE)8)U~B=5 F'> ,9>?BF?| χ(x) 3 @`BC5f@Z)NP67*v67@[67s\)B=5 F F |^678,?J6DFI@[,4E)5 YE)5)6DLfE), Z ,?5f@[6;,?N i ∈ [0, p −2] @[,+8fLfE), χ(α) = χ(x) |_6 ,= χ(α−x ) = 0 Z)E 6;FPLfE), χ ,_FR@sE)5*v:=NPZ)&)6DF[*-, \ BC5)5),_BCEGT~5 B\^:=5> |>?,0LfE)6x6;*vZ)8;6;LfE),0LfE), ,+FI@~\^,08;B-¡:N[*v, Y8;B N[,_>`&),?N`>`&),]\^,~8 ,?5f@P67,+N i αZ#,?−E^@'xFI,A∈BC(p)6;N[,],+5E^@P678;6;FPBC5f@XE)5),]@`BCK)8;,~α\)3?NP67j3?,A\^,~8;B@PB=K)87x,~> +:=5pαFR@PN[E)67@[, > 6 { \),+FPFIE F',+5N[3_\Ê)6DF[B=5@'8;,+F]>?:f4, T> 6;,?5f@PF\^,_FX¡:=NP*v,+FB=\ \^6@P67j,+F'*v:^\Ê)8;: pZ U4BC5F87,_FO\^,+E^->+B=F+|z:=5vZ,+E^@3_> NP67NP, |fBj=,_> , @ 1Y CO 3?8;3?*v,+5@ 3?@PB=5@G8;E)6 { *v+*-,y\)BC5 FG8 BC5)5 ,+BCEx| :=5Z#α,?=E^@xµ8;, [+\^3+pα>?:=*vZ#:F[,?µN s∈FI:T54@[:=E αNxFI∈:E F8DBX(p¡:=NP,*vm), α = µ +pαα | >?,~LfE)6\^:5)5),AZ#:=E N α µ + p(µ + pα ) fV567@[3?N`BC5f@ m ¡:6;F+|f:=5:K^@[6;,?5f@XZ:E)N α E)5 ,~,?JZ N[,_F[F[67:5 LfE)6,+FI@5)3+>?,+FPF[B=67NP,?*v,+5@'8DB0¡:N[*v,4*0E)87@[6;Z)8;6;>+Bz@P67j,\), α Z)E)6DF[LfE),9\ BCZ)NP(+F \),48DBh¡:=NP*v, P 8DB-MONP:=Z#:F[6@P67:5.)- ,.0µ>?, p@I@P,\^,?NP5)6;(?NP,,+FI@'E 5)6;LfE), = J@ r ? % 6/ T~5> :5 FI6D\^(+N[,O1Y , @x:59Z:fFI, ,?@ β = x ]:E F]B=878;:=5 FA\^:=5)5 ,?NA8;,+F](2, ^Z),NP3),+FPFI=6;:=5 ZF\)[X]/(7+5X+6X , α ,?@ β \)B=5 F]8;,+F]+X \),?E^) ¡:=NP*v,+F,?@A5)α:==EFA5+3x BC8;8;:=5 F >+BC8D> E)8;,?N α + β , @ αβ Sy:*v*-,+5 :5 FXZ BCN]>+BC8D> E)8;,?N8;,+F\),?Eô@PBCK 87,_F C. 0. 0. pm. i. m. i. i. i. 0. m−1 j=0. 0. j. 0. 0. k. 0. 0. 00. 1. 1. 00. j. 3. 2. 23. 3. 2. x=. x. 2. x =. x2. x3 = −7 − 5x − 6x2 =. 1 + 3x + 2x2. x4 = x + 3x2 + 2x3 = x + 3x2 − 2(7 + 5x + 6x2 ) =. 2 + 7x + 7x2. x5 = x + 7x2 + 7x3 =. 7 + 7x + 5x2. x6 = 7x + 7x2 + 5x3 =. 5 + 6x + x2. x7 = 5x + 6x2 + x3 =. 1. x:=N`F[LfE),48 :5LfE):=@[6;,?5f@[,9Z B=N'8 6;\)3+BC8 (2) ⊂ 1Y C. 0. 0. (23 , 3). :=5:=K^@P67,+5f@]8;BvF[,+> :5 \^,4@PB=K)8;,. χ(x) = χ(x) χ x2 = χ x2 χ x3 = 1 + χ(x) χ x4 = 1 + χ(x) + χ x2 χ x5 = 1 + χ(x) + χ x2 χ x6 = 1 + χ x2 χ x7 = 1. ¡ s¢G¤£.

(147) . Z2k

(148)

(149) . _g. ,. Sy,9LfE)6x\):=5)5), VO5N[,+Z)NP3+F[,?5f@PBC@[6;:=5B\)\^67@[6;j=, α , @ β 3 @`BC5f@]\^:=5)5 3+F'FI:E Fy¡:=NP*v,4B\)\^67@[6;j=,=|^:5Z#,?E^@A\)67NP,+> @[, { *v,?5f@BC6;N[,8;,+F>+BC8D> E)8DF? . α + β = 5 + 3x2 + (x) = 5 + x + 3x2 αβ = 5 + 3x2 (x) = 5x + 3 −7 − 5x − 6x2 = 3 + 6x + 6x2. VO5N[,+Z)NP3+F[,?5f@PBC@[6;:=5*hE)87@[6;Z)876D>?BC@[6;j=,)>?:=*v*v,?5?:=5 FXZ B=N]>?B=8;>?E)87,+N'8;Bh¡:=NP*v,*0E)87@[6;Z)8;6;>+Bz@[6;j=,9\^, α χ(α) = 1 + χ x2. \^:=5><=N=> ,-8;BvF[,+>?:=5 \^,4@`BCK)8;,. χ(α) = χ x6. :=N_|^Z BCN8DB-Z)NP,?*v67(+N[,4@`BCK)8;,. . . α − x6 = 5 + 3x2 − 5 + 6x + x2 = 2x + 2x2. = 2 x + x2. FI:6@ VO5 67@[3?N`BC5f@]Bj=,_>. . α = x6 + 2 x + x2. α0 = x + x 2. :=5 Bh 5 B=87,+*v,?5f@. . . α = x6 + 2 x4 + 2x5. . CO 3?8;3?*v,?5f@ ,_FR@X\^3RQI9F[:=E F¡:=NP*-,*hE)87@[6;Z)876D>?BC@[6;j=,|=6;8 5G Hh\^:5 >Z BFO\^,A>+BC8D> E)8DFO\^,]>?:=5Jj=,+NPF[6;:=5 v BC6;NP,=RC}BβFI:*v*-, α + β FI,BC67@A,?5!E)@[6;876DF[B=5f@A87,_F¡:N[*v,+FAB=\)\^67@[6;j=,_F?| Z)E)6DFA,+5 Z B=FPF[B=5f@Av8;B ¡:=NP*v,4*hE)87@[6;Z)876D>?BC@[6;j=,9Z B=NE)5>?BC8D> E 8xFI,+*0K)8DBCK 87,9v> ,+87E)6B=6@]Z#:=E N α α + β = x6 + 2x4 + 4x5 + (x) = 5 + 3x2 + (x). >?:=5Jj=,+NPF[67:5¡:N[*v,9B=\)\G Z YF[:=*v*v,Z = 5 + x + 3x Y>?:=5Jj=,+NPF[6;:=5¡:N[*v,*0E 8@_ Z = x + 2x + 4x CG,]>+BC8D> E)8)\ÊvZ)NP:^\Ê)67@O,+FI@B=FPFI, FI6;*vZ)87,]\ BC5 F5):=@[NP,', ^,?*vZ)8;,Z)E)6DF[LfE),'8;,Z)NP:J\)E)6@\),+F¡:N[*v,+F *0E)87@[6;Z)8;6;>+Bz@P67j,+F',+FI@],?5> :=NP,4E)5),¡:=NP*v,*0E)87@[6;Z)8;6;>+Bz@[6;j=, Y. 2. 5. 5. 4. αβ = x6 + 2x4 + 4x5 (x) = 1 + 2x5 + 4x6. ¢}¢ ª\K]E^_`.

(150) +k.

(151) - . ,. . . Jrtr. % >8 - 3 3 O A

(152) / Q ∈ Zp [X] 0G / G0

(153) β Fp J*K k. Q(α) = 0. /. m. χ(α) = β J. 1 O 1

(154) A/

(155) G0 G/

(156) 3 5 >= @? 0GK

(157) A/

(158) / @CN 0 χ(Q) 1 .

(159) E

(160) / 0Gc0GK

(161) MC40 - * / α ∈ (pk , m) E

(162) */ . 1Y. !"$#% & M:=E)NZ)NP:=E j=,?N'> ,8;,?*v*v,=|^:5oE^@P678;6DFI,E)5),<3?5)3+NPB=876DF[BC@[6;:=5\)E Cx,?*v*v,9.)-,|J,?5, , @]> , 8;,?*v*v,N[,_FR@P,~jJN`BC6F[6#:5oNP,?*vZ)8DB=>?,A8 B=5)5),_BCE Z [X] Z B=N'8 BC5)5 ,+BCE1Y (p , m) , @8;,>?:=NPZ F 5)6 Z ZBCN F Y \^,9*v?*v,9Z:E)N8;,%'&)3?:N[(+*-,.) .)|J> RBA !B=>ek)| %'&x 'C' ' k,?@A%'&G'C'C' ,,DZ Cx,Z:87HJ5 *-, BHB=5f@XE)5 ,9NPB> 6;5),4F[6;*-Z 87, β ∈ F |):=5Z#,?E^@A3_> NP67NP, χ(Q) k. pk. p. pm. pm. :VU. χ(Q)(X) = (X − β) R(X) ,. R(X) ∈ Fpm [X]. 5G B=\^*v,?@]Z B=F β Z#:=E)NN`B=>?675),*CxB-<=3+5)3?N`BC8;6DF[BC@[6;:=5o\)E xC ,?*v*v,0.^ ,46;*vZ)8;6;LfE), Q(X) = (X − β + pS(X)) R(X). Y Z. Z#:=E N S(X), R(X) ∈ 1Y (p , m)[X] E)5 6@`BC6;N[,_F?| β ∈ 1Y (p , m) @[,?8DFLfE), χ(R) = R , @ χ(β) = β U~,Z)8;E F+| ,+FI@~E)5 6@`BC6;N[,9,?@4F[:=5 \^,?<N[3\):=67@A @PN[,3+<B=8x deg((X − β)) = 1 U~:=5 > + pS(X) 5 3+> ,_F[FPBC6;NP,?X*v−,?5fβ@ pS(X) 1Y (p , m) VO5Z:fF[B=5@ α = β + pβ | Y Z'\^:=5 5), = pβ ∈ k. k. 0. k. 0. . Y Z. Q(X) = (X − α) R(X) .. U~:=5>C| = 0 ,?@A> :*-*v, χ(α) = β |)8 , ^6;FI@[,+5 > ,,_FR@]Z)NP:=E j=3?, M:E)N~*vQ(α) :5@PN[,+N8 E)5)6D> 67@[3|F[E)Z)Z#:F[:=5F4LfEG 6;8s,?^6;FI@[, 1Y j=3+N[67B=5@ 6= α | χ(α ) = β ,?@ Q(α ) = 0 w]8;:=N`FF Y Z'6;*vZ)8;6;LfE),0LfE), R(α ) ,+FIα@]E)∈5\^6;jJ6;(pF[,?E),N~m)\^, ?3+N[:|)\ :FUα R(β) | >?,0LfE)6 =0 5x ,_FR@]Z BF'Z:fF[F[6;K)87, & zR ?#Jp #J # " % G$ -

(163) A/ Q < k 0G> O / 0G

(164) E 0 O /

(165) X 1 Q E6 O / N1 */ d = deg Q O

(166) EF 1Y (p , m) / O E O

(167) */ − - 1 J 3 >=@? 0. 0. . k. 0. 0. 0. pm −1. 1 . α, αp , . . . , αp. d−1. T. k. α ∈ T ∗J. ¡ s¢G¤£.

(168) . Z2k

(169)

(170) . c. ,. !"$#% & Sy:=*v*v,?5 ?:=5 F4Z B=NNPB=Z)Z,+87,+N9LEx E)5¥Z#:=8;Hf5=*v,-\),v\),?<=NP3 |67NPN[3_\Ê > @[6;K)87,vF[E)N ,_FR@FI6;*vZ)8;,?*v,?5f@4FP> 6;5 \^3-\)BC5F F [X] ,?@4LfE),-FI6s:=5!5 :C@[, α 8 E)5),v\^,hF[,+nFANPB> 6;5),+F+| 8 ,+5 F[,?*0K F87,-[X] \^,+F o n N`B=>?675 ,+F'\ÊZ:87HJ5 *v,4,_FR@AF[6;*-Z 87,+*-,+5f@ α, α , . . . , α ' 8},+FI@~> 8DBC6;NALfE),9@P:=E^@P,N`B=> 6;5),\^, ,_FR@4> :=5 <=NPE),*-:^\Ê 87: vE)5),0N`B=>?675 ,\^, Sy:=*v*v,=| ZBCN \)3 5)67@[6;:=5 \^, Q | χ(Q) ,_FR@]6;NPN[3_\Ê Q>@P67K 87,F[E)N F |)8;F, CG,+*v*-p,0.)- ,+k |^6;*vZ)876DLfE),LfE)χ(Q) , Bh,?)B=>@P,?*v,?5f@ Nd PB> 6;5),+F'\)B=5 F]1Y (p , m) , @ALfE),9>?,+FN`B=>?675),_F'FI:5@]>?:=5)<N[E),_F' α, α , . . . , α Q*v:^\Ê)8;: p T~N_| 5 3+> ,_F[FPBC6;NP,?*v,?5f@]8;,+F]N`B=>?675 ,+FA\), Q FI:5f@~\)BC5F T #VO5!, , @_|FI6 β ,+FI@~E)5 ,0N`B=> 6;5),\^, Q |#B=87:NPF ,+FI@~E)5 ,hN`B=>?675),h\^, >+BCN U0 BCE)@[NP,hZ B=NI@_|8;,+F~N`B=> 6;5),_FA\^, β F[:=5f@],?^B>@P,?*v,?5f@]8;,+F]X3+873+*v,?5f@P−F~1\^, T Q|>+BC| N]X8DBZ)NP:=Z)−NP6;13 @[3k\),8;BvMN[:Z:fFI67@[6;:=5!.^ ,,96;*vXZ)8;6;LfE),0−LfE)1, >?,+F93+873+*v,?5f@PFF[:=5f@0\^,_F9N`B=> 6;5),_F, @8;W, CG,+*-*v,.)- ,+k6;*vZ)8;6;LfE),LfE),>?,FI:5f@87,_FFI,+E)8;,+F9Z)E 6;FPLfE),87, Z#:=8;HJ5 =*v, X − 1 ,_FR@]F[67*vZ)8;,?*v,+5@AFP> 6;5 \^39F[E)N F [X] ' 8=,?59NP3+F[E)8@P,O\^:=5>LE ,87,_F N`B=>?675),_F\^, FI:5@x\ BC5 F ,?@}LfEG ,+878;,+FxFI:5@G>?:=5)<N[E),_F , . . . , α *v:^\Ê)8;: p Sy:=*v*v, χ(x) d,_FR@Z)NP6;*-67@[67sQF[E)N F |^6;8#,?T^6;FI@[,E)5o,?5f@[6;,?N i @P,?8LfE), χ(x )α,=αχ(x) M:fFI:5 F α = x xSy8;B=67NP,?*v,+5@_| α ,_FR@98;,FI,+E)83?8;3?*v,?5f@\^, T > :5)<=NPE α | j ∈ [0, m − 1]=|α> , LfE)6@P,?NP*v675),98DB-Z)NP,?E)j,= Sy:5 F[6;\^3+N[:5 FX8 BCZ Z)876D>?BC@[6;:=5\^3 5)67,Z B=N 1Y (p , m) −→ 1Y (p , m) σ: p. pn. pn−1. p. p. pd−1. p. k. ∗. pm−1. pm−1. pm−1. ∗. pm−1. pm ∗. pm. pj. i. m−1 X. i. pj. ∗. k. pd−1. p. i. k. λ i xi. m−1 X. 7−→. λ i xi p. λ i ∈ Z pk. Sy,?@I@P,0BCZ)Z 876D>?BC@[6;:=5!B\^,_F]Z)NP:=Z N[6;3 @P3+F'@PN[(_FZ)NP:J>`& ,+F]\^,h8 BCE)@[:=*v:N[Z)& 6;F[*v,\^,0)NP:=K#,?5 67E F~\^,+F~> :N[Z F 5)6;F+ ( S}nJ XWJr %Y( + q}+#rt ?TS #p_r z " # q}p + 3V3

(171) O `/

(172) σ /@0G `0 / `1 3

(173) 1 1Y 1 F . K `0

(174) (p , m) CN0G

(175) -

(176)

(177) E

(178) ( */ - */ 0 0 R `0 Z P J ∀(α, β) ∈ 1Y (p , m) σ(α + β) = σ(α) + σ(β) 5 1 Y ;J ∀(α, β) ∈ (p , m) σ(αβ) = σ(α)σ(β) 5 i=0. i=0. . k. QJ. σ. E. k. 2. k. 2. pk. /

(179) O /

(180) 5. J ∀λ ∈ Zp S ` 0 / 3 /M5 . k. σ(λ) = λ J. σ. k−1 X. S 3 >0 5/ 0 / 20 / 21 3

(181) 1 . 1Y. i=0. T. A(pk , m). ¢}¢ ª\K]E^_`. . / 7 0 3 . µi p. i. !. =. k−1 X i=0. (pk , m). . µpi pi. µi ∈ T .. /0G 3 0G

(182) O 0. A(pk , m) = {Id, σ, σ 2 , . . . , σ m−1 } , E 21 3 1 E 20 /

(183) (pk , m) J. 1Y. . . R

(184) A0 5

(185) MJ J.

(186) _l.

(187) - . ,. !"$#% & UA,Z BCN-8DB\^3? 5)67@[6;:=5 \), |:=5 B>?8;B=67NP,?*v,?5f@-87,_F0Z)NP:=Z N[6;3 @P3+F ,, @vk sMONP:=E)j:=5 F08;B Z N[:Z)N[6;3 @P3.)WJ:67,+5@ α, β ∈ 1Y (p , m) σT~5oZ#:F[, X X ,?@ αβ = P (x) = X c x . α = P (x) = a x , β = P (x) = bx V5\ BCE^@PN[,_F@[,+N[*v,_F?| P (X), P (X), P (X) ∈ Z [X] , @ α ≡ P (X) (mod P (X)) |Bj,+> P \),\),?<=NP3 FR@PN[6D>@P,?*v,?5f@6;5^¡3?NP67,+E)N m |O\), *-+*v,Z#:=E N β ,?@ αβ wxj,+>> ,_Fv5):C@`Bz@P67:5 F?| σ(α) = |^,?@]8;B-Z)NP:=Z N[6;3 @P39.-F[,N[3+3+> NP67@ P (x ) k. m−1. α. m−1. i. i. β. i. i=0. i. β. αβ. i. i=0. α. pk. α. p. T~N_|)\)B=5 F :VU. αβ. i=0. α. α. m−1. i. Zpk [X]. Q(X) ∈ Zpk. Pαβ (xp ) = Pα (xp ) Pβ (xp ) .. |^:5B. , @ [X]. Pα (X)Pβ (X) = Pαβ (X) + Q(X)P (X) , P (X). ,+FI@y8;, X { Z :87HJ5 *v,]E^@[6;8;6;F[3AZ#:=E)NX\^3 5)67NX8 B=5)5),+B=E\^,41B=87:6;F+U~:=5>C|. Pα (xp ) Pβ (xp ) = Pαβ (xp ) + Q (xp ) P (xp ) .. MB=NX8DBhMON[:Z:fFI67@[6;:=5.^ ,_c)|f:5oB P (x ) = 0 |^,?@'ZBCN> :5 FI3_LfE),?5f@'8;BhZ)NP:=Z)NP673?@[39.,_FR@j3?NP6 3+,=JV@:=5 Bv\^:5 >LfE), σ ,_FR@E)5,+5 \^:=*v:N[Z)& 6;F[*v,\),91Y (p , m) W^:=67@ E)53+873+*-,+5f@y\^, fMBCN8DB9Z)NP:=Z N[6;3 @P3 2 |:=5B σ(x ) = σ(x) = x JUA:5 >Z#:=E)NXE)5), ¡:N[*vβ,*0=E x8@P67Z)8;6D>?Bz@P67j, P Tµ p |^:=5 B p. k. j. ∗. k−1 i=0. i. σ. j. j. pj. i. k−1 X i=0. µi p. i. !. =. k−1 X. σ µi p i. i=0. =. k−1 X. k−1 X. ,. σ (µi ) σ pi. i=0. =. . . ,. Y Z. µpi pi .. yS ,?@I@P,0\^,?NP5)6;(?NP,, ^Z)NP,+FPFI6;:=5 \^, Z#,?NP*-,?@~\^,Z N[:E)j=,+N]FI6;*vZ)87,+*v,?5f@~LfE),>C ,+FI@AE)5 ,K)6 QR,+>@P67:5)Y¡Z)NP: Z N[6;3 @P3g>ZOWJ:=6;,?5f@ α , @ β @P,?8DFσLE , σ(α) = σ(β) XSy,+8;B6;*-Z 876DLfE),LfE), σ(α − β) = 0 M:F[:=5F{ P MBCN~E)5)6D> 67@[3-\^,8DBNP,?Z)NP3+F[,?5f@PBC@[6;:=5*0E 8@P67Z)8;6D>?Bz@P67j,, @4Z BCN Y Z|#:=5!B α Z#:=−E N βi =∈ [0, k −µ1]p|\^:5 > µ = 0 Z#:=E)N i ∈ [0, k − 1] |6 ,= α = β #wHfBC5f@A\^3RQIZ)NP:=E)j3LfE)µ, σ=,+FI0@ E 5,+5 \^:*-:N[Z &)6;F[*v,=|J6;8G,?5NP3+F[E)8@P,9LE ,>= ,_FR@]E 5B=E^@[:*v:=NPZ)&)6DFI*v,= MN[:E)j=:5 FA8DB\^,?NP5)6;(?NP,hZ B=NI@P67,v\Ê@[&)3+:=NP(?*v,=GWJ:6@ ψ E)5 BCE^@P:=*v:=NPZ)&)6DFI*v,-\^,1Y (p , m) GA3+> ,_F { FPBC6;NP,?*v,?5f@+| ,+FI@~8 6;\^,+5f@[67@[3hF[E)N |#>+BCN = 1 ,?@ ψ(α + β) = ψ(α) + ψ(β) ZBCN~\)3 5)67@[6;:=5 \G E)5tB=E^@[:*vψ:=NPZ)&)6DFI*v,\ BC5)5),_BCEGZsUA:5 > Pψ(1) ,?@0Z BCN08;BMONP:=Z#:F[67@[6;:=5t.^ ,_c)| (ψ(x)) = ψ(P (x)) = 0 i=0. k−1 i=0. i. . i. p i. i. k. pk. ¡ s¢G¤£.

(188) . @P:=E^@. ψ(x). Z2k

(189)

(190) . ze. ,. ,+FI@\^,A8DB9¡:N[*v, x |JBj=,+> i ∈ [0, m − 1] E' 8#N[3_FIE 8@P,~\^,48;B0Z)NP:=Z)NP673?@[3~.0LfE), T~5Bv\^:5 >~ 5 B=87,+*-,+5f@+| µ∈T pi. ψ(µ) = µp. i. Z#:=E)N. ∗. k−1 X. ψ. µi p. i=0. i. !. ,=. k−1 X. ψ(µi ) pi ,. i=0. =. k−1 X. i. µpi pi ,. i=0. = σi. k−1 X. µi p i. !. ,. >?,9LE 6@[,+N[*v6;5),8;B\^3+*v:=5 FI@[N`Bz@P67:5o\Ê@[& 3?:=NP(?*v, & zR ?#Jp #J # " % I 3" sn ? " " !( # " n *# A(p , m) + `0 / `1 3

(191) 1 R 1Y N1 1Y 3 O 21 `0 (p , m) * /T

(192)

(193) 1Y */

(194) 3 2*1 / 0G 1 E(p , m) 54

(195) MJ J 0G/ 0 /

(196)

(197) O O 3 .

(198)

(199) 9

(200) I/

(201)

(202) */ ψ , . . . , ψ 5 (p , m) 20 / i=0. k. k. k. . k. . WJ:6@ n *-6;5)6;*BC8GZ#:=E)NE 5),9N[,+8;BC@[6;:=5\Ê@RHfZ#, α1 ψ1 + · · · + α n ψn = 0. !"$#% &. wA87:NPF+|^Z#:=E)N'@P:=E^@. =⇒. 1. n. α 1 = · · · = αn = 0 .. Y Z. α1 ψ1 + · · · + α n ψn = 0 . y. α1 ψ1 (xy) + · · · + αn ψn (xy) = α1 ψ1 (x)ψ1 (y) + · · · + αn ψn (x)ψ(y) ,. C 3+873+*v,?5f@ 3 @`BC5f@675Jj,?N`FI6;K)8;,=| 8 ,_FR@3+<BC8;,?*v,+5@9,?@0FI:56;5Jj=,?N`F[,h,_FR@0F[67*vZ)8;,?*v,+5@ M:fFI:5 F x =x ψ (x ) | :=5 B-,?5ψ*0E)(x)87@[6;Z)8;6;B=5@ Y ZZBCN x , @,?5 F[:=E FI@[N`BHB=5f@X Y Z. Y Z. =0 .. 0. i. −1. i. . 0. ψi (x−1 ). . α1 (1 − x0 ψ1 (x)) ψ1 (y) + α2 (1 − x0 ψ2 (x)) ψ2 (y) + · · · + αn (1 − x0 ψn (x)) ψn (y). = α2 (1 − x0 ψ2 (x)) ψ2 (y) + · · · + αn (1 − x0 ψn (x)) ψn (y) ,. ~T N> 8DBC6;NP,?*v,?5f@~6;8, ^6DFR@P, @P,?8LfE), x ψ (x) 6= 1 |> ,vLE 6>?:=5f@[NP,+\)6@487,v>?B=NPB>@[(+N[,0*-6;5)6;*BC8 \), n , @A>?:=5 >?87E)@'8DBvZ)NP,?E)ji,=∈ [2, n] C B=E^@[:*v:=NPZ)&)6DFI*v,0\^,v)NP:=K#,?5 67E F4Z#,?NP*v, @+|\^,-*BC5)6;(?NP,hF[6;*-6;8DBC6;N[,0B=E^> :N[ZF 5)6DF\^,v\^3 5 67NE)5), B=Z)Z)8;6;>+Bz@P67:5%xN`B=>?, =8DB9@PNPB> ,4\^, ,_FR@X8;BhFI:*-*v,\^,+FX\^6 #3+N[,+5f@[,+FyjzBC8;,?E)N`FyZ)N[6DF[,+FyZ BCNy87,_FXB=E^@[:*v:=N { Z &)6;F[*v,+F\^,98 BC5)5),_BCEG|)F[:=67@ α %xN : 1Y (p , m) −→ 1Y (p , m) =0 .. 0. i. k. α. ¢}¢ ª\K]E^_`. k. 7−→. m−1 X i=0. σ i (α).

(203)

(204) - . ,H. Cx,+F@[NP:=6DFZ)NP:=Z)NP6;3 @[3_F0F[E)6;jB=5f@[,+Fh\^3+>?:=E)8;,?5f@v\^67NP,+> @[,+*-,+5f@-\Ê B=6@vLfE), ,_FR@-E)5 BCE)@[:=*v:N[Z)& 6;F[*v, σ 8DBC6DFPF[B=5@ Z 675JjzBCNP6;B=5f@ ,= 1Y (p , m) %xN (λα) = λ%}N (α) , ∀λ ∈ Z , ∀α ∈ .^ ∀(α, β) ∈ 1Y (p , m) %}N (α + β) = %}N (α) + %}N (β) , g) ∀α ∈ 1Y (p , m) %}N (σ(α)) = σ(%}N (α)) = %}N (α) . Y],?*BCN`LfE):=5 F'LfE),98DBvZ)NP:=Z)NP673?@[39gv6;*-Z 876DLfE),LfE),98;B-@PNPB> ,,+FI@AvjzBC8;,?E)N`F\)B=5 F Z )VO5 ,#,?@+|)5 :=E F Bj:=5 F Jrtr % 6O 0G N1 */ 1Y (p , m)

(205) E

(206) ( */ 3 σ */ O 0FE Z !"$#% & WJ:6@ α = P µ p | µ ∈ T @[,+8xLfE), σ(α) = α K CG,%'& 3?:=NP(?*v,9.^ ,+l-6;*-Z 876DLfE), pk. k. pk. 2. k. k. pk. k. i. i. i. pk. i. m−1 X. µi p i =. m−1 X. µpi pi .. yS :*v*-, , @Z BCNXE)5)6D> 67@[39\^,8DB¡:N[*v,4*0E)87@[6;Z)8;6;>+Bz@P67j,=|^6;8#,+5oNP3+F[E)87@[,48 3?<fBC8;6@P3 Z#:=E)N @P:=E^@ i \)BCµ5F ∈[0,Tm − 1] JW^6 µ ,+FI@X5):55JE)8|JB=87:NPF µ ,+FI@'\)B=5 F T LfE)6,_FR@'E)5o<=NP:=E)Z#,Aµ*hE)=8@Pµ67Z 876D>?BC@[67 \),0>?B=NP\^6;5 B=8 | 5),h\^6;jJ6;FPBC5f@]Z BF p − 1 8DBF[,?E)8;,hF[:=8;E^@[6;:=5 ,_FR@ µ = 1 U~:=5> µ ∈ {0, 1} ,?@]Z BCN>?:=5 F[,+pLfE),+−5@ 1α p∈ Z C 6;*vZ:NI@`BC5 >?,9\^,8 BCZ)Z 876D>?BC@[6;:=5%xN]jJ6;,?5f@]\Ê@[&)3+:=NP(?*v,9FIE 67jzBC5f@ ( S}nJ XWJr %Y(G5 R 0 / 3F3

(207) O `/

(208) 3 */ E Q 3 3 E

(209) (N/ O

(210) 0 5

(211) MJ J:/ 0 / 1

(212) 1 0G 1Y (p , m) / - 1 α 7→ %}N (βα) 3 0GB0G O /

(213) β ∈ 1Y (p , m) J

(214) 0 Z !"$#% & C B=5)5),_BCE1Y ,+FI@AE)5 *v:J\)E)87,h876;K)NP,0\^,-\^67*v,+5 FI6;:=5 |#,?5!, #,?@4\ BCZ)NP(+F 8DBMONP:=Z#:F[6@P67:5 .)-,.^|G8;,+F3?8;(p3?*v,?, 5fm)@PF 1, x, . . .Z, x { F[:=5f@8;675 3+BC6;NP,?*v,?5f@6;5 \^3?Z#m,?5\)BC5f@PF, @0<3?5)3+NPB { @P,?E)N`F+GUA:5 > Y>R A AE)K5 H=d DZ |G8 ,+5 FI,+*0K)8;,\^,FI,_F4¡:=NP*v,+F4876;5)3_BC6;N[,_F,+FI@3+<B=87,+*-,+5f@4E)5 Z { *v:J\)E)87, \),\)67*v,?5FI6;:=5 m )wA675 F[6|^678GF[E Tv@]\^,A@PN[:E)j=,+NyE 5),4BC*v678;8;,48;6;K)N[, Y¡6 ,=^8;675)3_BC6;N[,+*v,?5f@X6;5 \^3+Z,+5 \)B=5@P, Z \), m 3?8;3?*v,?5f@PF\),98;Bh¡:=NP*v, α 7→ %}N (βα) MONP:=E j=:=5FXLfE),8DBhBC*v678;8;, n o %}N

(215)

(216) α 7→ (x α)

(217) i ∈ [0, m − 1] ,_FR@8;67K N[,)M:F[:=5 F T = %xN (x x ) |)BC8;:=N`F %}N (βα) = (b , . . . , b ) · T · (a , . . . , a ) , i=0. i=0. p i. i. m. i. m. p i. i. ∗. i. i. pk. . pk. k. k. k. pk m−1. pk. i. i j. 0≤i,j≤m−1 0. m−1. t. 0. m−1. ¡ s¢G¤£.

(218) . :VU. . Z2k

(219)

(220) . m−1 X. α=. a i xi. , @. ,.. β=. i=0. m−1 X. b i xi. UA:5 >4:=5 B. i=0. %xN %}N %xN (x b (x α) + b (x α) + · · · + b 0. 0. 1. 1. m−1. ! X } % N α) = bxα %xN = (βα) , m−1. m−1. i. i. ,. i=0. wA675FI6|Z)NP:=E)j,?NLfE),8;BBC*v6;878;, > :5 FI6D\^3+N[3+,o,_FR@8;67K)NP,N[,+jJ67,+5@¥Z)NP:=E)j,?NvLfE),8;B¥*Bz@PN[6D> , T ,_FR@ 6;5Jj=,+NPF[67K 87,|z6 ,==LfE), det(T ) ,+FI@O675Jj,?N`FI6;K)8;,=zM:=E)NO>?,?8DB)|CZ#:F[:=5F S = σ (x ) |C:5B9BC8;:=N`F ) | ? , 5 , . , @ T =S· S = (b0 , . . . , bm−1 ) · T · t (a0 , . . . , am−1 ) . j. i. 0≤i,j≤m−1. t. t. S· S. . i,j. =. =. σ k (xi )σ k (xj ) ,. k=0 m−1 X. σ k (xi xj ). . ,. \ BCZ N[(_F'87,9%'&)3+:=NP(?*v,.^ ,+l Z %}N = (x x ) . T~N6;8N[3_FIE 8@P,-\Ê CG,+*v*-,.)-,zeLfE), ,+FI@9675Jj,?N`FI6;K)8;,#\ BC5 F48;,v>+B=F> :5f@[N`BC6;N[,| S FI,+NPB=6@5):=5 6;5Jj=,+NPF[67K 87,|f6 ,=)6;8G, ^6DFR@P,?N`BC67@ (α , . . . ,det(S) 1Y (p , m) 5):=55JE)8@[,+8xLfE), α )∈ Y. >?B=N σ ,_FR@]\)B=5 F. m−1 X. k. k=0. A(pk , m). i j. 1. m. k. m. (α , . . . , α )·S =0 , ?> ,9LE 6G3+LfE)6;jzBCE^@] Z#:=E N i ∈ [0, m − 1] )U~:=5>α:=x5BC+E)N`αBC67@ σ(x ) + · · · + α σ (x ) = 0 0. 0. i. 1. m−1. i. m−1. m−1. i. Z E)6;FPLfE),!@P:=E^@3?8;3?*v,?5f@o\),¥1Y (p , m) F? 3+>?N[67@\^,B ?:=5 E)5)6DLfE),>?:=*v*v,> :*0K)6;5 B=6;F[:=5 8;675 3+BC6;NP, F[E)N \), U0 BCZ N[(_F8;,o%'&)3+:=NP(?*v,o.^ ,+l |x8;,+F |Z#:=E)N F[:=5f@h\^,_F B=E^@[:Z*v:=NPZ)&)6DFI1,*vx,,+F~. .. . , x.\^6DFI@[6;5 >@`F?|#678sH BCE)N`BC67@A\^:5 >9E)5),-> :5@PNPσB\^6D>@[6;:=5x iw]∈6;5 F[[0,6 |#:=m5−B1]Z)N[:E)j=3LfE), ,+FI@]675Jj=,+NPF[6;K)87,|^\ V: U87,NP3+F[E)8@`Bz@3?5 :=5 >?3= det(S · S) = det(S) α0 Id + α1 σ + · · · + αm−1 σ m−1 = 0 , k. m−1. 2k. 2. t. . i. . oU Io FU.

(221)

(222) . n " #¡# ". /Y 0 1 0G 0 0G. ¢}¢ ª\K]E^_`. Z2 k. # " nK# p+q . Z2k n J. Z2k. + O . C2k. Z2 k.

(223)

(224) . . R720 0G. n. . 0G. Z 2k. E. /.

(225) .=d.

(226) - . Sy:5f@[N`BC6;N[,+*-,+5f@'B=E^,+F[Z B> ,+FXj,+>@P:=NP67,+8;F+|^8;,+F *v:^\Ê)8;,+F'5x B\^*v, @I@P,?5f@]Z BF5)3+>?,+FPF[B=67NP,?*v,+5@'E)5), KB=F[,=$' 8;FZ#:FPF[(+\^,+5@4@[:E^@[,?¡:=6DF4E)5),-BC*v6;878;,v<=Z3?5 3?{ N`Bz@[NP6D> ,0,?@\^:=5 >hE)5),v*Bz@PN[6D> ,-<=3+5)3?N`Bz@PN[6D> ,|*B=6;F 8DBv\^3+>?:=*vZ#:F[6@P67:5\^,_F'3?8;3?*v,?5f@`F]FIE N]> , @[@[,B=*-6;8;87,5G ,+FI@]Z)8;E F5)3_> ,+FPFPBC6;N[,+*-,+5f@XE)5 6;LfE), n " #¡ # " /Y% ^ # ;#n " n ^ # + 3V3 %1 2/ E

(227) O 7> 2/ E

(228) O 0 O J C / 0 / 1 `/ E

(229) O M(Z ) */

(230) G7 E 1 */ 0G 1

(231) 7 `/ E

(232) O %1

(233) K

(234) 1 0 O J J Sy,?@I@P,4*BC@[NP6;>?,4Z#,?E)@AFI,*v, @[@[NP,F[:=EFyE 5),¡:=NP*v,~Z B=NI@P6;>?E)8;67(+N[,|JF[6:=5F+ B=E^@[:N[6DFI,-*v:J\)6 ,+N'873+<=(?NP, { *v,+5@]8;,9> :^\^, n " #¡ # " /Y / 0 Jpvn q4#M\ ) " +p + -

(235) */ C / C 0FE O J E

(236)

(237) E 0G Z 2k. 2k. 2k. 1 ` / E

(238) O 7 2/ E

(239) O G / G0 3 O /

(240) N1 1 3 1 E

(241) / 0G `/ E

(242) O 0 / `/

(243) P /. . 0 2k. 2 I/8J O k. C2 k. CN0. . /. C02k. . F 2 I/ A

(244) / 6CN0G

(245) */

(246)

(247) . k. G0 = G · P .. ( }S nJ XWJr / -8 $ 045 $ # % )8+ - A

(248) / C 50G O J

(249)

(250) 0G Z J 0G 3 1 0 / 2/

(251) O R E 3 5 C2 2 1 /0G 1 ` / E2

(252) O 7> `/ E

(253) O

(254) A/ 21 1   A0,k Il A0,1 J4J J J J4J J4J J J J4J J4J4J J   0 2Il 2A1,k 2A1,2 J4J J4J J J J4J J   G= J  , J J J J JJ JJ JJ JJ   JJ k−1 k−1 0 J J J J 0 2 Il 2 Ak−1,k J O T 1 E 1

(255) */ {0, 1} / Il / - `/ E

(256) O

(257) * /

(258) A/ . Ai,j I/ `/ E

(259) O li × lj 9 O /

(260) li J k. k. k. 0. 1. k−1. i. z *# / $ K O / `/

(261) F 0L/ T~5\^3? 5)67@]87,9Z)NP:^\Ê)67@AF[>+BC8DBC6;N[,4FIE N Z Z B=N 0. 2k. 1 3 O */[5. C2 k. . 2(k−i) li. -. 1 I/ J. i=0. n. a·b=. k−1 Y. n−1 X. a i bi ,. 8;,+F:=Z#3?N`Bz@P67:5 F3 @`BC5f@,#,_>@[E 3?,+Fy\)BC5F Z JSy,~Z)N[:^\Ê 6@yFP>?B=8;B=67NP,'Z,+N[*v,?@X\^,A\)3 5)6;NE 5),A5):=@[6;:=5\^, \)E BC8;6@P39FIE)N Z n " #¡ # " /Y + 0 sq Xp_q Z + -

(262) A/ C 0G O J

(263)

(264) 0G Z 5 @ 3F3 O i=0. 2k. . 2k. 0K 0 O J . C2 k 5. . / /. 2 1 2 F k. k. C⊥ 0 0G. 2k 5. n

(265)

(266) C⊥ 2k = a

(267) ∀b ∈ C2k ,. Z2k n. 3 R

(268) . a·b=0. o. 2k. .. ¡ s¢G¤£.

(269) . .*,. . Z2k

(270)

(271) . Cx:=N`F[LfE),98DBv*Bz@PN[6D> ,<3?5)3+NPBC@[NP6;>?,9\Ê> :^\^, \)E>?:^\^,9\Ê BC8GF[,9*v, @AF[:=E F'8DBh¡:=NP*v,. ,+FI@~F[:=E F¡:=NP*-,05):=NP*BC8;,=|)8DB*Bz@PN[6D> ,<3?5)3+NPBC@[NP6;>?,  ? + ? + ? I  B B B  2B 2B 2B . . . 2I 0   G =  ? + ??? + ? + ?????? + ? + ??? + ? + ??? +? +  , ? . + . ? . + . ? 2 B 2 I 0 0 F[:=5f@~\),h\^6;*v,?5 F[67:5 F l × l ,?@4>?:JN, T> 6;,?5f@PF~\)BC5F {0, 1} Sy,?8DBB8DB>?:=5 F[3+LfE),+5 > , C2 k. 0,0. ⊥. k−1. :VU 87,_F B F[E)6;jzBC5f@[, & zR ?#Jp #J# "</Y I i,j. k−1,0. $0 . k−1. lk. 0,2. 1,1. k−i. 1 */ J. -. 0,1. 1,0. 1,2. lk−1. l1. j. 5 $ # )8+ K O E / `/

(272) 0. . 1 Q O J 5. C⊥ 2k. k−1 Y. . 2i li. i=0. }B 5):=@[6;:=5t\^,\Ê BC8;67@[3Z#:=E Nh\^,_Fh>?:J\),+F8;6;5)3+B=67NP,+FF[E)N Z ,_FR@-Z)NP:J>`& ,\^,>?,?8;87,\^3 5 67,oZ:E)N08;,+F >?:^\^,+F'8;675 3+BC6;NP,+FYF[E)N]E)5 >?:=NPZ Fy 5)6DF Z )VO5f@[NP,BCE^@PN[,_F & zR ?#Jp #J # "</Y OZ $ 0 5 $ # )8+ -

(273) A/ C 0G O

(274)

(275) 0G Z J O 0K C E / 1 1 J C >0G

(276) . O wAE^@[NP,F[67*v6;8;B=N[67@[3OBj,+>8;,+F}> :^\^,+Fx876;5)3_BC6;N[,_FGFIE NGE)50>?:=NPZ F# 5)6 +8;,+Fx3?5JE)*v3?N`Bz@P,?E)N`F\^,+FxZ:6;\ Fx> :*vZ)87,?@PF F[:=5f@8;673_F'Z BCNE)5 ,96;\^,+5f@[67@[3\^, !B> 6;878;6;B=*F? ( S}nJ XWJr / 5 3 " J #+ n ! ) # # )r Fp ?#q Z + -

(277) A/ C 0G O J

(278)

(279) 0G Z J C. 2k. 2k. ⊥ 2k. 2k. 2k. . 3. ω=e. CWC⊥k 2. [. . 2iπ 2k. J. 3 . 1 I0 1 `/ 0G 3

(280) 2 O ` 1 3 / [2. >=H? k. k. C2 k. . /. C⊥ 2k. . 2. k. E

(281) */.  k k k 2X −1 2X −1 2X −1 k 1 (X0 , . . . , X2k −1 ) = CWC2k  ω 0i Xi , ω i Xi , . . . , ω (2 −1)i Xi  . |C2k | i=0 i=0 i=0 .

(282) . Z2k. U4BC5 F@[:=E)@[,> ,?@I@P,FI,_>@[6;:=5x|^:=5 FI,NP,+FI@[NP,?6;5f@B=E >?B=F':VU 7F0 0G n E O F /0G I/

(283) 1

(284) 3

(285) n " #¡ # " /Y 6M 0 G( # q!p_q Z + O J C R720 0G n 0GF K 20 Z . 2 2 /

(286) A/ O = O

(287) MCN0

(288)

(289) /

(290)

(291) /

(292)

(293) /

(294) E

(295) ( */ 3 3V3

(296) O 2 /

(297)

(298) 6/ K

(299) 3 . A 5> :^\^,h> H^> 8;6;LfE),hFIE)N Z 876D>?BC@[6;:=5. k. k. s((a0 , . . . , an−1 )) = (an−1 , a0 , . . . , an−2 ) . Z2k φ:. ,_FR@4\^:=5 >87,hZ,+5 \)BC5f@A,?)B=>@4\ E 5> :^\^,0>?H^> 8;6;LfE),0F[E)N Z w]6;5 FI6| 8 BCZ { 2. Z2k n v = (v0 , . . . , vn−1 ). −→ Z2k [X]/(X n − 1) n−1 X 7−→ φ(v) = vi X i i=0. ¢}¢ ª\K]E^_`. 2k.

(300) ...