arxiv: v1 [math.nt] 9 Jan 2019

Transcription

1 Facorizaio of comosed olyomials ad alicaios FE Brochero Maríez a, Lucas Reis b,, Lays Silva a,1 a Dearameo de Maemáica, Uiversidade Federal de Mias Gerais, Belo Horizoe, MG, , Brazil b Uiversidade de São Paulo, Isiuo de Ciêcias Maemáicas e de Comuação, São Carlos, SP , Brazil arxiv: v1 [mahnt] 9 Ja 2019 Absrac Le F q be he fiie field wih q elemes, where q is a rime ower ad be a osiive ieger I his aer, we exlore he facorizaio of fx over F q, where fx is a irreducible olyomial over F q Our mai resuls rovide geeralizaios of rece works o he facorizaio of biomials x 1 As a alicaio, we rovide a exlici formula for he umber of irreducible facors of fx uder some geeric codiios o f ad Keywords: irreducible olyomials, cycloomic olyomials, fiie fields, λ-cosacyclic codes 2010 MSC: 12E20, 11T30 1 Iroducio The facorizaio of olyomials over fiie fields lays a imora role i a wide variey of echological siuaios, icludig efficie ad secure commuicaios, cryograhy [8], deermiisic simulaios of radom rocess, digial rackig sysem [7] ad error-correcig codes [1] For isace, cerai codes ca be cosruced from he divisors of secial olyomials; for λ F q ad a osiive ieger, each divisor of x λ i F q [x] deermies a λ-cosacyclic code of legh over F q I fac, each λ-cosacyclic code of legh ca be rereseed as a ideal of he rig R,λ = F q [x]/ x λ, ad each ideal of R,λ is geeraed by a uique facor of x λ I addiio, if g F q [x] is a irreducible facor of x λ, he olyomial x λ F gx geeraes a ideal of q[x] x λ ha ca be see as a miimal λ-cosacyclic code of legh ad dimesio deggx I aricular, i order o deermie every miimal λ-cosacyclic code, he facorizaio of x λ over F q is required Some arial resuls abou his roblem ca be foud i [10, 11, 13] The case λ = 1 corresods o he well kow cyclic codes see [9] We observe ha he olyomial x λ is of he form fx, where fx = x λ F q [x] is a irreducible olyomial The followig heorem rovides a crierio o he irreducibiliy of comosed olyomials fx whe f is irreducible Theorem 11 [9] Theorem 335 Le be a osiive ieger ad f F q [x] be a irreducible olyomials of degree k ad order e The he olyomial fx is irreducible over F q if ad oly if he followig codiios are saisfied: 1 rad divides e, 2 gcd, qk 1 e = 1 ad 3 if 4 divides he q k 1 mod 4 I addiio, i he case ha he olyomial fx is irreducible, i has degree k ad order e Corresodig auhor addresses: fbrocher@maufmgbr FE Brochero Maríez, lucasreisma@gmailcom Lucas Reis, laysgrazielle@gmailcom Lays Silva 1 Permae address: Dearameo de Maemáica, Uiversidade Federal de Roraima, Boa Visa-RR, , Brazil Preri submied o Elsevier Jauary 11, 2019

