Related papers: The unit fractions from a Euclidean domain generat…

The *reciprocal complement* $R(D)$ of an integral domain $D$ is the subring of its fraction field generated by the reciprocals of its nonzero elements. Many properties of $R(D)$ are determined when $D$ is a polynomial ring in $n\geq 2$…

Given an integral domain $D$ with quotient field $\mathcal{Q}(D)$, the reciprocal complement of $D$ is the subring $R(D)$ of $\mathcal{Q}(D)$ whose elements are all the sums $\frac{1}{d_1}+\ldots+\frac{1}{d_n} $ for $d_1, \ldots, d_n$…

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…

Let $D$ be an integral domain. A nonzero nonunit $a$ of $D$ is called a valuation element if there is a valuation overring $V$ of $D$ such that $aV\cap D=aD$. We say that $D$ is a valuation factorization domain (VFD) if each nonzero nonunit…

Local Noetherian domains arising as local rings of points of varieties or in the context of algebraic number theory are analytically unramified, meaning their completions have no nontrivial nilpotent elements. However, looking elsewhere,…

Given an integral domain $D$ with fraction field $F$, its *reciprocal complement* is the subring of $F$ generated by all $1/d$ for nonzero $d$ in $D$. This paper serves doubly as a survey of the current state of the field and an update with…

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…

$\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…

A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about unit-additivity in semigroup rings,…

Let $D$ be an integral domain with quotient field $K$ and $E$ a subset of $K$. The \textit{ring of integer-valued rational functions on} $E$ is defined as $$\mathrm{int}_R(E,D):=\lbrace \varphi \in K(X);\; \varphi(E)\subseteq D\rbrace.$$…

Let V be a rank one discrete valuation ring (DVR) on a field F and let L/F be a finite separable algebraic field extension with [L:F] = m. The integral closure of V in L is a Dedekind domain that encodes the following invariants: (i) the…

We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…

Let $D$ be an integral domain. Then $D$ is an almost valuation (AV-)domain if for $a, b\in D\setminus \{0\}$ there exists a natural number $n$ with $a^{n}\mid b^{n}$ or $b^{n}\mid a^{n}$. AV-domains are closely related to valuation domains,…

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}$.…

Let $F$ be a field, let $D$ be a subring of $F$ and let $Z$ be an irreducible subspace of the space of all valuation rings between $D$ and $F$ that have quotient field $F$. Then $Z$ is a locally ringed space whose ring of global sections is…

Let $\Delta$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $C(\Delta)$ of rational functions generated by $\{1/\alpha \mid…

In this paper we extend an epimorphism theorem of D. Wright to the case of discrete valuation rings. We will show that if $(R, t)$ is a discrete valuation ring, $n \ge 2$ is an integer not divisible by the characteristic of the residue…

The Euclidean minimum $M(K)$ of a number field $K$ is an important numerical invariant that indicates whether $K$ is norm-Euclidean. When $K$ is a non-CM field of unit rank 2 or higher, Cerri showed $M(K)$, as the supremum in the Euclidean…

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 integral domain with quotient field K. For any set X, the ring Int(D^X) of integer-valued polynomials on D^X is the set of all polynomials f in K[X] such that f(D^X) is a subset of D. Using the t-closure operation on fractional…