The Probability That Int n (D) Is Free

Let R be a commutative ring with identity. An element is said to be absolutely irreducible in R if for all natural numbers n > 1, rn has essentially only one factorization namely If is irreducible in R but for some n > 1, rn has other factorizations distinct from then r is called non-absolutely irreducible. In this paper, we construct non-absolutely irreducible elements in the ring of integer-valued polynomials. We also give generalizations of these constructions.

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.

Given an integral domain [Formula: see text] with quotient field [Formula: see text], the study of the ring of integer-valued polynomials [Formula: see text] has attracted a lot of attention over the past decades. Recently, Werner has extended this study to the situation of skew polynomials. To be more precise, if [Formula: see text] is an automorphism of [Formula: see text], one may consider the set [Formula: see text], where [Formula: see text] is the skew polynomial ring and [Formula: see text] is a “suitable” evaluation of [Formula: see text] at [Formula: see text]. For example, he gave sufficient conditions for [Formula: see text] to be a ring and study some of its properties. In this paper, we extend the study to the situation of the skew polynomial ring [Formula: see text] with a suitable evaluation, where [Formula: see text] is a [Formula: see text]-derivation. Moreover we prove, for example, that if [Formula: see text] is of finite order and [Formula: see text] is a Dedekind domain with finite residue fields such that [Formula: see text] is a ring, then [Formula: see text] is non-Noetherian.

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).

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.

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.

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].

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.

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.

The study of factorization in integral domains has played an important role in commutative algebra for many years. Much of this work has con­centrated on the study of unique factorization domains (UFDs). Beyond the realm of UFDs, there is a large class of integral domains for which each nonunit can be factored as a product of irreducibles, yet the factorization may not be unique. Classically, Dedekind domains are such domains. A Dedekind domain D is a UFD if and only if its ideal class group is trivial. Hence the size of the class group becomes a measure of how far the domain D is from having “unique factorization”. The concept of the class group and its relation to factorization properties extends also to the more general class of Krull domains. It is within the context of these domains that we consider in this paper general questions concerning the lengths of factorization in the non-UFD setting.