Divisibility in rings of integer-valued polynomials

In this paper, we address various aspects of divisibility by irreducibles in rings consisting of integer-valued polynomials. An integral domain is called atomic if every nonzero nonunit factors into irreducibles. Atomic domains that do not satisfy the ascending chain condition on principal ideals (ACCP) have proved to be elusive, and not many of them have been found since the first one was constructed by A. Grams in 1974. Here we exhibit the first class of atomic rings of integer-valued polynomials without the ACCP. An integral domain is called a finite factorization domain (FFD) if it is simultaneously atomic and an idf-domain (i.e., every nonzero element is divisible by only finitely many irreducibles up to associates). We prove that a ring is an FFD if and only if its ring of integer-valued polynomials is an FFD. In addition, we show that neither being atomic nor being an idf-domain transfer, in general, from an integral domain to its ring of integer-valued polynomials. In the same class of rings of integer-valued polynomials, we consider further properties that are defined in terms of divisibility by irreducibles, including being Cohen-Kaplansky and being Furstenberg.

[1]  Abraham Zaks.  Atomic rings without a.c.c. on principal ideals , 1982 .

[2]  D. D. Anderson,et al.  Finite factorization domains , 1996 .

[3]  Anne Grams,et al.  Atomic rings and the ascending chain condition for principal ideals , 1974, Mathematical Proceedings of the Cambridge Philosophical Society.

[4]  Jean-Luc Chabert,et al.  What You Should Know About Integer-Valued Polynomials , 2016, Am. Math. Mon..

[5]  R. Gilmer.  Integral domains with noetherian subrings , 1970 .

[6]  W. W. Smith,et al.  Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets , 2006 .

[7]  M. Roitman.  Polynomial extensions of atomic domains , 1993 .

[8]  J. Coykendall,et al.  On the atomicity of monoid algebras , 2019, Journal of Algebra.

[9]  D. D. Anderson,et al.  Long Length Functions , 2015 .

[10]  J. L. Mott,et al.  Cohen-Kaplansky domains: Integral domains with a finite number of irreducible elements , 1992 .

[11]  G. Pólya,et al.  Über ganzwertige Polynome in algebraischen Zahlkörpern. , 1919 .

[12]  S. Chapman,et al.  Irreducible polynomials and full elasticity in rings of integer-valued polynomials , 2005 .

[13]  PETE L. CLARK,et al.  Factorization in Integral Domains I , 2009 .

[14]  Felix Gotti,et al.  On semigroup algebras with rational exponents , 2021, Communications in Algebra.

[15]  David F. Anderson,et al.  Bounded and finite factorization domains , 2020, 2010.02722.

[16]  M. Zafrullah.  Various Facets of Rings Between D[X] and K[X] , 2003 .

[17]  Abraham Zaks.  Half-factorial-domains , 1980 .

[18]  S. Frisch.  A construction of integer-valued polynomials with prescribed sets of lengths of factorizations , 2013, Monatshefte für Mathematik.

[19]  R. Gilmer,et al.  Commutative Semigroup Rings , 1984 .

[20]  J. Dawson.  The Infinitude of the Primes , 2015 .

[21]  F. Gotti.  Increasing positive monoids of ordered fields are FF-monoids , 2016, Journal of Algebra.

[22]  Hoyt D. Warner,et al.  Irreducible divisors in domains of finite character , 1975 .

[23]  Felix Gotti,et al.  Hereditary atomicity in integral domains , 2021, 2112.00264.

[24]  Scott T. Chapman,et al.  When Is a Puiseux Monoid Atomic? , 2020, Am. Math. Mon..

[25]  J. Coykendall,et al.  On integral domains with no atoms , 1999 .

[26]  I. S. Cohen,et al.  Rings with a finite number of primes. I , 1946 .

[27]  P. L. Clark.  The Euclidean Criterion for Irreducibles , 2016, Am. Math. Mon..

[28]  Roswitha Rissner,et al.  Sets of lengths of factorizations of integer-valued polynomials on Dedekind domains with finite residue fields , 2017, Journal of Algebra.

[29]  F. Halter-Koch.  Finiteness theorems for factorizations , 1992 .

[30]  J. Coykendall,et al.  An example of an atomic pullback without the ACCP , 2019, Journal of Pure and Applied Algebra.