arxiv: v3 [math.ra] 13 Apr 2013

Transcription

1 To aear in Monats. Mat. A construction of integer-valued olynomials wit rescribed sets of lengts of factorizations Soie Frisc arxiv: v3 [mat.ra] 13 Ar 2013 Abstract. For an arbitrary finite set S of natural numbers greater 1, we construct f Int(Z)={g Q[x] g(z) Z} wose set of lengts is S. Te set of lengts of f is te set of all n suc tat f as a factorization as a roduct of n irreducibles in Int(Z). MSC 2000: rimary 13A05, secondary 13B25, 13F20, 20M13, 11C Introduction Non-unique factorization as long been studied in rings of integers of number fields, see te monogra of Geroldinger and Halter-Koc [5]. More recently, non-unique factorizationinringsofolynomialsasattractedattention, forinstancein Z n[x], cf. [4], and in te ring of integer-valued olynomials Int(Z)={g Q[x] g(z) Z} (and its generalizations) [1, 3]. We sow tat every finite set of natural numbers greater 1 occurs as te set of lengts of factorizations of an element of Int(Z) (Teorem 9 in section 4). Our roof is constructive, and allows multilicities of lengts of factorizations to be secified. For examle, given te multiset {2, 2, 2, 5, 5}, we construct a olynomial tat as tree different factorizations into 2 irreducibles and two different factorizations into 5 irreducibles, and no oter factorizations. Peras a quick review of te vocabulary of factorizations is in order: Notation and Conventions. R denotes a commutative ring wit identity. An element r R is called irreducible in R if r is a non-zero non-unit suc tat r = ab wit a,b R imlies tat a or b is a unit. A factorization of r in R is an exression r = s 1...s n of r as a roduct of irreducible elements in R. Te number n of irreducible factors is called te lengt of te factorization. Te set of lengts L(r) of r R is te set of all natural numbers n suc tat r as a factorization of lengt n in R. R is called atomic if every non-zero non-unit of R as a factorization in R. If R is atomic, ten for every non-zero non-unit r R te elasticity of r is defined as ρ(r)=su{ m n m,n L(r)} 1

2 and te elasticity of R is ρ(r) = su r R (ρ(r)), were R is te set of non-zero non-units of R. Anatomicdomain R is calledfully elastic ifevery rationalnumber greater tan 1 occurs as ρ(r) for some non-zero non-unit r R. Two elements r,s R are called associatedin R if tere existsaunit u R suc tat r=us. Two factorizations of te same element r=r 1... r m =s 1... s n are called essentially te same if m=n and, after re-indexing te s i, r j is associated to s j for 1 j m. Oterwise, te factorizations are called essentially different. 2. Review of factorization of integer-valued olynomials In tis section we recall some elementary roerties of Int(Z) and te fixed divisor d(f), to be found in [1], [2] and [3]. Te reader familiar wit integer-valued olynomials is encouraged to ski to section 3. Definition. For f Z[x], (i) te content c(f) is te ideal of Z generated by te coefficients of f, (ii) te fixed divisor d(f) is te ideal of Z generated by te image f(z). By abuse of notation we will identify te rincial ideals c(f) and d(f) wit teir non-negative generators. Tus, for f = n k=0 a kx k Z[x], c(f)=gcd(a k k = 0,...,n) and d(f) =gcd(f(c) c Z). A olynomial f Z[x] is called rimitive if c(f)=1. Recall tat a rimitive olynomial f Z[x] is irreducible in Z[x] if and only if it is irreducible in Q[x]. Similarly, f Z[x] wit d(f)=1 is irreducible in Z[x] if and only if it is irreducible in Int(Z). We denote -adic valuation by v. Almost everyting tat we need to know about te fixed divisor follows immediately from te fact tat v (d(f))=min c Z (v (f(c))). In articular, it is easy to deduce tat for any f,g Z[x], d(f)d(g) d(fg). Unlike c(f), wic satisfies c(f)c(g)=c(fg), d(f) is not multilicative: d(f)d(g) is in general a roer divisor of d(fg). 2

