Related papers: Valuation Ideal Factorization Domains

Using the notion of cyclically pure injective modules, a characterization for rings which are locally valuation is established. As applications, new characterizations for Prufer domains and pure semi-simple rings are provided. Namely, we…

We express multiplicities and degree functions of graded families of $\mathfrak{m}_R$-primary ideals in an excellent normal local ring $(R,\mathfrak{m}_R)$ as limits of intersection products. Moreover, in dimension 2, we show more refined…

In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains…

A semidomain is a subsemiring of an integral domain. Within this class, a unique factorization semidomain (UFS) is characterized by the property that every nonzero, nonunit element can be factored into a product of finitely many prime…

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 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $D$,…

Let H be an algebraic group scheme over a field k acting on a commutative k-algebra A which is a unique factorisation domain. We show that, under certain mild assumptions, the monoid of nonzero H-stable principal ideals in A is free…

A subset $S$ of an integral domain $R$ is called a semidomain provided that the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities. The study of factorizations in integral domains was initiated by Anderson, Anderson, and…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the…

We consider the directed union S of an infinite sequence {(R_n, m_n)} of successive local quadratic transforms of a regular local ring (R, m). If dim R = 2, Abhyankar proves that S is a valuation ring. If dim R > 2, Shannon gives necessary…

It is proved that the localization of an injective module E, over a valuation ring R, at a prime ideal J, is injective if J is not the subset of zero-divisors of R or if J or E is flat. It follows that localizations of injective modules…

Following the terminology introduced by Arnold and Sheldon back in 1975, we say that an integral domain $D$ is a GL-domain if the product of any two primitive polynomials over $D$ is again a primitive polynomial. In this paper, we study the…

Let $A\subset B$ be an integral ring extension of integral domains with fields of fractions $K$ and $L$, respectively. The integral degree of $A\subset B$, denoted by ${\rm d}_A(B)$, is defined as the supremum of the degrees of minimal…

To study the question of whether every two-dimensional Pr\"ufer domain possesses the stacked bases property, we consider the particular case of the Pr\"ufer domains formed by integer-valued polynomials. The description of the spectrum of…

Let $V$ be a rank one valuation domain with quotient field $K$. We characterize the subsets $S$ of $V$ for which the ring of integer-valued polynomials ${\rm Int}(S,V)=\{f\in K[X] \mid f(S)\subseteq V\}$ is a Pr\"ufer domain. The…

In this paper we provide necessary and sufficient conditions for $ R=A\propto E $ to be a valuation ring where $E$ is a non-torsion or finitely generated $A-$module. Also, we investigate the $ (n,d) $ property of the valuation ring.

Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of…

In 2008 N.~Q.~Chinh and P.~H.~Nam characterized principal ideal domains as integral domains that satisfy the follo\-wing two conditions: (i) they are unique factorization domains, and (ii) all maximal ideals in them are principal. We…

Let $D$ be a Dedekind domain with infinitely many maximal ideals, all of finite index, and $K$ its quotient field. Let $\operatorname{Int}(D) = \{f\in K[x] \mid f(D) \subseteq D\}$ be the ring of integer-valued polynomials on $D$. Given any…

In this paper, we study the classes of rings in which every proper (regular) ideal can be factored as an invertible ideal times a nonempty product of proper radical ideals. More precisely, we investigate the stability of these properties…