Non-absolutely irreducible elements in the ring of integer-valued polynomials

ABSTRACTThe ring of integer-valued polynomials on an arbitrary integral domain is well studied. In this paper, we initiate and provide motivation for the study of integer-valued polynomials on commutative rings and modules. Several examples are computed, including the integer-valued polynomials over the ring for any commutative ring R and any elements of R, as well as the integer-valued polynomials over the Nagata idealization R(+)M of M over R, where M is an R-module. These examples are motivated by and provide motivation for the study of integer-valued derivatives.

Irreducible polynomials and full elasticity in rings of integer-valued polynomials

We introduce two new notions of “ P P -ordering” and use them to define a three-parameter generalization of the usual factorial function. We then apply these notions of P P -orderings and factorials to some classical problems in two distinct areas, namely: 1) the study of integer-valued polynomials and 2) P P -adic analysis. Specifically, we first use these notions of P P -orderings and factorials to construct explicit Pólya-style regular bases for two natural families of rings of integer-valued polynomials defined on an arbitrary subset of a Dedekind domain. Second, we classify “smooth” functions on an arbitrary compact subset S S of a local field, by constructing explicit interpolation series (i.e., orthonormal bases) for the Banach space of functions on S S satisfying any desired conditions of continuous differentiability or local analyticity. Our constructions thus extend Mahler’s Theorem (classifying the functions that are continuous on Z p \mathbb {Z}_p ) to a very general setting. In particular, our constructions prove that, for any ϵ > 0 \epsilon >0 , the functions in any of the above Banach spaces can be ϵ \epsilon -approximated by polynomials (with respect to their respective Banach norms). Thus we obtain the non-Archimedean analogues of the classical polynomial approximation theorems in real and complex analysis proven by Weierstrass, de la Vallée-Poussin, and Bernstein. Our proofs are effective.

Let [Formula: see text] be a principal ideal domain with infinite spectrum such that for every nonzero prime ideal [Formula: see text] of [Formula: see text], the residue field [Formula: see text] is finite. Let [Formula: see text] be the quotient field of [Formula: see text]. We investigate sets of lengths in the ring of integer-valued polynomials on [Formula: see text], [Formula: see text]M, D[Formula: see text]. For every multiset of integers [Formula: see text], we explicitly construct an element of Int([Formula: see text]) with exactly [Formula: see text] essentially different factorizations into irreducible elements of Int([Formula: see text] whose lengths are [Formula: see text]. Furthermore, we show that Int([Formula: see text]) is not a transfer Krull domain. These results spark off the study of sets of lengths in the rings Int([Formula: see text]) ≠Int([Formula: see text]), where [Formula: see text] is an infinite subset of [Formula: see text].

Let D be a Dedekind domain with quotient field K. The ring of integer-valued polynomials on D is the subring Int(D) = { f ∈ K[X]: f(D) ⊆ D} of the polynomial ring K[X]. The Polya-Ostrowski group PO(D) of D is a subgroup of the class group of D generated by the well-known factorial ideals n! D of D. A regular basis of Int(D) is a D-module basis consisting of one polynomial of each degree. It is well known that Int(D) has a regular basis if and only if the group PO(D) is trivial, if and only if the D-module Int n (D) = { f ∈ Int(D): degf ≤ n} is free for all n. In this paper we provide evidence for and prove special cases of the conjecture that, if PO(D) is finite, then the natural density of the set of nonnegative integers n such that Int n (D) is free exists, is rational, and is at least 1∕ | PO(D) | . Moreover, we compute this density or determine a conjectural value for several examples of Galois number fields of degrees 2, 3, 4, 5, and 6 over \(\mathbb{Q}\).

A celebrated result of Farahat and Higman constructs an algebra FH which “interpolates” the centres \(Z(\mathbb {Z}S_{n})\) of group algebras of the symmetric groups Sn. We extend these results from symmetric group algebras to type A Iwahori-Hecke algebras, Hn(q). In particular, we explain how to construct an algebra FHq “interpolating” the centres Z(Hn(q)). We prove that FHq is isomorphic to \(\mathcal {R}[q,q^{-1}] \otimes _{\mathbb {Z}} {\Lambda }\) (where \(\mathcal {R}\) is the ring of integer-valued polynomials, and Λ is the ring of symmetric functions). The isomorphism can be described as “evaluation at Jucys-Murphy elements”, leading to a proof of a conjecture of Francis and Wang. This yields character formulae for the Geck-Rouquier basis of Z(Hn(q)) when acting on Specht modules.

The ring of integer-valued polynomials over a given subset S of ℤ (or Int(S,ℤ)) is defined as the set of polynomials in ℚ[x] which maps S to ℤ. In factorization theory, it is crucial to check the irreducibility of a polynomial. In this article, we make Bhargava factorials our main tool to check the irreducibility of a given polynomial f∈Int(S,ℤ)). We also generalize our results to arbitrary subsets of a Dedekind domain.

