Related papers: A Dedekind Domain with Nontrivial Class Group

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…

We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued…

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…

In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this…

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…

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…

We consider the ring of real analytic functions defined on $[0,1]$, i.e. $$C^{\omega}[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace$$ In this article, we explore the nature of ideals in this…

For a Dedekind domain $D$, let $\mathcal{P}(D)$ be the set of ideals of $D$ that are radical of a principal ideal. We show that, if $D,D'$ are Dedekind domains and there is an order isomorphism between $\mathcal{P}(D)$ and…

Weinberger in 1972, proved that the ring of integers of a number field with unit rank at least $1$ is a principal ideal domain if and only if it is a Euclidean domain, provided the generalised Riemann hypothesis holds. Lenstra extended the…

For a given family $(G_i)_{i \in \N}$ of finitely generated abelian groups, we construct a Dedekind domain $D$ having the following properties. \begin{enumerate} \item $\Pic(D) \cong \bigoplus_{i \in \N}G_i$. \item For each $i \in \N$,…

This article investigates the properties of Dedekind superrings, invertible supermodules and projective supermodules within the $\mathbb{Z}_2$-graded framework. Rather than treating these entities as specialized instances of general…

An integral domain $D$ is called an SP-domain if every ideal is a product of radical ideals. Such domains are always almost Dedekind domains, but not every almost Dedekind domain is an SP-domain. The SP-rank of $D$ provides a natural…

We study almost Dedekind domains with respect to the failure of ideals to have radical factorization, that is, we study how to measure how far an almost Dedekind domain is from being an SP-domain. To do so, we consider the maximal space…

Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set…

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 extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…

We study the ring of arithmetical functions with unitary convolution, giving an isomorphism to a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell-Everett between the ring of arithmetical…

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

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…

Pr\"{u}fer domains and subclasses of integral domains such as Dedekind domains admit characterizations by means of the properties of their ideal lattices. Interestingly, a Leavitt path algebra $L$, in spite of being non-commutative and…