Related papers: A realization theorem for almost Dedekind domains

We define Dedekind semidomains as semirings in which each nonzero fractional ideal is invertible. Then we find some equivalent condition for semirings to being Dedekind. For example, we prove that a Noetherian semidomain is Dedekind if and…

In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of…

An integral domain is called {\em Globalized multiplicatively pinched-Dedekind domain $($GMPD domain$)$} if every nonzero non-invertible ideal can be written as $JP_1\cdots P_k$ with $J$ invertible ideal and $P_1,...,P_k$ distinct ideals…

An integral domain $D,$ with quotient field $K,$ is a $v$-domain if for each nonzero finitely generated ideal $A$ of $D$ we have $(AA^{-1})^{-1}=D.$ It is well known that if $D$ is a $v$-domain$,$ then some quotient ring $D_{S}$ of $D$ may…

We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…

We study functions from a unique factorization monoid to a field. The set of all such functions is a commutative ring isomorphic to a ring of formal power series over the field, with indeterminates indexed by the prime elements of the…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudoreflection groups over Dedekind domains. In the special case of a principal ideal domain in which the group…

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is…

A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much…

We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…

We study those integral domains in which every proper ideal can be written as an invertible ideal multiplied by a nonempty product of proper radical ideals.

Let $\ast $ be a finite character star operation defined on an integral domain $D.$ Call a nonzero $\ast $-ideal $I$ of finite type a $\ast $ -homogeneous ($\ast $-homog) ideal, if $I\subsetneq D$ and $(J+K)^{\ast }\neq D$ for every pair…

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.

We determine the exact group structure of the abelianization of $\text{SL}_2(A)$, where $A$ is a Dedekind domain of arithmetic type with infinitely many units. In particular, our results show that $\text{SL}_2(A)^\text{ab}$ is finite, with…

Let $D$ be an integrally closed domain with quotient field $K$ and $A$ a torsion-free $D$-algebra that is finitely generated as a $D$-module and such that $A\cap K=D$. We give a complete classification of those $D$ and $A$ for which the…

Let $\mathbb{A}$ be a Dedekind domain and $T$ an endomorphism of a finitely-generated projective $\mathbb{A}$-module. If $T$ is an $s^{th}$ power in $\mathrm{End}_{\mathbb{A}}(M)$ for $s$ ranging over an infinite set $\mathcal{S}$ of…

Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory. We formalized these structures and several fundamental properties, including number theoretic finiteness results for…

Let I be a nonzero proper ideal in a Noetherian integral domain R. In this paper we establish the existence of a finite separable integral extension domain A of R and a positive integer m such that all the Rees integers of IA are equal to…

For an integral domain $R$, the {\it ring of integer-valued polynomials} over $R$ consists of all polynomials $f(X) \in R[X]$ such that $f(R) \subseteq R$. An interesting case to study is when $R$ is a Dedekind domain, in particular when…

This is an extended introduction to discrete valuation rings and Dedekind domains. Some natural generalizations of Dedekind domains are also (briefly) discussed including "almost Dedekind domains", Pr\"ufer domains, Krull domains, and…