A result of Farahat and Higman shows that there is a “universal” algebra, FH , interpolating the centres of symmetric group algebras, Z ( ℤ S n ) . We explain that this algebra is isomorphic to ℛ ⊗ Λ , where ℛ is the ring of integer-valued polynomials and Λ is the ring of symmetric functions. Moreover, the isomorphism is via “evaluation at Jucys–Murphy elements”, which leads to character formulae for symmetric groups. Then, we generalise this result to wreath products Γ ≀ S n of a fixed finite group Γ . This involves constructing wreath-product versions ℛ Γ and Λ ( Γ * ) of ℛ and Λ , respectively, which are interesting in their own right (for example, both are Hopf algebras). We show that the universal algebra for wreath products, FH Γ , is isomorphic to ℛ Γ ⊗ Λ ( Γ * ) and use this to compute the p -blocks of wreath products.

For a commutative integral domain [Formula: see text] with field of fractions [Formula: see text], the ring of integer-valued polynomials on [Formula: see text] is [Formula: see text]. In this paper, we extend this construction to skew polynomial rings. Given an automorphism [Formula: see text] of [Formula: see text], the skew polynomial ring [Formula: see text] consists of polynomials with coefficients from [Formula: see text], and with multiplication given by [Formula: see text] for all [Formula: see text]. We define [Formula: see text], which is the set of integer-valued skew polynomials on [Formula: see text]. When [Formula: see text] is not the identity, [Formula: see text] is noncommutative and evaluation behaves differently than it does for ordinary polynomials. Nevertheless, we are able to prove that [Formula: see text] has a ring structure in many cases. We show how to produce elements of [Formula: see text] and investigate its properties regarding localization and Noetherian conditions. Particular attention is paid to the case where [Formula: see text] is a discrete valuation ring with finite residue field.

Generating ideals in rings of integer-valued polynomials

Another Prüfer Ring of Integer-Valued Polynomials

A submonoid S of a given monoid H is called monadic if it is a divisor-closed submonoid of H generated by one element (i.e., there is some (non-zero) b ∈ H such that S is the smallest divisor-closed submonoid of H such that b ∈ S). In this paper we study monoids and domains whose monadic submonoids are Krull monoids. These monoids resp. domains are called monadically Krull. Every Krull monoid is a monadically Krull monoid, but the converse is not true. We provide several types of counterexamples and present a few characterizations for monadically Krull monoids. Furthermore, we show that rings of integer-valued polynomials over factorial domains are monadically Krull. Finally, we investigate the connections between monadically Krull monoids and generalizations of SP-domains.

Let R be a commutative ring with identity and $${\mathbb {N}}_0$$ be the additive monoid of nonnegative integers. We say that a function $$t : {\mathbb {N}}_0 \times {\mathbb {N}}_0 \rightarrow R$$ is a twist function on R if t satisfies the following three properties for all $$n, m, q \in {\mathbb {N}}_0$$ : (i) $$t(0,q) = 1$$ , (ii) $$t(n,m) = t(m,n)$$ , and (iii) $$t(n,m) \cdot t(n + m, q) = t (n, m + q) \cdot t(m, q)$$ . Let $$R[\![X]\!]$$ (resp., R[X]) be the set of power series (resp., polynomials) with coefficients in R. For $$f = \sum _{n=0}^{\infty } a_nX^n$$ and $$g = \sum _{n=0}^{\infty } b_nX^n \in R[\![X]\!]$$ , let $$f+g = \sum _{n=0}^{\infty } (a_n+b_n)X^n$$ , $$f*_tg = \sum _{n=0}^{\infty }(\sum _{i+j = n}t(i,j)a_ib_j)X^n$$ . Then, $$R^t[\![X]\!]:= (R[\![X]\!], +, *_t)$$ and $$R^t[X] := (R[X], +, *_t)$$ are commutative rings with identity that contain R as a subring. In this paper, we study ring-theoretic properties of $$R^t[\![X]\!]$$ and $$R^t[X]$$ with focus on divisibility properties including UFDs and GCD-domains. We also show how these two rings are related to the usual power series and polynomial rings.

Among commutative rings, the polynomial rings in a finite number of indeterminates enjoy important special properties and are frequently used in applications. As they are also of paramount importance in Algebraic Geometry, polynomial rings have been intensively studied. On the other hand, rings of formal power series have been extensively used in “algebroid geometry” and have many properties which are parallel to those of polynomial rings. In the first section of this chapter we shall define formal power series rings and we shall show that the main properties of polynomial rings which have been derived in previous chapters (see, in particular, Vol. I, Ch. I, §§ 16–18) hold also for formal power series rings. In the later sections of this chapter we shall give deeper properties of polynomial rings and, whenever possible, the parallel properties of power series rings.

Denote by A' the integral closure of the ring A and by A* its complete integral closure. Let D be a domain with quotient field K and E C K be a subset. We study the integer-valued polynomial rings Int(E, D)',Int(£,.D)*, Int(£, D'),Int(£,.D*) and the relations of their properties with the noetherianity of Int(£', D).