Related papers: On the axioms for a unique factorization domain
A nonzero element of an integral domain (or commutative cancellative monoid) is called atomic if it can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted…
We construct a Euclidean domain with no multiplicative Euclidean norm to a compatibly well-ordered monoid, and hence with no multiplicative Euclidean norm to $\mathbb{R}$ (under its usual order). A key step in the proof is showing that the…
The behavior of factorization properties in various ring extensions is a central theme in commutative algebra. Classically, the UFDs are (completely) integrally closed and tend to behave well in standard ring extensions, with the notable…
We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an…
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…
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…
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…
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 survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include…
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 have introduced and studied in [3] the class of Globalized multiplicatively pinched-Dedekind domains (GMPD domains). This class of domains could be characterized by a certain factorization property of the non-invertible ideals, (see [3,…
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…
Nonunique factorization in commutative monoids is often studied using factorization invariants, which assign to each monoid element a quantity determined by the factorization structure. For numerical monoids (co-finite, additive submonoids…
We develop first steps in the study of factorizations of elements in ultraproducts of commutative cancellative monoids into irreducible elements. A complete characterization of the (multi-)sets of lengths in such objects is given. As…
An atomic monoid $M$ is called length-factorial if for every non-invertible element $x \in M$, no two distinct factorizations of $x$ into irreducibles have the same length (i.e., number of irreducible factors, counting repetitions). The…
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…
An integral domain (or a commutative cancellative monoid) is atomic if every nonzero nonunit element is the product of irreducibles, and it satisfies the ACCP if every ascending chain of principal ideals eventually stabilizes. The interplay…
We introduce and study a new class of integral domains which we call irreducible divisor pair domains (IDPDs). In particular, we show how IDPDs fit in with other classes of integral domains defined in terms of factorization conditions. For…
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…
As highlighted in a series of recent papers by Tringali and the author, fundamental aspects of the classical theory of factorization can be significantly generalized by blending the languages of monoids and preorders. Specifically, the…