Related papers: On finite molecularization domains
In classical factorization theory, an integral domain is called \emph{atomic} if every nonzero nonunit element can be written as a finite product of irreducible elements. Here, we introduce and study a weaker notion of atomicity, which…
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…
Brewer and Heinzer studied the (integral) domains D having the property that each proper ideal A of D has a comaximal ideal factorization with some additional property. They proved that for a domain D, the following are equivalent: (1) Each…
An integral domain is called {\em Globalized multiplicatively pinched-Dedekind domain $($GMPD domain$)$} if every nonzero non-invertible ideal can be written as $JP_1\cdots P_k$ with $J$ invertible ideal and $P_1,...,P_k$ distinct ideals…
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…
Let $M$ be a cancellative commutative monoid and call a submonoid $S$ of $M$ an undermonoid if $\G(S)=\G(M)$ inside the Grothendieck group of $M$. Gotti and Li asked whether the finite factorization property is hereditary once it is known…
An atomic monoid $M$ is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element $x \in M$ no two distinct factorizations of $x$ have the same length. The notion of length-factoriality was…
Rings of integer-valued polynomials are known to be atomic, non-factorial rings furnishing examples for both irreducible elements for which all powers factor uniquely (\emph{absolutely irreducibles}) and irreducible elements where some…
In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of…
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.…
It has been recently discovered by Bell, Heinle and Levandovskyy that a large class of algebras, including the ubiquitous $G$-algebras, are finite factorization domains (FFD for short). Utilizing this result, we contribute an algorithm to…
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…
Let $R$ be an infinite Dedekind domain with at most finitely many units, and let $K$ denote its field of fractions. We prove the following statement. If $L/K$ is a finite Galois extension of fields and $\mathcal{O}$ is the integral closure…
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 (additive) commutative monoid is called atomic if every given non-invertible element can be written as a sum of atoms (i.e., irreducible elements), in which case, such a sum is called a factorization of the given element. The number of…
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…
This is a survey on factorization theory. We discuss finitely generated monoids (including affine monoids), primary monoids (including numerical monoids), power sets with set addition, Krull monoids and their various generalizations, and…
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…
Let $\ast $ be a finite character star operation defined on an integral domain $D.$ Call a nonzero $\ast $-ideal $I$ of finite type a $\ast $ -homogeneous ($\ast $-homog) ideal, if $I\subsetneq D$ and $(J+K)^{\ast }\neq D$ for every pair…