Unique Factorization Domain Research Articles

The centralizer of a locally nilpotent R-derivation of the polynomial R-algebra in two variables

Let R be an integral domain containing Q and ξ be an irreducible nontrivial locally nilpotent R-derivation of the polynomial R-algebra A in two variables. In this paper we investigate the group AutR(A,ξ) of R-automorphisms of A which commute with ξ. In the case R is a unique factorization domain and the plinth ideal of ξ is principal we give a complete description of the subgroup SAutR(A,ξ) of AutR(A,ξ) consisting of Jacobian one automorphisms. If moreover R contains a field K such that the group of units of R is K⋆ we prove that AutR(A,ξ)=SAutR(A,ξ).

Z [ − 5 ] : Halfway to Unique Factorization

It is well known that factorization is not unique in Z [ − 5 ] . We give a short, self-contained proof that Z [ − 5 ] is “halfway” toward being a unique factorization domain: For every nonzero, nonunit α ∈ Z [ − 5 ] , any two factorizations of α into irreducibles involve the same number of factors.

Lengths of factorizations of integer-valued polynomials on Krull domains with prime elements

Let D be a Krull domain admitting a prime element with finite residue field and let K be its quotient field. We show that for all positive integers k and 1<n1≤⋯≤nk\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$1 < n_1 \\le \\cdots \\le n_k$$\\end{document}, there exists an integer-valued polynomial on D, that is, an element of Int(D)={f∈K[X]∣f(D)⊆D}\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\,\ extrm{Int}\\,}}(D) = \\{ f \\in K[X] \\mid f(D) \\subseteq D \\}$$\\end{document}, which has precisely k essentially different factorizations into irreducible elements of Int(D)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\,\ extrm{Int}\\,}}(D)$$\\end{document} whose lengths are exactly n1,…,nk\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n_1, \\ldots , n_k$$\\end{document}. Using this, we characterize lengths of factorizations when D is a unique factorization domain and therefore also in case D is a discrete valuation domain. This solves an open problem proposed by Cahen, Fontana, Frisch, and Glaz.

Every finite poset is isomorphic to a saturated subset of the spectrum of a Noetherian UFD

We show that every finite poset is isomorphic to a saturated subset of the spectrum of a Noetherian unique factorization domain. In addition, we show that every finite poset is isomorphic to a saturated subset of the spectrum of a quasi-excellent domain.

The valuation pairing on an upper cluster algebra

Abstract It is known that many (upper) cluster algebras are not unique factorization domains. We exhibit the local factorization properties with respect to any given seed t: any non-zero element in a full rank upper cluster algebra can be uniquely written as the product of a cluster monomial in t and another element not divisible by the cluster variables in t. Our approach is based on introducing the valuation pairing on an upper cluster algebra: it counts the maximal multiplicity of a cluster variable among the factorizations of any given element. We apply the valuation pairing to obtain many results concerning factoriality, d-vectors, F-polynomials and the combinatorics of cluster Poisson variables. In particular, we obtain that full rank and primitive upper cluster algebras are factorial; an explanation of d-vectors using valuation pairing; a cluster monomial in non-initial cluster variables is determined by its F-polynomial; the F-polynomials of non-initial cluster variables are irreducible; and the cluster Poisson variables parametrize the exchange pairs of the corresponding upper cluster algebra.

Characterizing principal minors of symmetric matrices via determinantal multiaffine polynomials

Here we consider the image of the principal minor map of symmetric matrices over an arbitrary unique factorization domain R. By exploiting a connection with symmetric determinantal representations, we characterize the image of the principal minor map through the condition that certain polynomials coming from so-called Rayleigh differences are squares in the polynomial ring over R. In almost all cases, one can characterize the image of the principal minor map using the orbit of Cayley's hyperdeterminant under the action of (SL2(R))n⋊Sn. Over C, this recovers a characterization of Oeding from 2011, and over R, the orbit of a single additional quadratic inequality suffices to cut out the image. Applications to other symmetric determinantal representations are also discussed.

Cluster algebra structures on Poisson nilpotent algebras

Various coordinate rings of varieties appearing in the theory of Poisson Lie groups and Poisson homogeneous spaces belong to the large, axiomatically defined class of symmetric Poisson nilpotent algebras, e.g. coordinate rings of Schubert cells for symmetrizable Kac–Moody groups, affine charts of Bott-Samelson varieties, coordinate rings of double Bruhat cells (in the last case after a localization). We prove that every symmetric Poisson nilpotent algebra satisfying a mild condition on certain scalars is canonically isomorphic to a cluster algebra which coincides with the corresponding upper cluster algebra, without additional localizations by frozen variables. The constructed cluster structure is compatible with the Poisson structure in the sense of Gekhtman, Shapiro and Vainshtein. All Poisson nilpotent algebras are proved to be equivariant Poisson Unique Factorization Domains. Their seeds are constructed from sequences of Poisson-prime elements for chains of Poisson UFDs; mutation matrices are effectively determined from linear systems in terms of the underlying Poisson structure. Uniqueness, existence, mutation, and other properties are established for these sequences of Poisson-prime elements.

