Documente Academic
Documente Profesional
Documente Cultură
5.art - Algoritmul Cantor
5.art - Algoritmul Cantor
S x k x Fq* . Atunci
ii) S y Fq y 1 .
* e
Demonstraţie:
i) Există Fq astfel încât ord q 1 . Fie : k . Rezultă că
*
q 1
ord e
k
y k i
i
. Rezultă că S , ceea ce arată că S este un subgrup de ordin e al
grupului F ,
*
q
.
q 1 q 1
j e q 1 j
j k kj k j q1 1 j 1 ,
deci S T .
1
David G. Cantor (1935-2012), profesor de matematică la UCLA, The University of California, Los Angeles
2
Hans Julius Zassenhaus (1912-1991), matematician german, profesor la Ohio State University
1
Reciproc, fie y T . Există atunci i, 0 i q 1 , astfel încât y i . Cum y e 1 ,
avem ie 1 , deci q 1 ie . Dar q 1 ek , deci k i . Aşadar, i kj pentru un j N şi
atunci y kj j S , ceea ce arată că avem şi T S .
b Fq* . Avem
q 1
ii) P a Fq* a 2
1 .
q 1 q 1
iii) a 2
1,1 , a Fq* şi valorile 1 şi -1 ale lui a 2 sunt egal probabile.
Demonstraţie:
Afirmaţiile i) şi ii) rezultă din Lema 1.
q 1
, a Fq* . Avem a 1 , deci 1 1 0 . Cum Fq este
q 1
iii) Fie a 2
2
1 i r .
Definim aplicațiile
i : Fp X Fi Fp ui , i g g ui , 1 i r ,
și aplicația
: Fp X Fi , g 1 g , 2 g , , r g .
1i r
2
Dat polinomul f Fp X produs de r 2 polinoame monice ireductibile și distincte
de același grad d, Algoritmul Cantor-Zassenhaus determină un divizor propriu h al lui f. În
acest scop se alege la întâmplare un polinom monic g Fp X astfel încât
1 grad g n grad f dr , r 2 .
q 1 pd 1
e . De asemenea,
2 2
g e 1 1 1, 2 1, , r 1 Fi .
1i r
propriu al lui f), mai puțin cazul 1 2 r , ceea ce poate să apară cu probabilitatea
1
21 / 2 2 r 1
r
.
2
1
divizor propriu al lui f este 1 . Astfel, dacă m 5 probabilitatea să avem succes este
2m
1 31
egală cu 1 5
, deja suficient de mare.
2 32
Bibliografie
[1] T. Albu, I.D. Ion: Itinerar elementar în algebra superioară, Editura Matrix Rom, 2012
[2] I. Iοn, N. Radu: Αlgеbră, Еd. Didaсtiсă și Ρеdagοgiсă, București, 1991.
[3] I. D. Ion, C. Năstăsescu, C. Niță: Complemente de algebră, Ed. Ştiinţifică şi
Enciclopedică, Bucureşti, 1984.
[4] C. Νăѕtăѕеѕсu, C. Νiță, C. Vraсiu: Βazеlе algеbrеi, Βuсurеști: Еd. Αсadеmiеi, 1986