Related papers: PRINC domains and comaximal factorization domains
An integral domain $D$ is a {\em valuation ideal factorization domain} (VIFD) if each nonzero principal ideal of $D$ can be written as a finite product of valuation ideals. Clearly, $\pi$-domains are VIFDs. We study the ring-theoretic…
In 2020, Cossu and Zanardo raised a conjecture on the idempotent factorization on singular matrices in the form $\begin{pmatrix} p&z\\ \bar{z}&\sfrac{\lVert z\rVert}{p} \end{pmatrix},$ where $p$ is a prime integer which is irreducible but…
A domain $R$ is said to have the finite factorization property if every nonzero non-unit element of $R$ has at least one and at most finitely many distinct factorizations up to multiplication of irreducible factors by central units. Let $k$…
An integral domain $R$ is atomic if each nonzero nonunit of $R$ factors into irreducibles. In addition, an integral domain $R$ satisfies the ascending chain condition on principal ideals (ACCP) if every increasing sequence of principal…
In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative…
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…
In this paper, we address various aspects of divisibility by irreducibles in rings consisting of integer-valued polynomials. An integral domain is called atomic if every nonzero nonunit factors into irreducibles. Atomic domains that do not…
A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…
Let $D$ be an integrally closed domain with quotient field $K$ and $A$ a torsion-free $D$-algebra that is finitely generated as a $D$-module and such that $A\cap K=D$. We give a complete classification of those $D$ and $A$ for which the…
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}…
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…
An integral domain $D,$ with quotient field $K,$ is a $v$-domain if for each nonzero finitely generated ideal $A$ of $D$ we have $(AA^{-1})^{-1}=D.$ It is well known that if $D$ is a $v$-domain$,$ then some quotient ring $D_{S}$ of $D$ may…
Let $F$ be a field, $p$ a prime number, $X$ an indeterminate over $F$, $D_n =F[X^{\frac{1}{p^n}}, X^{-\frac{1}{p^n}}]$ for each integer $n \geq 0$ and $D = \bigcup\limits_{n\in\mathbb{N}_0}D_n.$ Then $D$ is a one-dimensional B{\'e}zout…
Given a certain factorization property of a ring $R$, we can ask if this property extends to the polynomial ring over $R$ or vice versa. For example, it is well known that $R$ is a unique factorization domain if and only if $R[X]$ is a…
We analyze properties of various square-free factorizations in greatest common divisor domains and domains satisfying the ascending chain condition for principal ideals.
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…
A preference domain is called a non-dictatorial domain if it allows the design of unanimous social choice functions (henceforth, rules) that are non-dictatorial and strategy-proof. We study a class of preference domains called…
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $\lambda(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most…
This article investigates various notions of primeness for one-sided ideals in noncommutative rings, with a focus on principal ideal domains.
The primary purpose of this paper is give a classification scheme for the nonzero primes of a Pr\"ufer domain based on five properties. A prime $P$ of a Pr\"ufer domain $R$ could be sharp or not sharp, antesharp or not, divisorial or not,…