A uniform proof of the finiteness of the class group of a global field
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.
11 pages