A uniform proof of the finiteness of the class group of a global field

2019/09/16 by Stasinski, Alexander
#Commutative Algebra (math.AC) #FOS: Mathematics #Number Theory (math.NT)

paper · doi:10.48550/arxiv.1909.07121

Abstract

We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of rings of integers of global fields.

Related

• A formalization of Dedekind domains and class groups of global fields
• Universally and existentially definable subsets of global fields
• Formalizing the Ring of Adèles of a Global Field
• Radically finite rings and space curves
• On Dedekind domains whose class groups are direct sums of cyclic groups