On infinite extensions of Dedekind domains, upper semicontinuous functions and the ideal class semigroups

TL;DR

This paper generalizes prime ideal factorization theory to infinite extensions of Dedekind domains by introducing upper semicontinuous functions and establishing an isomorphism with the monoid of fractional ideals.

Contribution

It introduces a new framework of upper semicontinuous functions to analyze the ideal class semigroup of infinite extensions of Dedekind domains, extending classical prime ideal factorization.

Findings

Established an isomorphism between upper semicontinuous functions and fractional ideals

Generalized prime ideal factorization to infinite extensions

Analyzed the Galois-monoid structure of the ideal class semigroup

Abstract

In this article, we study the monoid of fractional ideals and the ideal class semigroup of an arbitrary given one dimensional normal domain O obtained by an infinite integral extension of a Dedekind domain. We introduce a notion of "upper semicontinuous functions" whose domain is the maximal spectrum of O equipped with a certain topology, and whose codomain is a certain totally ordered monoid containing the set of real numbers. We construct an isomorphism between a monoid consisting of such upper semicontinuous functions satisfying certain conditions and the monoid of fractional ideals of O. This result can be regarded as a generalization of the theory of prime ideal factorization for Dedekind domains. By using such isomorphism, we study the Galois-monoid structure of the ideal class semigroup of O.