3 Remark 1. (i) Every non-zero olynomial f Q[x] can be written in a unique way as f(x)= ag(x) b wit g Z[x], c(g)=1, a,b N, gcd(a,b)=1. (ii) Wen exressed as in (i), f is in Int(Z) if and only if b divides d(g). (iii) For non-constant f Int(Z) exressed as in (i) to be irreducible in Int(Z) it is necessary tat a =1 and b =d(g). Proof. (i) and (ii) are easy. Ad (iii). Note tat te only units in Int(Z) are ±1. By (ii), b divides d(g). Let d(g)=bc. Ten f factors as a c (g/bc), were (g/bc) is non-constant and ac is a unit only if a =c=1. Remark 2. (i) Every non-zero olynomial f Q[x] can be written in a unique way (u to te sign of a and te signs and indexing of te g i ) as f(x)= a g i (x), b wit g i rimitive and irreducible in Z[x] for i I (a finite set) and a Z, b N wit gcd(a,b)=1. (ii) A non-constant olynomial f Int(Z) exressed as in(i) is irreducible in Int(Z) if and only if a = ±1, b = d( i I g i), and tere do not exist J I and b 1,b 2 N wit b 1 b 2 = b and b 1 =d( i J g i), b 2 =d( i I\J g i). (iii) Int(Z) is atomic. (iv) Every non-zero non-unit f Int(Z) as only finitely many factorizations into irreducibles in Int(Z). Proof. Ad (ii). If f is irreducible, te conditions on f follow from Remark 1 (ii) and (iii). Conversely, if te conditions old, wat cance does f ave to be reducible? By Remark 1 (ii), we cannot factor out a non-unit constant, because no roer multile of b divides d( i I g i). Any non-constant irreducible factor would, by Remark 1 (iii), be of te kind ( i J g i)/b 1 wit b 1 = d( i J g i), and its co-factor would be ( i I\J g i)/b 2 wit b 1 b 2 = b and b 2 a divisor of d( i I\J g i). Also, b 2 could not be a roer divisor of d( i I\J g i), because oterwise b 1 b 2 = b would be a roer divisor of i I g i. So, te existence of a non-constant irreducible factor would imly te existence of J and b 1,b 2 of te kind we ave excluded. 3 i I

4 Ad (iii). Wit f(x)=ag(x)/b, g = i I g i as in (i), d(g)=cb for some c N, and f(x)=acg(x)/d(g) wit g(x)/d(g) Int(Z). Wecanfactor ac into irreducibles in Z, wic are also irreducible in Int(Z). Eiter g(x)/d(g) is irreducible, or (ii) gives an exression as a roduct of two non-constant factors of smaller degree. By iteration we arrive at a factorization of g(x)/d(g) into irreducibles. Ad (iv). Let f Int(Z) = (ag(x)/b) wit g = i I g i as in (i). Ten all factorizations of f are of te form, for some c N suc tat bc divides d(g), f =a 1...a n c 1...c m k j=1 i I j g i d j, were a = a 1...a n and c = c 1...c m are factorizations into rimes in Z, I = I 1... I k is a artition of I into non-emty sets, d 1...d k =bc, d j =d( i I j g i ). Tere are only finitely many suc exressions. Remark 3. (i) Te binomial olynomials ( ) x = x(x 1)...(x n+1) n n! for n 0 are a basis of Int(Z) as a free Z-module. (ii) n!f Z[x] for every f Int(Z) of degree at most n. (iii) Let f Z[x] rimitive, degf =n and rime. Ten v (d(f)) k 1 [ ] n =v k (n!). In articular, if divides d(f) ten degf. Proof. Ad (i). Te binomial olynomials are in Int(Z) and tey form a Q-basis of Q[x]. If a olynomial in Int(Z) is written as a Q-linear combination of binomial olynomials ten an easy induction sows tat te coefficients must be integers. (ii) follows from (i). Ad (iii). Let g = f/d(f). Ten g Int(Z) and d(f)z = (Z[x] : Z g). Since n! (Z[x] : Z g) by (ii), d(f) divides n!. 4

