Related papers: Unique factorization property of non-unique factor…

Let $R$ be an integral domain with $qf(R)=K$ and let $F(R)$ be the set of nonzero fractional ideals of $R.$ Call $R$ a dually compact domain (DCD) if for each $I\in F(R)$ the ideal $I_{v}=(I^{-1})^{-1}$ is a finite intersection of principal…

We show that in certain Pr\"ufer domains, each nonzero ideal $I$ can be factored as $I=I^v \Pi$, where $I^v$ is the divisorial closure of $I$ and $\Pi$ is a product of maximal ideals. This is always possible when the Pr\"ufer domain is…

$\DeclareMathOperator{\Int}{Int}\DeclareMathOperator{\IntR}{Int{}^\text{R}}$For a domain $D$, the ring $\Int(D)$ of integer-valued polynomials over $D$ is atomic if $D$ satisfies the ascending chain condition on principal ideals. However,…

It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Pr\"{u}fer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The…

An integral domain $D$ is a $v$--domain if, for every finitely generated nonzero (fractional) ideal $F$ of $D$, we have $(FF^{-1})^{-1}=D$. The $v$--domains generalize Pr\"{u}fer and Krull domains and have appeared in the literature with…

We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint…

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 three over k, and…

Given a star operation * of finite type, we call a domain R a *-unique representation domain (*-URD) if each *-invertible *-ideal of R can be uniquely expressed as a *-product of pairwise *-comaximal ideals with prime radical. When * is the…

Most undergraduate level abstract algebra texts use $\mathbb{Z}[\sqrt{-5}]$ as an example of an integral domain which is not a unique factorization domain (or UFD) by exhibiting two distinct irreducible factorizations of a nonzero element.…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and…

In this paper, we study factorizations in the additive monoids of positive algebraic valuations $\mathbb{N}_0[\alpha]$ of the semiring of polynomials $\mathbb{N}_0[X]$ using a methodology introduced by D. D. Anderson, D. F. Anderson, and M.…

In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this…

Let $V$ be a minimal valuation overring of an integral domain $D$ and let $\mathrm{Zar}(D)$ be the Zariski space of the valuation overrings of $D$. Starting from a result in the theory of semistar operations, we prove a criterion under…

Let $R$ be an integral domain. For elements $a,b \in R$, let $[a,b]$ denote their greatest common divisor, if it exists. We say that $R$ has the Z-property if whenever $a,b,c,d$ and $e$ are nonzero nonunits of $R$ such that $abc=de$, then…

An integral domain $D$ is called a \emph{prime-divisor-finite domain} (PDF-domain) if every nonzero element has only finitely many nonassociate prime divisors. A domain $D$ is said to be a \emph{tightly prime-divisor-finite domain}…

$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$Integer-valued rational functions are a natural generalization of integer-valued polynomials. Given a domain $D$, the collection of all integer-valued rational functions over $D$ forms a ring…

In the realm of supercommutative superrings, this article investigates the unique factorization of elements. We build upon recent findings by Naser et. al. concerning similar results in noncommutative symmetric rings with zerodivisors,…

We study the question up to which power an irreducible integer-valued polynomial that is not absolutely irreducible can factor uniquely. For example, for integer-valued polynomials over principal ideal domains with square-free denominator,…

It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$.…