Revisiting G-Dedekind domains

TL;DR

This paper introduces and characterizes dually compact domains (DCDs), a new class of integral domains that generalize several known classes, and explores their properties, including their relation to G-Dedekind domains and behavior under extensions.

Contribution

It defines DCDs, characterizes their properties, and establishes their relationship with G-Dedekind domains, expanding the understanding of integral domain classifications.

Findings

DCDs properly contain Noetherian, Mori, and Krull domains.

A Schreier DCD is a GCD domain with principal $A_v$ ideals.

G-Dedekind domains are characterized as DCDs satisfying a specific intersection property.

Abstract

Let $R$ be an integral domain with $qf(R)=K$ and let $F(R)$ be the set of nonzero fractional ideals of $R.$ Call $R$ a dually compact domain (DCD) if for each $I\in F(R)$ the ideal $I_{v}=(I^{-1})^{-1}$ is a finite intersection of principal fractional ideals. We characterize DCDs and show that the class of DCDs properly contains various classes of integral domains, such as Noetherian, Mori and Krull domains. In addition we show that a Schreier DCD is a GCD domain with the property that for each $A\in F(R)$ the ideal $A_{v}$ is principal. We show that a domain $R$ is G-Dedekind domain (i.e. has the property that $A_{v}$ is invertible for each $A\in F(R)$) if and only if $R$ is a DCD satisfying the property $\ast :$ for all pairs of subsets $\{a_{1},...,a_{m}\},\{b_{1},...b_{n}\}\subseteq K\backslash \{0\},$ $(\cap _{i=1}^{m}(a_{i})(\cap _{j=1}^{n}(b_{j}))=\cap _{i,j=1}^{m,n}a_{i}b_{j}$. We discuss what the appropriate name for G-Dedekind domains and related notions should be. We also make some observations about how the DCDs behave under localizations and polynomial ring extensions.