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 M = Max(R) of an almost Dedekind domain R, interpreting its (fractional) ideals as maps from M to Z, and looking at the continuity of these maps when M is endowed with the inverse topology and Z with the discrete topology. We generalize the concept of critical ideals by introducing a well-ordered chain of closed subsets of M (of which the set of critical ideals is the first step) and use it to define the class of SP-scattered domains, which includes the almost Dedekind domains such that M is scattered and, in particular, the almost Dedekind domains such that M is countable. We show that for this class of rings the group Inv (R) is free by expressing it as a direct sum of groups of continuous maps, and that, for every length function ℓ on R and every ideal I of R, the length of R / I is equal to the length of R / rad(I).
Almost Dedekind domains without radical factorization
Spirito D.
2023-01-01
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 M = Max(R) of an almost Dedekind domain R, interpreting its (fractional) ideals as maps from M to Z, and looking at the continuity of these maps when M is endowed with the inverse topology and Z with the discrete topology. We generalize the concept of critical ideals by introducing a well-ordered chain of closed subsets of M (of which the set of critical ideals is the first step) and use it to define the class of SP-scattered domains, which includes the almost Dedekind domains such that M is scattered and, in particular, the almost Dedekind domains such that M is countable. We show that for this class of rings the group Inv (R) is free by expressing it as a direct sum of groups of continuous maps, and that, for every length function ℓ on R and every ideal I of R, the length of R / I is equal to the length of R / rad(I).File | Dimensione | Formato | |
---|---|---|---|
Almost Dedekind domains without radical factorization.pdf
non disponibili
Licenza:
Non pubblico
Dimensione
964.6 kB
Formato
Adobe PDF
|
964.6 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.