Related papers: On $v$-domains: a survey

Recently, N. Epstein and J. Shapiro introduced and studied the perinormal domains: those domains A whose going down overrings are flat A-modules. We show that every Pr\"ufer v-multiplication domain is perinormal and has no proper lying over…

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 k be an algebraically closed field of characteristic zero and let B be a finitely generated k-domain. We study semisimple derivations on B, with special emphasis on those whose eigenvalues are integers. For such derivations, after…

Let T be a complete local (Noetherian) equidimensional ring with maximal ideal m such that the Krull dimension of T is at least two and the depth of T is at least two. Suppose that no integer of T is a zerodivisor and that |T|=|T/m|. Let d…

Let D be a Euclidean domain, with fraction field K. Let R(D) be the subring of K generated by the reciprocals of the nonzero elements of D. The main theorem states that if R(D) is not equal to K, then R(D) is a rank 1 discrete valuation…

This article presents the systematic design of a class of relational numerical abstract domains from non-relational ones. Constructed domains represent sets of invariants of the form (vj - vi in C), where vj and vi are two variables, and C…

The purpose of this paper is to deepen the study of the Pr\"ufer $\star$--multiplication domains, where $\star$ is a semistar operation. For this reason, in Section 2, we introduce the $\star$--domains, as a natural extension of the…

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…

A semigroup $S$ is called an equational domain (e.d.) if any finite union of algebraic sets over $S$ is algebraic. For a semigroup $S$ with a finite ideal we find the necessary and sufficient conditions to be an e.d.

Let $R$ be an integral domain, $Star(R)$ the set of all star operations on $R$ and $StarFC(R)$ the set of all star operations of finite type on $R$. Then $R$ is said to be star regular if $|Star(T)|\leq |Star(R)|$ for every overring $T$ of…

Building on results of Bazzoni-\v{S}\v{t}ov\'{\i}\v{c}ek, we give a complete classification of the frame of smashing ideals for the derived category of a finite dimensional valuation domain. In particular, we give an explicit construction…

In this article, we study the monoid of fractional ideals and the ideal class semigroup of an arbitrary given one dimensional normal domain O obtained by an infinite integral extension of a Dedekind domain. We introduce a notion of "upper…

Let $\Gamma$ be a torsionless commutative cancellative monoid and $R =\bigoplus_{\alpha \in \Gamma}R_{\alpha}$ be a $\Gamma$-graded integral domain. In this paper, we introduce the notion of graded going-down domains. Among other things, we…

We study the algebraic and arithmetic structure of monoids of invertible ideals (more precisely, of $r$-invertible $r$-ideals for certain ideal systems $r$) of Krull and weakly Krull Mori domains. We also investigate monoids of all nonzero…

In a valuation domain $(V,M)$ every nonzero finitely generated ideal $J$ is principal and so, in particular, $J=J^t$, hence the maximal ideal $M$ is a $t$-ideal. Therefore, the $t$-local domains (i.e., the local domains, with maximal ideal…

For an integral domain D and a star operation * on D, we study the following condition: whenever I>AB with I, A, B nonzero ideals, there exist nonzero ideals H and J such that I*=(HJ)*, H*>A and J*>B.

Let $\Gamma$ be a torsionless commutative cancellative monoid, $R =\bigoplus_{\alpha \in \Gamma}R_{\alpha}$ be a $\Gamma$-graded integral domain, and $H$ be the set of nonzero homogeneous elements of $R$. In this paper, we show that if $Q$…

We define a stably free ideal domain to be a Noetherian domain whose left and right ideals ideals are all stably free. We define also a semi-stably free ideal domain to be an Ore domain whose finitely generated left and right ideals are…

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…

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…