Related papers: Arithmetic functions on a Dedekind domain

Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…

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

We give a precise description of how the class group of a number field measures the failure of unique factorization in its ring of integers. Specifically, following ideas of Kummer, we determine the structure of all irreducible…

In this paper, we study primeness and pseudo primeness of p-adic meromorphic functions. We also consider left (resp. right ) primeness of these functions. We give, in particular, sufficient conditions for a meromorphic function to satisfy…

Let A denote the ring of arithmetical functions with unitary convolution, and let V be a finite subset of the positive integers having the property that for every v in V, all unitary divisors of v lie in V. We study the truncation A_V, an…

The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to…

A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…

As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…

We investigate the space $X$ of unitary hermitian matrices over $\frp$-adic fields through spherical functions. First we consider Cartan decomposition of $X$, and give precise representatives for fields with odd residual characteristic,…

Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…

Motivated by Carmichael numbers, we say that a finite ring $R$ is a Carmichael ring if $a^{|R|}=a$ for any $a \in R$. We then call an ideal $I$ of a ring $R$ as a Carmichael ideal if $R/I$ is a Carmichael ring, and a Carmichael element of…

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…

Given a Noetherian ring $A$, the collection of all integrally closed ideals in $A$ which contain a nonzerodivisor, denoted $ic(A)$, forms a cancellative monoid under the operation $I*J=\overline{IJ}$, the integral closure of the product.…

Let $A$ be a Dedekind domain, $K$ the fraction field of $A$, and $f\in A[x]$ a monic irreducible separable polynomial. For a given non-zero prime ideal $\mathfrak{p}$ of $A$ we present in this paper a new method to compute a…

We develop the theory of minimal realizations and factorizations of rational functions where the coefficient space is a ring of the type introduced in our previous work, the scaled quaternions, which includes as special cases the…

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…

Let $k\in \mathbb{N}\setminus\{0\}$. For a commutative ring $R$, the ring of dual numbers of $k$ variables over $R$ is the quotient ring $R[x_1,\ldots,x_k]/ I $, where $I$ is the ideal generated by the set $\{x_ix_j\mid i,j=1,\ldots,k\}$.…

This is a self-contained purely algebraic treatment of desingularization of fields of fractions $\mathbf{L}:=Q(\mathbf{A})$ of $d$-dimensional domains of the form \[\mathbf{A}:=\bar{\mathbf{F}}[\underline{x}]/\langle…

For a Dedekind domain $\mathcal{O}$ and a rank two co-torsion module $M\subseteq \mathcal{O}^2$ with invariant factor ideals $\mathcal{L}\supseteq \mathcal{K}$ in $\mathcal{O}$, that is, $\frac{\mathcal{O}^2}{M}\cong…