Almost Dedekind domains without radical factorization

DOI10.1515/FORUM-2022-0033zbMATH Open1518.13018arXiv2111.02102MaRDI QIDQ6382045

Dario Spirito

Publication date: 3 November 2021

Abstract: 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 $mathcalM=mathrmMax(R)$ of an almost Dedekind domain $R$, interpreting its (fractional) ideals as maps from $mathcalM$ to $mathbbZ$, and looking at the continuity of these maps when $mathcalM$ is endowed with the inverse topology and $mathbbZ$ with the discrete topology. We generalize the concept of critical ideals by introducing a well-ordered chain of closed subsets of $mathcalM$ (of which the set of critical ideals is the first step) and use it to define the class of emph{SP-scattered domains}, which includes the almost Dedekind domains such that $mathcalM$ is scattered and, in particular, the almost Dedekind domains such that $mathcalM$ is countable. We show that for this class of rings the group $mathrmInv(R)$ is free by expressing it as a direct sum of groups of continuous maps, and that, for every length function $ell$ on $R$ and every ideal $I$ of $R$, the length of $R/I$ is equal to the length of $R/mathrmrad(I)$.

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Ordered groups (06F15)

This page was built for publication: Almost Dedekind domains without radical factorization