Related papers: A Prime-Generated Formalization of Nagata's Factor…

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…

This is a two-part article. In the first part, we study an alternative notion to Nagata rings. A Nagata ring is a Noetherian ring $R$ such that every finite $R$-algebra that is an integral domain has finite normalization. We replace the…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

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…

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 show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification…

An integral domain $D$ is called a finite factorization domain (FFD) if every nonzero nonunit element of $D$ has only finitely many non-associate divisors. In 1998, for an integral domain $D$ and a cancellative torsion-free monoid $S$ such…

We generalize the theory of radical factorization from almost Dedekind domain to strongly discrete Pr\"ufer domains; we show that, for a fixed subset $X$ of maximal ideals, the finitely generated ideals with $\mathcal{V}(I)\subseteq X$ have…

In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular…

Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice…

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…

For an integral domain $R$ and a commutative cancellative monoid $M$, the ring consisting of all polynomial expressions with coefficients in $R$ and exponents in $M$ is called the monoid ring of $M$ over $R$. An integral domain is called…

Schm\"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem…

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…

We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…

Let $D$ be a principal ideal domain and $R(D) = \{\begin{pmatrix} a & b 0 & a \end{pmatrix} \mid a, b \in D\}$ be its self-idealization. It is known that $R(D)$ is a commutative noetherian ring with identity, and hence $R(D)$ is atomic…

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…

Let $R=\bigoplus_{\alpha\in\Gamma}R_{\alpha}$ be a graded integral domain graded by an arbitrary grading torsionless monoid $\Gamma$, and $\star$ be a semistar operation on $R$. In this paper we define and study the graded integral domain…

We study arithmetic properties of factorizations of elements into products of generators, in monoids given with explicit presentations. After relating and comparing this perspective to the more usual approach of factoring into products of…

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…