Related papers: On super $v$-domains
Let $D$ be an integral domain and $\star$ a semistar operation stable and of finite type on it. In this paper, we are concerned with the study of the semistar (Krull) dimension theory of polynomial rings over $D$. We introduce and…
An integral domain is said to have the IDF property when every non-zero element of it has only a finite number of non-associate irreducible divisors. A counterexample has already been found showing that IDF property does not necessarily…
We study the integral domains D satisfying the following condition: whenever I >AB with I,A,B nonzero ideals, there exist ideals A'>A and B'>B such that I=A'B'.
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…
$\DeclareMathOperator{\Int}{Int}\DeclareMathOperator{\IntR}{Int{}^\text{R}}$For a domain $D$, the ring $\Int(D)$ of integer-valued polynomials over $D$ is atomic if $D$ satisfies the ascending chain condition on principal ideals. However,…
Let $D$ be an integral domain with quotient field $K$ and $\Omega$ a finite subset of $D$. McQuillan proved that the ring ${\rm Int}(\Omega,D)$ of polynomials in $K[X]$ which are integer-valued over $\Omega$, that is, $f\in K[X]$ such that…
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…
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 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 G be a finite p-subgroup of GL(V), where p = char(F), and V is finite-dimensional over the field F. Let S(V) be the symmetric algebra of V, S(V)^G the subring of G-invariants, and V* the F-dual space of V. The following presents our…
This note intended to give a counterexample to a question related to the following theorem. Let D be a differential domain finitely generated over a differential field F with algebraically closed field of constants,C, of characteristic 0.…
Let $D$ be an integral domain and $\star$ a semistar operation on $D$. As a generalization of the notion of Noetherian domains to the semistar setting, we say that $D$ is a $\star$--Noetherian domain if it has the ascending chain condition…
A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups…
A subset $S$ of an integral domain $R$ is called a semidomain if the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities; additionally, we say that $S$ is additively reduced provided that $S$ contains no additive inverses. Given…
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$…
It is a well-known and easily established fact that every Euclidean domain is also a principal ideal domain. However, the converse statement is not true, and this is usually shown by exhibiting as a counterexample the ring of algebraic…
It is shown that if $R$ is a ring, $p$ a prime element of an integral domain $D\leq R$ with $\bigcap_{n=1}^\infty p^nD=0$ and $p\in U(R)$, then $R$ has a conch maximal subring (see \cite{faith}). We prove that either a ring $R$ has a conch…
Let $D$ be a Krull domain admitting a prime element with finite residue field and let $K$ be its quotient field. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $D$,…
Let $S \subset R$ be an arbitrary subset of a unique factorization domain $R$ and $\K$ be the field of fractions of $R$. The ring of integer-valued polynomials over $S$ is the set $\mathrm{Int}(S,R)= \{ f \in \mathbb{K}[x]: f(a) \in R\…
Let $(A,\mathfrak{m})$ be a complete equicharacteristic Noetherian domain of dimension $d + 1 \geq 2$. Assume $k = A/\mathfrak{m}$ has characteristic zero and that $A$ is not a regular local ring. Let $Sing(A)$ the singular locus of $A$ be…