5 3. Useful Lemmata Lemma 4. Let be a rime, I a finite set and for i I, f i Z[x] rimitive and irreducible in Z[x] suc tat d( i I f i) =. Let g(x)= i I f i. Ten every factorization of g in Int(Z) is essentially te same as one of te following: j J g(x)= f j f i, i I\J were J I is minimal suc tat d( i J f j)=. Proof. Follows from Remark 1 (iii) and te fact tat d(f)d() divides d(f) for all f, Z[x]. Te following two easy lemmata are constructive, since te Euclidean algoritm makes te Cinese Remainder Teorem in Z effective. Lemma 5. For every rime Z, we can construct a comlete system of residues mod tat does not contain a comlete system of residues modulo any oter rime. Proof. By te Cinese Remainder Teorem we solve, for eac k = 1,..., te system of congruences s k =k mod and s k =1 mod q for every rime q <. Lemma 6. Given finitely many non-constant monic olynomials f i Z[x], i I, we can construct monic irreducible olynomials F i Z[x], airwise non-associated in Q[x], wit degf i =degf i, and wit te following roerty: Wenever we relace some of te f i by te corresonding F i, setting g i = F i for i J (J an arbitrary subset of I) and g i =f i for i I \J, ten for all K I, d( g i ) =d( i ). i K i Kf Proof. Let n = i I degf i. Let 1,..., s be all te rimes wit i n, and set α i = v i (n!). Let q > n be a rime. For eac i I, we find by te Cinese RemainderTeoremtecoefficientsofaolynomial ϕ i ( s k=1 α k k )Z[x] ofsmaller degree tan f i, suc tat F i =f i +ϕ i satisfies Eisenstein s irreducibility criterion 5