2 I he rese aer, we cosider f F q [x] a irreducible olyomial of degree k ad order e, ad imose some codiio o similar o he oes i [3] ha make he olyomial fx reducible We he discuss he facorizaio of fx over F q I [3], he auhors cosidered he facorizaio of x 1 F q [x], where is a osiive ieger such ha every rime facor of divides q 1 A more geeral siuaio is cosidered by Wu, Yue ad Fa [16] I he firs ar of his aer, we geeralize hese resuls for olyomial of he form fx, where f F q [x] is irreducible We furher cosider a more geeral siuaio whe here exiss some rime divisor of ha does o divide q 1 2 Exlici Facors of fx Throughou his aer, F q deoes he fiie field wih q elemes, where q is a rime ower Also, F q deoes he algebraic closure of F q For ay osiive ieger k, radk deoes he roduc of he disic rime divisors of k ad, for each rime divisor of k, ν k is he -adic valuaio of k I oher words, if k = α1 1 α2 2 αs s he radk = 1 s ad ν i k = α i If f F q [x] is a olyomial o divisible by x, he order of fx is he leas osiive ieger e such ha fx divides x e 1 I is kow ha if fx is a irreducible olyomial over F q [x] of degree m, he each roo α of f is a eleme of F q m ad, if fx x, he order e of f is he mulilicaive order of α ad m = ord e q I addiio, he roos of fx are simle ad hey are give by α,α q,,α qm 1 Le σ q be deoe he Frobeius auomorhism of F q give by σ q α = α q for ay α F q This auomorhism aurally exeds o he rig auomorhism F q [x] F q [x] a m x m + +a 1 x+a 0 a q m xm + +a q 1 x+aq 0, ha we also deoe by σ q The followig well-kow resul rovides some roeries o he -adic valuaio of umbers of he form a j 1 wih a 1 mod Is roof is direc by iducio so we omi he deails Lemma 21 Lifig he Exoe Lemma Le be a rime ad ν be he -valuaio The followig hold: 1 if is a odd rime such ha divides a 1 he ν a k 1 = ν a 1+ν k; 2 if = 2 ad a is odd umber, he { ν 2 a k ν 2 a 1 if k is odd, 1 = ν 2 a 2 1+ν 2 k 1 if k is eve I his secio, we give a exlici facorizaio of olyomial fx over F q [x], where fx is a irreducible olyomial i F q [x] ad saisfies some secial codiios This resul geeralizes he oes foud i [3], where he auhors obai he exlici facorizaio of x 1 F q [x] uder he codiio ha rad divides q 1 We have he followig relimiary resul Lemma 22 Le be a osiive ieger such ha rad divides q 1 ad le f F q [x] be a irreducible olyomial of degree k ad order e, wih gcdek, = 1 Addiioally, suose ha q 1 mod 4 if 8 divides Le r be a osiive ieger such ha r 1 mod e If α F q is ay roo of fx, θ F q is a eleme of order d = gcd,q 1 ad is a divisor of d, he followig hold: k 1 a he olyomial g x := x α rqi is irreducible over F q, has degree k ad order e; i=0 b for each oegaive ieger u 0 such ha gcdu, = 1, he olyomial g θ u x is irreducible i F q [x] ad divides fx Proof We sli he roof io cases a Sice f F q [x] is irreducible of degree k ad α is oe of is roos, α F q k ad α qk = α I k 1 k 1 aricular, σ q g x = x α rqi+1 = x α rqi ad so g F q [x] I order o rove i=0 i=0 ha g x is irreducible, i suffices o show ha he leas osiive ieger i for which α rqi = α r is i = k We observe ha α rqi = α r if ad oly if α rqi 1 = 1, ha is also equivale o rq i 1 0 mod e The resul follows from he fac ha gcde,r = 1 ad ord e q = k 2

3 b Suose ha λ is a roo of g θ u x, or equivalely, λ θ u is a roo of g x The here exiss j N such ha λ θ u = α rqj I aricular, α qj = α rqj = α rqj = λ θ u = λ Therefore, λ = α qj is a roo of fx ad so ay roo of g θ u x is also roo of fx This shows ha g θ u x divides fx Now we are lef o rove ha g θ u x is, i fac, irreducible over F q Sice g θ u x is irreducible, we oly eed o verify ha g θ u x ad saisfy he codiios of Theorem 11 We observe ha each roo of g θ u x is of he form θ u α rqi, hece ord g θ u x = ordθ u α rqi = ordα rqi ordθ u = ed gcdu, d, whereihe secodequaliyweusehe facha gcde, = 1adddivides Sicegcdu, = 1 d ad rad divides d, we have ha rad divides gcdu,d Iaricular,raddividesord g θ u x q k 1 Nex, we verify ha gcd, ord g θ u = 1 I fac, x gcd, q k 1 d = gcd, qk 1gcdu,d ed e gcdu, d I addiio, gcdu, = 1, gcd, e = 1 ad rad divides d ha divides Therefore, gcd, e = 1 ad so gcd, qk 1gcdu,d = gcd, qk 1 ed d Le be ay rime divisor of, hece also divides Sice gcd,k = 1, we have ha does o divide k I aricular, ν k = 0 ad k is odd if = 2 From Lemma 21, we have ha ν q k 1 = ν q 1+ν k Therefore, ν q k 1 = ν q 1 I addiio, divides d ad so ν > ν d Sice ν d = ν gcd,q 1 = mi{ν, ν q 1}, q k 1 we coclude ha ν d = ν q 1 ad ν = 0 Bu is a arbirary rime divisor of d ad so we coclude ha gcd, qk 1 = 1 Fially, we eed o verify ha q 1 mod 4 if d 4 divides Sice divides gcd,q 1 ad every rime divisor of divides q 1, if 4 divides, i follows ha gcd,q 1 is eve ad gcd,q 1 is divisible by 4 Therefore, is divisible by 8 From our hyohesis, q 1 mod 4 The mai resul of his aer is saed as follows Theorem 23 Le f F q [x] be a moic irreducible olyomial of degree k ad order e Le q,,r,θ ad g x be as i Lemma 22 The fx slis io moic irreducible olyomials over F q as fx = θ uk g θ u x 1 m where m := d = gcd,q 1 1 u d gcdu,=1 Proof We observe ha he facors g θ u x for 1 u d wih gcdu, = 1 are all disic I fac, if g θ u x = g θ w x for some 1 u,w d wih gcdu, = gcdw, = 1, here exiss a oegaive ieger i such ha θ u α r = θ w α rqi, ha is equivale o θ w u = α rqi 1 ad he θ u w e = α rqi 1 e = 1 3

4 The las equaliy eails ha he order of θ divides w ue From hyohesis, gcd,e = 1, hece gcdd,e = 1 ad so d divides w u Sice w u < d, we ecessarily have w = u Le hx be he olyomial defied by he roduc a he RHS of Eq 1 Sice he facors of his roduc are moic, airwise disic ad divide fx, hx is moic ad divides fx I aricular, he equaliy fx = hx holds if ad oly if hx ad fx have he same degree, ie, deghx = k Sice divides m, rad divides rad hece divides q 1 ad so rad divides d Therefore, for each divisor of d, he umber of olyomials of he form θ uk g θ u x wih 1 u d ad gcdu, = 1 equals equals d rad dϕ ϕrad =, where ϕ is he Euler Phi fucio I aricular, he degree of hx m dϕ k = dk ϕ = dkm = k m Corollary 24 Le fx, ad m be as i Theorem 23 For each divisor of m, he umber of irreducible facors of fx of degree k is ϕ gcd, q 1 The oal umber of irreducible facors of fx i F q [x] is gcd, q 1 1+ν m 1 m rime Proof This resul is esseially he same resul of Corollary 32b i [3] We kow, from Theorem 23, ha fx slis io moic irreducible olyomials as fx = θ ku g θ u x m 1 u d gcdu, =1 I he roof of Theorem 23, we show ha for each divisor of m, he umber of olyomials of he form g θ u x equals ϕrad d = ϕrad gcd,q 1 = ϕ gcd,q 1 rad rad Therefore, he oal umber of irreducible facors of fx equals: ϕ gcd, q 1 = gcd, q 1 ϕ = gcd, q 1 m m m rime 1+ν m 1, where he las equaliy is obaed followig he same ses as i he roof of Corollary 32b i [3] Examle 25 Le fx = x 3 +4x 2 +6x+1 F 11 [x] ad = 5 a,a 1 We observe ha fx is a irreducible olyomial of order 14 over F 11 I fac, Φ 14 x = x 14 1 x 7 1x+1 = fxhx ad ord 1411 = 3, where hx = x 3 +6x 2 +4x+1 I aricular, fx ad saisfy he codiios of Theorem 23 ad, followig he oaio of Theorem 23, we ca ake θ = 3 For = 5, we have ha r = 3 ad Therefore, g 1 x = x αx α 3 x α 5 = fx fx 5 = 1 u 5 9 u f3 u x If a 2, we ca ake r = 3 a ad for each ieger 0 b a 1, { g x = x αx α 9 x α 11 if a b is odd 5 b x α 3 x α 5 x α 13 if a b is eve Therefore, fx 5a = 1 u 5 9 u f3 u x 1 b<a b eve 4 9 u f3 u x 5b u=1 4 1 b<a b odd 4 9 u h3 u x 5b u=1

5 21 Alicaios of Theorem 23 Here we rese some ieresig siuaios where Theorem 23 gives a more exlici resul We recall ha, for a osiive ieger e wih gcde,q = 1, he e-h cycloomic olyomial Φ e x F q [x] is defied recursively by he ideiy x e 1 = m e Φ mx Of course, ay irreducible facor of Φ e x has order e The followig classical resul rovides he degree disribuio of he irreducible facors of cycloomic olyomials Theorem 26 [9] Theorem 247 Le e be a osiive ieger such ha gcde,q = 1 ad se k = ord e q The Φ e x facors as ϕe k irreducible olyomials over F q, each of degree k Thefollowigresuleailsha, ifwekowhefacorizaioofφ e x res x e 1, udersuiable codiios ohe osiive ieger, weimmediaely obai he facorizaioofφ e x res x e 1 Theorem 27 Le e be a osiive ieger such ha gcde,q = 1, se k = ord e q ad l = ϕe k Addiioally, suose ha is a osiive ieger such ha rad divides q 1, gcd,ke = 1 ad q 1 mod 4 if is divisible by 8 If Φ e x = 1 i l f ix is he facorizaio of Φ e x over F q, he he facorizaio of Φ e x over F q is give as follows Φ e x = l i=1 m 1 u d gcdu,=1 θ uk f i θ u x, 2 where d = gcd,q 1, m = d ad θ F q is ay eleme of order d I aricular, if x e 1 = N i=1 F ix is he facorizaio of x e 1 over F q, he he facorizaio of x e 1 over F q is give as follows x e 1 = N i=1 m 1 u d gcdu,=1 θ u degfi F i θ u x 3 Proof We observe ha, for ay 1 i l, f i x has order e ad, from Theorem 26, f i has degree k I aricular, from hyohesis, we are uder he codiios of Theorem 23 For each divisor of m, le g,i be he olyomial of degree k ad order e associaed o f i as i Lemma 22 From Theorem 23, we have ha f i x = θ uk g i, θ u x, m hece Φ e x = l f i x = i=1 1 u d gcdu,=1 l i=1 m 1 u d gcdu,=1 θ uk g i, θ u x I aricular, i order o obai Eq 2,i suffices o rove ha, for ay divisor of m, we have he followig equaliy l l g,i x = f i x 4 i=1 Sice each g,i is irreducible of order e, g,i divides Φ e x = 1 i l f ix ad so Eq 4 holds if ad oly if he olyomials g,i are airwise disic We he verify ha such olyomials are, i fac, airwise disic For his, if g,i = g,j for some 1 i,j l, from defiiio, here exis roos α i,α j of f i ad f j, resecively, such ha i=1 α r i = α rqh j, for some h 0, where r is a osiive ieger such ha r 1 mod e Raisig he -h ower i he las equaliy, we obai α i = α qh j, ie, α i ad α qh j are cojugaes over F q Therefore, hey have he same miimal olyomial, ie, f i = f j ad so i = j This cocludes he roof of Eq 2 We ow roceed o Eq 3 From defiiio, N x e 1 = i x i=1f = Φ m x m e 5

6 I aricular, i order o rove Eq 3, we oly eed o verify ha Eq 2 holds whe relacig e by ay of is divisors If m divides e, k = ord m q divides k = ord m q Therefore, gcd,ke = 1 imlies ha gcd,k m = 1 I aricular, Eq 2 holds for e = m As follows, we rovide some aricular siuaios where Theorem 27 aurally alies I is wellkow ha if P is a odd rime umber ad a is a osiive ieger such ha gcda,p = 1 ad ord P 2 a = ϕp 2 = PP 1, he ord P s a = ϕp s for ay s 1 ie, if a is a rimiive roo modulo P 2, he is a rimiive roo modulo P s for ay s 1 I aricular, from Theorem 26, we have he followig well kow resul Corollary 28 Le P be a odd rime umber such ha ord P 2 q = ϕp 2 = PP 1, ie, q is a rimiive roo modulo P 2 The, for ay s 1 ad 1 i s, Φ P ix is irreducible over F q I aricular, for ay s 1, he facorizaio of x Ps 1 over F q is give by x Ps 1 = x 1 s Φ P ix Combiig he revious corollary wih Eq 3 we obai he followig resul Corollary 29 Le P be a odd rime umber such ha ord P 2 q = ϕp 2 = PP 1, ie, q is a rimiive roo modulo P 2 Addiioally, le be a osiive ieger such ha rad divides q 1 ad gcd,p 1 = 1 Se d = gcd,q 1 ad m = d If θ is ay eleme i F q of order d he, for ay s 1, he facorizaio of Φ P sx ad x Ps 1 over F q are give as follows Φ P sx = m 1 u d gcdu,=1 i=1 θ u ϕps Φ P sθ u x, ad x Ps 1 = m 1 u d gcdu,=1 x θ u 1 i s m 1 u d gcdu,=1 θ u ϕpi Φ P iθ u x Corollary 29 exeds Lemma 53 i [4], where he case a ower of a rime r P ha divides q 1 bu does o divide P 1 is cosidered As follows, we rovide some examles of Corollary29 Examle 210 Le q be a rime ower such ha q 1 3,6 mod 9 ad q is rimiive modulo 25 = 5 2 here exis 2 ϕ20 = 16 residues modulo 225 = 9 25 wih his roery We observe ha Corollary 29 alies o P = 5 ad = 3 a wih a 1 We have ha d = gcdq 1,3 a = 3 ad m = 3 a 1 If θ F q is ay eleme of order 3, for ay a,s 1, we have ha a 1 x 5s 3 a 1 = =0 1 u 3 gcdu,3 =1 x 3 θ u s a 1 i=1 =0 1 u 3 gcdu,3 =1 where Φ 5 ix = x 4 5i 1 +x 3 5i 1 +x 2 5i 1 +x 5i 1 +1 for i 1 θ u ϕ5i Φ 5 iθ u x 3, Examle 211 Le q be a rime ower such ha gcdq 1,25 = 5 ad q is rimiive modulo 9 here exis 4 ϕ6 = 8 residues modulo 225 = 25 9 wih his roery We observe ha Corollary 29 alies o P = 3 ad = 5 a wih a 1 We have ha d = gcdq 1,5 a = 5 ad m = 5 a 1 If θ F q is ay eleme of order 5, for ay a,s 1, we have ha a 1 x 5a 3 s 1 = =0 1 u 5 gcdu,5 =1 where Φ 3 ix = x 2 3i 1 +x 3i 1 +1 for i 1 x 5 θ u s a 1 i=1 =0 1 u 5 gcdu,5 =1 θ u ϕ3i Φ 3 iθ u x 5, 6

7 Examle 212 Le q be a rime ower such ha gcdq 1,225 = 15 ad q is rimiive modulo 289 = 17 2 here exis ϕ15 ϕ17 16 = 1024 residues modulo wih his roery We observe ha Corollary 29 alies o P = 17 ad = 3 a 5 b For simliciy, we oly cosider he case a,b 1 he cases a = 0 or b = 0 are similarly reaed We have ha d = gcdq 1,3 a 5 b = 15 ad m = 3 a 1 5 b 1 If θ F q is ay eleme of order 15, for ay a,b,s 1, we have ha x 3a 5 b 17 s 1 = 0 1 a b 1 1 i s 1 u 15 gcdu,3 15 2=1 0 1 a b 1 where Φ 17 ix = 16 j=0 xj 17i 1 for i 1 3 The geeral case 1 u 15 gcdu,3 15 2=1 x θ u θ u ϕ17i Φ 17 iθ u x , I he revious secio, we rovided he facorizaio of fx over F q uder secial codiios o f ad I aricular, we assumed ha rad divides q 1 ad q 1 mod 4 if is divisible by 8 I his secio, we show a aural heoreical rocedure o exed such resul, removig hese codiios o I order o do ha, he followig defiiio is useful Defiiio 31 Le be a osiive ieger such ha gcd,q = 1 ad se S = ord rad q Le s be he osiive ieger defied as follows { S if q S 3 mod 4 or 0 mod 8, s := 2S oherwise I aricular, he revious secio deal wih osiive iegers for which s = 1 Throughou his secio, we fix f F q [x] a irreducible olyomial of degree k ad order e ad cosider osiive iegers such ha gcd,ek = 1, s > 1 ad gcds,k = 1 I addiio, as a aural exesio of gcd,q s 1 he revious secio, d deoes he umber gcd,q s 1 ad m = d = We observe ha, sice gcds,k = 1, he olyomial f is also irreducible over F q s Le α be ay roo of f From Theorem 23, he irreducible facors of fx i F q s[x] are he olyomials where k 1 G,u x := x θ u α rqis, 5 i=0 r is a osiive ieger such ha r 1 mod e; is a divisor of m; θ F q s is ay eleme of order d; gcd,u = 1, 1 u d Now, for each olyomial G,u, we eed o deermie wha is he smalles exesio of F q ha coais is coefficies This will rovide he irreducible facor of fx over F q associaed o G,u Defiiio 32 For ad u as above, le l,u be he leas osiive ieger v such ha G,u x F q v[x] Remark 33 Sice G,u x F q s[x], we have ha l,u is a divisor of s Usig he Frobeius auomorhism, we coclude ha every irreducible facor of fx i F q [x] is of he form l,u 1 j=0 σ j q G,ux 7

8 Remark 34 We observe ha l,u 1 j=0 σ j q G,ux = l,u 1 j=0 k 1 x σq j θ u α rqis, is a olyomial of weigh ie, he umber of ozero coefficies is a mos i=0 k l,u +1 k s +1 I aricular, if fx = x 1, he weigh of every irreducible facor of x 1 is a mos s +1; he cases s = 1 ad s = 2 are reaed i [3], where he irreducible facors are biomials ad riomials, resecively The followig lemma rovides a way of obaiig he umbers l,u I aricular, we observe ha hey do o deed o Lemma 35 The umber l,u is he leas osiive ieger v such ha gcd,qs 1 gcd,q v 1 divides u Proof By defiiio, l,u is he leas osiive ieger v such ha G,u F q v[x] This las codiio is equivale o θ u α r qv = θ u α rqis for some ieger i Therefore,θ uqv 1 = α rqis q v Iaricular,wehavehaordθ uqv 1 = ordα rqis q v Sice he orders of θ ad α are relaive rime, we coclude ha d gcdd,uq v 1 = e gcde,rq is q v = 1 I aricular, d = gcd,q s 1 divides uq v 1 Sice v divides s, q v 1 divides q s 1 ad so we have ha gcdgcd,q s 1,q v 1 = gcd,q v 1 Therefore, gcd,qs 1 gcd,q v 1 divides u Coversely, if v is ay osiive ieger such ha gcd,qs 1 gcd,q v 1 divides u, we have ha d = gcd,q s 1 divides uq v 1 ad so θ uqv 1 = 1 I aricular, for ay osiive ieger i such ha is v mod k sice gcdk,s = 1, such a ieger exiss, we have ha α qis q v = 1 = θ uqv 1 From he revious observaios, we coclude ha G,u F q v[x] Defiiio 36 For each divisor s of s, se ad Λ s = {G,u F q s[x] G,u divides fx } Ω s = {G,u F q s[x] G,u divides fx ad G,u / F q v[x] for ay v < s}, where he olyomials G,u are give by he formula 5 We obai he followig resul Lemma 37 Le be a osiive divisor of m ad r, be he smalles osiive divisor of s such ha gcd,q s 1 gcd gcd,q r, 1, = 1 For a arbirary divisor s of s, he followig hold: a if r, does o divide s, we have ha Λ s = Ω s = 0; b If r, divides s, we have ha Λ s = ϕ gcd,q s 1 ad where µ is he Möbius fucio Ω s = ϕ r, v s s µ gcd,q v v 1, 8

9 Proof From Lemma 35, we have ha G u, F q s[x] if ad oly if gcd,qs 1 gcd,q s 1 divides u Sice gcdu, = 1, if G u, x is i F q s[x], i follows ha gcd gcd,q s 1 gcd,q s 1, = 1 Suose, by coradicio, ha r, does o divide s ad Λ s 0 Therefore, we ecessarily have ha gcd,q s 1 gcd,q s gcd gcd,q s 1, 1 = gcd gcd,q r, 1, = 1 However, for each rime divisor of, we have ha mi{ν,ν q s 1} = mi{ν,ν q r, 1} = mi{ν,ν q s 1} 1 If s = gcdr,,s, he here exis osiive iegers a ad b such ha s = ar, bs ad ν q s 1 = ν q ar, bs 1 = ν q ar, q bs mi{ν q ar, 1,ν q bs 1} mi{ν q r, 1,ν q s 1} I aricular, mi{ν,ν q s 1} = mi{ν,ν q s 1} for every rime divisor of, a coradicio sice s < r, Now, le s be a osiive divisor of s such ha r, s Every facor G u, of fx ha is i F q s saisfies he codiios gcdu, = 1, 1 u gcd,q s 1 ad gcd,qs 1 gcd,q s 1 divides u The u = gcd,qs 1 gcd,q s 1 u, wih gcdu, = 1, 1 u gcd,q s 1 I addiio, if is a rime divisor of, we have ha divides m ad he ν > ν q s 1 1 However, gcd,qs 1 gcd,q s 1 ad so divides q s 1 I follows ha rad divides q s 1 We coclude ha he umber of elemes u saisfyig he revious codiios equals Λ s = ϕrad gcd,qs 1 rad = ϕ gcd,q s 1 Fially, we observe ha Λ s = v s Ω v ad so he Möbius iversio formula yields he followig equaliy Ω s = s µ v = vλ s ϕ µ gcd,q v 1 v v s r, v s Theorem 38 Le f F q [x] be a irreducible olyomial of degree k ad order e Le be a osiive ieger such ha gcd,ek = 1 ad gcdk,s = 1 The umber of irreducible facors of fx i F q [x] is or equivalely 1 s 1 s m ϕ gcd,q v s 1ϕ v r, v s gcd,q v s 1ϕ v v s { where m v = max divides m ad gcd m v gcd,q s 1 gcd,q v 1, = 1, 1+ν m v 1 } 9

10 Proof The umber of irreducible facors of fx i F q [x] is m ϕ 1 s Ω s = ϕ s s m = m = m = m = m ϕ ϕ ϕ ϕ = 1 s m 1 s r, s s s s r, v s r, v s r, µ v s r, 1 r, s µ v s s r, v gcd,q v r, 1 s v gcd,q v r, 1 r, gcd,q v r, 1 v r, gcd,qv 1 v r, v s ϕ gcd,q v r, 1 v s s r, s s v r, s s v µs s gcd,q v s 1ϕ v r, v s µ s v s µs s 4 Facors of fx whe s is a rime umber I his secio, as a alicaio of revious resuls, we cosider some cases whe s is a rime umber Throughou his secio, for each gcdq,d = 1, d deoes he equivale relaio defied as follows: a d b if here exiss j N such ha a bq j mod d 41 The case rad q 1 ad s 1 This case is he comlemeary of Theorem 23, where q 3 mod 4 ad 8 bu keeig he codiio rad q 1 Theorem 41 Le be a ieger ad q be ower of a rime such ha 8 ad q 3 mod 4 Le θ be a eleme i F q 2 wih order d = gcd,q 2 1 ad fx be a irreducible olyomial of degree k odd ad order e I addiio, le g x be as i Lemma 22 The d = 2 l gcd,q 1, where l = mi{ν 2 2, ν 2q +1} ad fx slis io irreducible facors i F q [x] as fx = m odd 1 w gcd,q 1 gcdw, =1 β wk g β w x [θ ukq+1 g θ u x g θ uq x ], 6 m u R where m = d = gcd,q 2 1, β = is a gcd,q 1-h rimiive roo of he uiy ad R θ2l is he se of q-cycloomic classes R = { u N 1 u d, gcdu, = 1, 2 l u } / d, I addiio, he oal umber of irreducible facors of fx i F q [x] is: 1 gcd, q l 2 2+ν 2 m m rime 1+ν m 1 Proof Sice q 3 mod 4 ad 8, we have ha s = 2, d = gcd, q 2 1 = 2gcd 2, q 1 q +1 = 2gcd 2 2, q 1 gcd 2 2, q +1, where gcd 2, q +1 = 2 mi{ν2 2,ν2q+1} = 2 l 10

11 I follows from Lemma 35 ha G u x = θ uk g θ u x / F q [x] if gcd,q2 1 gcd,q 1 = 2l does o divide u, ie he class of u is i R The he facorizaio i Eq 6 follows from Remark 34 Sice r, is a divisor of s = 2, i order o deermie how may facors of each degree we eed o cosider wo cases: r, = 1 or r, = 2 If r, = 1, we have ha saifies he followig equaliies gcd,q 2 1 gcd gcd,q 1, = gcd2 l, = 1, ad so mus be odd If r, = 2, sice r, is miimal wih his roery, i follows ha mus be eve I coclusio, he umber of irreducible facor of fx i F q [x] equals gcd,q v 1ϕ v v 2 = 1 gcd,q 1 2 m 1 m v 1+ν m v 1 1+ν m 1 1+ν m 1 = 1 2 gcd,q 1 m 2 = 1 2 gcd,q l 1 2 ν 2m gcd,q2 1 m 2 m gcd,q2 1 m 1+ν m 1 1+ν m 1 1+ν m 1 42 The case rad q 1 wih a odd rime ad rad q 1 Sice he case rad q 1 is ow comleely described, we oly cosider he case ha has a leas oe rime facor ha does o divide q 1 Theorem 42 Le be a osiive ieger such ha ord rad q = is a odd rime ad le f F q [x] be a irreducible olyomial of degree k ad order e such ha gcdke, = gcdk, = 1 I addiio, suose ha q 1 mod 4 if 8 Le θ be a eleme i F q wih order d = gcd,q 1, m = d = gcd,q 1 ad g x be as i Lemma 22 The olyomial fx slis io irreducible facors i F q [x] as [ ] β vk g β v x θ uk1+ +q 1 g θ u x g θ uq 1 x, where m rad q 1 1 v d gcdv, =1 m rad q 1 1 d = gcd, q 1, β = θ gcd,q 1 q 1 is a d rimiive roo of he uiy ad { } R = u N 1 u d, gcd, q 1 u, gcdu, = 1 / d q 1 u R i he case ha or q 1 or ν > ν q 1 1 q 1 q 1 2 d = gcd,q 1, β = θgcd, 1 is a d rimiive roo of he uiy ad { R = u N 1 u d, gcd, 1 q } 1 u, gcdu, = 1 / d q 1 i he case ha divides ad q 1, ad ν ν q 1 Proof Sice gcdk, = 1, fx is also irreducible i F q [x] I addiio, q 1 mod 4 if 8 ad so Theorem 23 eails ha fx slis io irreducible facors i F q [x] as fx = θ uk g θ u x, m 1 u d gcdu, =1 11

12 where θ is a eleme i F q wih order d = gcd,q 1 Followig he same iicial se of he roof of Theorem 41, we observe ha θ uk g θ u x F q [x] if ad oly if d uq 1 A his oi, we have wo cases o cosider: 1 or q 1: i his case, we have ha gcd, q 1 = gcd, q 1 q 1 q 1 Hece gcd, q 1 uq 1 if ad oly if gcd 2 ad q 1: i his case, we have ha gcd, q 1 =gcd = gcd, q 1 q 1, 1 q 1 q 1 q 1 Therefore gcd, q 1 uq 1 if ad oly if gcd, 1 q 1 q 1 We sli io subcases: = gcd, q 1 q 1, q 1 q 1 gcd gcd 21 If ν ν q 1, Eq 7 is equivale o gcd 22 If ν > ν q 1, Eq 7 is equivale o gcd u = gcd, 1,q 1 gcd,q 1 q 1 q 1 q 1,q 1 uq 1 7, 1 q 1 q 1, q 1 q 1 We observe ha i he cases 1 ad 22, he coclusio is he same Therefore, i hese cases, θ uk g θ u x F q [x] if ad oly if u = gcd v for some osiive ieger v Sice 1 u, q 1 q 1 gcd,q 1, i follows ha 1 v gcd,q 1 I addiio, sice gcdu, = 1, we have ha gcdv, = 1 ad ν q 1 = ν q 1 for every rime Thus, i he cases 1 ad 22, he umbers v ad saisfy he codiios gcdv, = 1 ad rad q 1 u u Now, i he case 21, θ uk g θ u x F q [x] if ad oly if u = gcd v Sice 1 u gcd,q 1, he 1 v gcd, 1 q 1 q 1 v for some ieger,q 1 I he same way as before, we obai ha v ad saisfy he codiios gcdv, = 1 ad rad q 1 I coclusio, we have ha he irreducible facors of fx i F q [x], ha are also irreducible i F q [x] are he form θ uk g θ u x = β vk g β v x, where rad q 1 ad β is a eleme of F q of order d Fially, if rad q 1, we have ha θ uk g θ u x F q [x] \ F q [x] I aricular, sice he olyomial 1 θ ukqi g θ uqi x, i=0 is ivaria by he Frobeius auomorhism ad is divisible by θ uk g θ u x, such olyomial is moic irreducible over F q The followig resul rovide iformaio o he umber of irreducible facors of fx uder he codiios of Theorem 42 Theorem 43 Le,m,q ad f F q [x] be as i Theorem 42 The he umber of irreducible facors of fx i F q [x] is 1 gcd, q 1 m rime 1+ν m 1 + gcd, q 1 m rime 1+ν m 1 12

13 Proof From Theorem 24, he umber of irreducible facors over F q [x] of degree k for each m is ϕ gcd, q 1 Therefore he oal umber of irreducible facors is: m = m ϕ = 1 gcd, q 1+ m 1 gcd, q 1 ϕ + m gcd, q 1 m rime 1 ϕ gcd, q 1 ϕ gcd, q 1 1 gcd, q 1 ϕ 1+ν m 1 + gcd, q 1 m rime 1+ν m 1 Ackowledgmes The firs auhor was arially suored by FAPEMIG Gra umber: APQ The secod auhor was suored by FAPESP 2018/ , Brazil Refereces [1] Berlekam, E R Algebraic Codig Theory, McGraw-Hill, New York 1968 [2] Blake, I F, Gao, S, Mulli, R C, Exlici facorizaio of x 2k +1 over F wih 3 mod 4, Al Algebra Egrg Comm Comu [3] BrocheroMaríez, F E, GiraldoVergara,C R, de Oliveira, L, Exlici facorizaio of x 1 F q [x] Des Codes Cryogr 77, o 1, [4] Brochero Maríez, F E, Reis, L, Facorig olyomials of he form fx F q [x], Fiie Fields Al [5] Che, B, Li, L, Tuerhog, R, Exlici facorizaio of x 2m 1 over a fiie field Fiie fields Al [6] Fizgerald, RW, Yucas, JL, Exlici facorizaio of cycloomic ad Dickso olyomials over fiie fields Arihmeic of Fiie Fields Lecure Noes i Comu Sci, vol 4547, 1-10 Sriger, Berli 2007 [7] Golomb, S W, Shif Regiser Sequeces Holde-Day, Ic 1967 [8] Lesra, Jr, H W, O he Chor-Rives kasack cryosysem J Cryol, 3, [9] Lidl, R, Niederreier, H, Iroducio o fiie fields ad heir alicaios Cambridge Uiversiy Press New York, NY, USA 1986 [10] Liu, L, Li, L, Wag, L, Zhu, S, Reeaed-roo cosacyclic codes of legh l s Discree Mah , [11] Li, F, Yue, Q, The rimiive idemoes ad weigh disribuios of irreducible cosacyclic codes Des Codes Cryogr , [12] Mey, H, Facorizaio of he cycloomic olyomials x over fiie fields Fiie Fields Al 2, [13] Bakshi GK, Raka M, A class of cosacyclic codes over a fiie field, Fiie Fields Al [14] Tuxaidy, A, Wag, Q, Comosed roducs ad facors of cycloomic olyomials over fiie fields Des Codes Cryogr 69,

14 [15] Wag, L, Wag, Q, O exlici facors of cycloomic olyomials over fiie fields Des Codes Cryogr 63, o 1, [16] Y Wu, Q Yue, S Fa Furher Facorizaio of x 1 over a Fiie Field, Fiie Fields Al 54,