Remarks on the small Cohen-Macaulay conjecture and new instances of maximal Cohen-Macaulay modules

We show that any quasi-Gorenstein deformation of a 3-dimensional quasi-Gorenstein Buchsbaum local ring with I-invariant 1 admits a maximal Cohen-Macaulay module, provided it is a quotient of a Gorenstein ring. Such a class of rings includes two instances of unique factorization domains constructed by Marcel-Schenzel and by Imtiaz-Schenzel, respectively. Apart from this result, motivated by the small Cohen-Macaulay conjecture in prime characteristic, we examine a question about when the Frobenius pushforward F⁎e(M) of an R-module M comprises a maximal Cohen-Macaulay direct summand in both local and graded cases.

Length-factoriality and pure irreducibility

An atomic monoid M is called length-factorial if for every non-invertible element , no two distinct factorizations of x into irreducibles have the same length (i.e., number of irreducible factors, counting repetitions). The notion of length-factoriality was introduced by J. Coykendall and W. Smith in 2011 under the term “other-half-factoriality”: they used length-factoriality to provide a characterization of unique factorization domains. In this paper, we study length-factoriality in the more general context of commutative, cancellative monoids. In addition, we study factorization properties related to length-factoriality, namely, the PLS property (recently introduced by Chapman et al.) and bi-length-factoriality in the context of semirings.

On a certain determinant for a U.F.D.

Let $R$ be a unique factorization domain (U.F.D.). Let $P=\{p_i\}$ be a prime system of $R$, that is, $P$ is a well-ordered set of non-associate prime elements of $R$ and $P$ is complete. An element $x\in R$ is called a $P$-number if $x$ is a product of e

The Green-Tao Theorem and the Infinitude of Primes in Domains

We first prove an elementary analogue of the Green-Tao Theorem. The celebrated Green-Tao Theorem states that there are arbitrarily long arithmetic progressions in the set of prime numbers. In fact, we show the Green-Tao Theorem for polynomial rings over integral domains with several variables. Using the Generalized Polynomial van der Waerden Theorem, we also prove that in an infinite unique factorization domain, if the cardinality of the set of units is strictly less than that of the domain, then there are infinitely many prime elements. Moreover, we deduce the infinitude of prime numbers in the positive integers using polynomial progressions of length three. In addition, using unit equations, we provide two more proofs of the infinitude of prime numbers. Finally, we give a new proof of the divergence of the sum of reciprocals of all prime numbers.

Irreducibility of integer-valued polynomials in several variables

Let \(\underline{S}\) be an arbitrary subset of \(R^n\) where R is a domain with the field of fractions \(\mathbb {K}\). Denote the ring of polynomials in n variables over \(\mathbb {K}\) by \(\mathbb {K}[\underline{x}] \). The ring of integer-valued polynomials over \(\underline{S}\), denoted by Int\((\underline{S},R)\), is defined as the set of the polynomials of \(\mathbb {K}[\underline{x}] \), which maps \(\underline{S}\) to R. In this article, we study the irreducibility of the polynomials of Int\((\underline{S},R)\) for the first time in the case when R is a Unique Factorization Domain. We also show that our results remain valid when R is a Dedekind domain or, sometimes, any domain.

On Unique Factorization Modules: A Submodule Approach

Let M be a torsion-free module over an integral domain D. We define a concept of a unique factorization module in terms of v-submodules of M. If M is a unique factorization module (UFM), then D is a unique factorization domain. However, the converse situation is not necessarily to be held, and we give four different characterizations of unique factorization modules. Further, it is shown that the concept of the UFM is equivalent to Nicolas’s UFM, which is defined in terms of irreducible elements of D and M.