6 wit resect to te rime q. Ten, wit resect to some linear ordering of I, if F i aens to be associated in Q[x] to any F j of smaller index, we add a suitable non-zero integer divisible by q 2 s k=1 α k k to F i, to make F i non-associated in Q[x] to all F j of smaller index. Te statement about te fixed divisor follows, because for every c Z and every rime i tat could conceivably divide te fixed divisor, i (c)) i K(g (f i (c)) mod α i i, i K were α i i is te igest ower of i tat can divide te fixed divisor of any monic olynomial of degree at most n. 4. Constructing olynomials wit rescribed sets of lengts We recede te general construction by two illustrative examles of secial cases, corresonding to revious results by Caen, Cabert, Caman and McClain. Examle 7. For every n 0, we can construct H Int(Z) suc tat H as exactly two essentially different factorizations in Int(Z), one of lengt 2 and one of lengt n+2. Proof. Let >n+1, rime. By Lemma 5 we construct a comlete set a 1,...,a of residues mod in Z tat does not contain a comlete set of residues mod any rime q <. Let f(x)=(x a 2 )(x a 3 )...(x a ) and g(x)=(x a n+2 )(x a n+3 )...(x a ). By Lemma 6, we construct monic irreducible olynomials F, G Z[x], not associated in Q[x], wit degf = degf, degg = degg, suc tat any roduct of a selection of olynomials from (x a 1 ),...,(x a n+1 ),f(x),g(x) as te same fixed divisor as te corresonding roduct wit f relaced by F and g by G. Let H(x)= F(x)(x a 1)...(x a n+1 )G(x). By Lemma 4, H factors into two irreducible olynomials in Int(Z) H(x)=F(x) (x a 1)...(x a n+1 )G(x) or into n+2 irreducible olynomials in Int(Z) H(x)= F(x)(x a 1) (x a 2 )(x a 3 )...(x a n+1 )G(x). 6

7 Corollary. (Caen and Cabert [1]). ρ(int(z)) =. Examle 8. For 1 m n, we can construct a olynomial H Int(Z) tat as in Int(Z) a factorization into m + 1 irreducibles and an essentially different factorization into n+1 irreducibles, and no oter essentially different factorization. Proof. Let > mn be rime, s = mn. By Lemma 5 we construct a comlete system of residues R mod tat does not contain a comlete system of residues for any rime q <. We index R as follows: R ={r(i,j) 1 i m, 1 j n} {b 1,...,b s }. Let b(x) = s k=1 (x b k). For 1 i m let f i (x) = n k=1 (x r(i,k)) and for 1 j n let g j (x)= m k=1 (x r(k,j)). By Lemma 6, we construct monic irreducible olynomials F i,g j Z[x], airwise non-associated in Q[x], suc tat te roduct of any selection of te olynomials (x b 1 ),...,(x b s ),f 1,...,f m,g 1,...,g n as te same fixed divisor as te corresonding roduct in wic f i as been relaced by F i and g j by G j for 1 i m and 1 j n. Let H(x)= 1 m b(x) F i (x) i=1 n G j (x), ten, by Lemma 4, H as a factorization into m+1 irreducibles j=1 H(x) =F 1 (x)... F m (x) b(x)g 1(x)... G n (x) and an essentially different factorization into n + 1 irreducibles H(x) = b(x)f 1(x)... F m (x) G 1 (x)... G n (x) and no oter essentially different factorization. Corollary. (Caman and McClain [3]). Int(Z) is fully elastic. Teorem 9. Given natural numbers 1 m 1... m n, we can construct a olynomial H Int(Z) tat as exactly n essentially different factorizations into irreducibles in Int(Z), te lengts of tese factorizations being m 1 +1,...,m n +1. 7

8 Proof. Let N =( n i=1 m i) 2 n i=1 m2 i, and >N rime, s= N. By Lemma 5, we construct a comlete system of residues R mod tat does not contain a comlete system of residues for any rime q<. We artition R into disjoint sets R =R 0 {t 1,...,t s } wit R 0 =N. Te elements of R 0 are indexed as follows: R 0 = {r(k,,i,j) 1 k n, 1 m k, 1 i n, 1 j m i ; i k}, meaningwearrangeteelementsof R 0 inan m m matrixwit m=m m n, wose rows and columns are artitioned into n blocks of sizes m 1,...,m n. Now r(k,,i,j) designates te entry in te -t row of te k-t block of rows and te j-t column of te i-t block of columns. Positions in te matrix wose row and column are eac in block i are left emty: tere are no elements r(k,,i,j) wit i=k. For 1 k n, 1 m k, let S k, be te set of entries in te (k,)-t row: S k, ={r(k,,i,j) 1 i n, i k, 1 j m i }. For 1 i n, 1 j m i, let T i,j be te set of elements in te (i,j)-t column: T i,j ={r(k,,i,j) 1 k n, k i, 1 m k }. For 1 k n, 1 m k, set f (k) (x)= r S k, (x r) r T k, (x r). Also, let b(x)= s i=1 (x t i). By Lemma 6, we construct monic irreducible olynomials F (k), airwise nonassociated in Q[x], wit degf (k) =degf (k), suc tat any roduct of a selection of olynomials from (x t 1 ),...,(x t s ) and f (k) for 1 k n, 1 m k as te same fixed divisor as te corresonding roduct in wic te f (k) ave been relaced by te F (k). Let H(x)= 1 b(x) n m k k=1=1 F (k) (x). Ten degh =N +; and for eac i=1,...,n, H as a factorization into m i +1 irreducible olynomials in Int(Z): H(x) =F (i) 1 (x)... F(i) m i (x) b(x) mk k i =1 F(k) (x) 8

9 are airwise non- Tese factorizations are essentially different, since te F (i) j associated in Q[x] and ence in Int(Z). By Lemma 4, H as no furter essentially different factorizations. Tis is so because a minimal subset wit fixed divisor of te olynomials (x t i ) for 1 i s and F (k) for 1 k n, 1 m k must consist of all te linear factors (x t i ) togeter wit a minimal selection of F (k) suc tat all r R 0 occur as roots in te roduct of te corresonding f (k). For all linear factors (x r) wit r R 0 to occur in a set of olynomials f (k), it must contain for all but one k all f (k), = 1,...m k. If, for i k, f (k) and f (i) j are missing, ten r(k,,i,j) and r(i,j,k,) do not occur among te roots of te olynomials f (k). A set consisting of all f (k) for n 1 different values of k, owever, as te roerty tat all linear factors (x r) for r R 0 occur. Corollary. Everyfinitesubset of N\{1} occursastesetoflengtsofaolynomial f Int(Z). 5. No transfer omomorism to a block-monoid For some monoids, results like te above Corollary ave been sown by means of transfer-omomorisms to block monoids. For instance, by Kainrat [6], in te case of a Krull monoid wit infinite class grou suc tat every divisor class contains a rime divisor. Int(Z), owever, doesn t admit tis metod: We will sow a roerty of te multilicative monoid of Int(Z) \ {0} tat excludes te existence of a transferomomorism to a block monoid. Teorem 10. For every n 1 tere exist irreducible elements H,G 1,...,G n+1 in Int(Z) suc tat xh(x) =G 1 (x)...g n+1 (x). Proof. Let 1 < 2 <...< n be n distinct odd rimes, P ={ 1, 2,..., n }, and Q te set of all rimes q n +n. By te Cinese remainder teorem construct a 1,...,a n wit a i 0 mod i and a i 1 mod q for all q Q wit q i. Similarly, construct b 1,...b n suc tat, firstly, for all P, b k k mod if k and b k 1 mod if k > and, secondly, b k 1 mod q for all q Q \ P. So, for eac i P, a comlete set of residues mod i is given by b 1,...b i,a i, wile all remaining a j and b k are congruent to 1 mod i. Also, all a j and b k are congruent to 1 for all rimes in Q\P. Set f(x)=(x b 1 )...(x b n ) and let F(x) be a monic irreducible olynomial in Z[x] wit degf =degf suc tat te fixed divisor of any roduct of a selection 9

10 of olynomials from f(x),(x a 1 ),...,(x a n ) is te same as te fixed divisor of te corresonding set of olynomials in wic f as been relaced by F. Suc an F exists by Lemma 6. Let Ten H(x) is irreducible in Int(Z), and H(x)= F(x)(x a 1)...(x a n ) 1... n. xh(x)= xf(x) 1... n (x a 1 )... (x a n ), were xf(x)/( 1... n ) and, of course, (x a 1 ),..., (x a n ), are irreducible in Int(Z). Remark. Tanks to Alfred Geroldinger for ointing tis out: Teorem 10 imlies tat tere does not exist a transfer-omomorism from te multilicative monoid (Int(Z) \ {0}, ) to a block-monoid. (For te definition of block-monoid and transfer-omomorism see [5] Def and Def , resectively.) Tis is so because, in a block-monoid, te lengt of factorizations of elements of te form cd wit c, d irreducible, c fixed, is bounded by a constant deending only on c, cf. [5], Lemma More generally, alying [5], Lemma 3.2.2, one sees tat every monoid tat admits a transfer-omomorism to a block-monoid as tis roerty, in marked contrast to Teorem 10. References [1] P.-J. Caen and J.-L. Cabert, Elasticity for integral-valued olynomials, J. Pure Al. Algebra 103 (1995), [2] P.-J. Caen and J.-L. Cabert, Integer-valued olynomials, vol. 48 of Matematical Surveys and Monogras, Amer. Mat. Soc., [3] S. T. Caman and B. A. McClain, Irreducible olynomials and full elasticity in rings of integer-valued olynomials, J. Algebra 293(2005), [4] C. Frei and S. Frisc, Non-unique factorization of olynomials over residue class rings of te integers, Comm. Algebra 39 (2011), [5] A. Geroldinger and F. Halter-Koc, Non-unique factorizations, vol. 278 of Pure and Al. Mat., Caman & Hall/CRC, Boca Raton, FL, [6] F. Kainrat, Factorization in Krull monoids wit infinite class grou, Colloq. Mat. 80 (1999),

11 Institut für Matematik A Tecnisce Universität Graz Steyrergasse 30 A-8010 Graz, Austria frisc@tugraz.at 11