Characterizing absolutely irreducible integer-valued polynomials over discrete valuation domains

Abstract

Rings of integer-valued polynomials are known to be atomic, non-factorial rings furnishing examples for both irreducible elements for which all powers factor uniquely (\emph{absolutely irreducibles}) and irreducible elements where some power has a factorization different from the trivial one. In this paper, we study irreducible polynomials $F\in \mathrm{Int}(R)$ where $R$ is a discrete valuation domain with finite residue field and show that it is possible to explicitly determine a number $S\in \mathbb{N}$ that reduces the absolute irreducibility of $F$ to the unique factorization of $F^S$. To this end, we establish a connection between the factors of powers of $F$ and the kernel of a certain linear map that we associate to $F$. This connection yields a characterization of absolute irreducibility in terms of this so-called \emph{fixed divisor kernel}. Given a non-trivial element $\mathbf{v}$ of this kernel, we explicitly construct non-trivial factorizations of $F^k$, provided that $k\ge L$, where $L$ depends on $F$ as well as the choice of $\mathbf{v}$. We further show that this bound cannot be improved in general. Additionally, we provide other (larger) lower bounds for $k$, one of which only depends on the valuation of the denominator of $F$ and the size of the residue class field of $R$.

References in corpus (7)

• Boij-Söderberg theory: Introduction and survey
• Edge ideals: algebraic and combinatorial properties
• A construction of integer-valued polynomials with prescribed sets of lengths of factorizations
• Sets of lengths of factorizations of integer-valued polynomials on Dedekind domains with finite residue fields
• Absolute irreducibility of the binomial polynomials
• Non-absolutely irreducible elements in the ring of Integer-valued polynomials
• Factorization of integer-valued polynomials with square-free denominator

Cited by in corpus (1)

• Irreducible integer-valued polynomials with prescribed minimal power that factors non-uniquely