Factorization Patterns in F&amp;lt;sub&amp;gt;&amp;lt;i&amp;gt;q&amp;lt;/i&amp;gt;&amp;lt;/sub&amp;gt; [&amp;lt;i&amp;gt;x&amp;lt;/i&amp;gt;

The finite field Fq has q elements, where q = pk for prime p and k∈N. Then Fq[x] is a unique factorization domain and its polynomials can be bijectively associated with their unique (up to order) factorizations into irreducibles. Such a factorization for a polynomial of degree n can be viewed as conforming to a specific template if we agree that factors with higher degree will be written before those with lower degree, and factors of equal degree can be written in any order. For example, a polynomial f(x) of degree n may factor into irreducibles and be written as (a)(b)(c), where deg a ≥ deg b ≥deg c. Clearly, the various partitions of n correspond to the templates available for these canonical factorizations and we identify the templates with the possible partitions. So if f(x) is itself irreducible over Fq, it would belong to the template [n], and if f(x) split over Fq, it would belong to the template [n] Our goal is to calculate the cardinalities of the sets of polynomials corresponding to available templates for general q and n. With this information, we characterize the associated probabilities that a randomly selected member of Fq[x] belongs to a given template. Software to facilitate the investigation of various cases is available upon request from the authors.

Completions of uncountable local rings with countable spectra

We find necessary and sufficient conditions for a complete local (Noetherian) ring to be the completion of an uncountable local (Noetherian) domain with a countable spectrum. Our results provide a way to construct uncountable local domains with countable spectra from a much broader class of complete local rings than was previously known. We also characterize completions of uncountable excellent local domains with countable spectra assuming the completion contains the rationals, completions of uncountable local unique factorization domains with countable spectra, completions of uncountable noncatenary local domains with countable spectra, and completions of uncountable noncatenary local unique factorization domains with countable spectra.

Generalizations of Samuel's criteria for a ring to be a unique factorization domain

We give several criteria for a ring to be a UFD, including generalizations of some criteria due to P. Samuel. These criteria are applied to construct, for any field k, (1) a Z-graded non-noetherian rational UFD of dimension 3 over k, and (2) k-affine rational UFDs defined by trinomial relations.

Wave Transport and Localization in Prime Number Landscapes

In this paper, we study the wave transport and localization properties of novel aperiodic structures that manifest the intrinsic complexity of prime number distributions in imaginary quadratic fields. In particular, we address structure-property relationships and wave scattering through the prime elements of the nine imaginary quadratic fields (i.e., of their associated rings of integers) with class number one, which are unique factorization domains (UFDs). Our theoretical analysis combines the rigorous Green’s matrix solution of the multiple scattering problem with the interdisciplinary methods of spatial statistics and graph theory analysis of point patterns to unveil the relevant structural properties that produce wave localization effects. The onset of a Delocalization-Localization Transition (DLT) is demonstrated by a comprehensive study of the spectral properties of the Green’s matrix and the Thouless number as a function of their optical density. Furthermore, we employ Multifractal Detrended Fluctuation Analysis (MDFA) to establish the multifractal scaling of the local density of states in these complex structures and we discover a direct connection between localization, multifractality, and graph connectivity properties. Finally, we use a semi-classical approach to demonstrate and characterize the strong coupling regime of quantum emitters embedded in these novel aperiodic environments. Our study provides access to engineering design rules for the fabrication of novel and more efficient classical and quantum sources as well as photonic devices with enhanced light-matter interaction based on the intrinsic structural complexity of prime numbers in algebraic fields.

Algorithms for linear time reconstruction by discrete tomography II

The reconstruction of an unknown function f from its line sums is the aim of discrete tomography. However, two main aspects prevent reconstruction from being an easy task. In general, many solutions are allowed due to the presence of the switching functions. Even when uniqueness conditions are available, results about the NP-hardness of reconstruction algorithms make their implementation inefficient when the values of f are in certain sets. We show that this is not the case when f takes values in a field or a unique factorization domain, such as R or Z. We present a linear time reconstruction algorithm (in the number of directions and in the size of the grid), which outputs the original function values for all points outside of the switching domains. Freely chosen values are assigned to the other points, namely, those with ambiguities. Examples are provided.

Subrings of the power series ring over a principal ideal domain

Let D be a principal ideal domain (PID), I be an ideal of D, and X be an indeterminate over D. Let [D;I][X] be the subring of the power series ring consisting of all power series in such that for all large i. By definition, the polynomial ring and the power series ring are special cases of when and I = D, respectively. In this article, we investigate the ring in the case I is a nonzero proper ideal of D. We prove that R is a two-dimensional non-Noetherian ring. For each maximal ideal P of D, it is shown that is a height-one prime ideal of R. The set of units of R is given and the spectrum of R is also described. Unlike the power series ring the ring R is not a unique factorization domain (UFD). Furthermore, when I is a nonzero prime ideal, R does not satisfy both ACCP and the atomic property. In obtaining results on R, we introduce and sometimes use results on the ring RS , where I = dD with and Closely related to R, the ring RS is shown to be a Noetherian UFD with Krull dimension at most two. Moreover, RS has Krull dimension two exactly when I is not contained in the Jacobson radical of D; otherwise RS is a PID.

Length-factoriality in commutative monoids and integral domains

An atomic monoid M is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element x∈M no two distinct factorizations of x have the same length. The notion of length-factoriality was introduced by Coykendall and Smith in 2011 as a dual of the well-studied notion of half-factoriality. They proved that in the setting of integral domains, length-factoriality can be taken as an alternative definition of a unique factorization domain. However, being a length-factorial monoid is, in general, weaker than being a factorial monoid (i.e., a unique factorization monoid). Here we further investigate length-factoriality. First, we offer two characterizations of a length-factorial monoid M, and we use such characterizations to describe the set of Betti elements and obtain a formula for the catenary degree of M. Then we study the connection between length-factoriality and purely long (resp., purely short) irreducibles, which are irreducible elements that appear in the longer (resp., shorter) part of any unbalanced factorization relation. Finally, we prove that an integral domain cannot contain purely long and purely short irreducibles simultaneously, and we construct a Dedekind domain containing purely long (resp., purely short) irreducibles but not purely short (resp., purely long) irreducibles.