Related papers: A Dedekind Domain with Nontrivial Class Group
In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language…
Let R=K[M] be a normal affine monoid algbera over a field K.Up to isomorphism the conic ideals are exactly the direct summands ofthe extension R^{1/n} of R. We show that the classes of the conic divisorial ideals can be identified with the…
Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial…
Let $R$ be an infinite Dedekind domain with at most finitely many units, and let $K$ denote its field of fractions. We prove the following statement. If $L/K$ is a finite Galois extension of fields and $\mathcal{O}$ is the integral closure…
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,…
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
Let $R$ be a commutative ring with identity. The structure theorem says that $R$ is a PIR (resp., UFR, general ZPI-ring, $\pi$-ring) if and only if $R$ is a finite direct product of PIDs (resp., UFDs, Dedekind domains, $\pi$-domains) and…
We will prove that if $G$ and $H$ are modules over a principal ideal domain $R$ such that the endomorphism rings $\mathrm{End}_R(R\oplus G)$ and $\mathrm{End}_R(R\oplus H)$ are isomorphic then $G\cong H$. Conversely, if $R$ is a Dedekind…
Regarding non-unique factorization of integer-valued polynomials over a discrete valuation domain $(R,M)$ with finite residue field, it is known that there exist absolutely irreducible elements, that is, irreducible elements all of whose…
It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Pr\"{u}fer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The…
We associate with the ring $R$ of algebraic integers in a number field a C*-algebra $\cT[R]$. It is an extension of the ring C*-algebra $\cA[R]$ studied previously by the first named author in collaboration with X.Li. In contrast to…
The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$, among all ideals $I$ in $R$. In this paper, we obtain a characterization of Noetherian rings $R$ whose rank is not equal to the supremum of ranks of…
Let $\mathfrak D$ be a residually finite Dedekind domain, $a\in \mathfrak D$ be a nonzero element and $\mathfrak n$ be a nonzero ideal of $\mathfrak D$. In this paper we describe the dynamics of the map $x\mapsto ax$ over the quotient ring…
Crystalline graded rings are generalizations of certain classes of rings like generalized twisted group rings, generalized Weyl algebras, and generalized skew crossed products. When the base ring is a commutative Dedekind domain, two…
Let $R$ be a regular domain of dimension $d\geq 2$ which is essentially of finite type over an infinite perfect field $k$. We compare the Euler class group $E^d(R)$ with the van der Kallen group $Um_{d+1}(R)/E_{d+1}(R)$. In the case $2R=R$,…
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.
We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals…
We consider diophantine subsets of function fields of curves and show, roughly speaking, that they are either very small or very large. In particular, this implies that the ring of polynomials $k[t]$ is a not a diophantine subset of the…
In this paper, it is shown that a Fuchsian group, acting on the upper half-plane model for $\mathbb{H}^2$, admits a Ford domain which is also a Dirichlet domain, for some center, if and only if it is an index 2 subgroup of a reflection…
In the set of continuous functions C(X,Y) where Y has a topology close to being discrete, there is an equivalence relation on X which characterizes the quasi-components of X. If Y satisfies weak algebraic conditions with a single binary…