Frequently is not a principal ideal domain. This chapter is
about a way to understand how badly fails to be a principal
ideal domain. The class group of measures this failure. As
one sees in a course on Class Field Theory, the class group and its
generalizations also yield deep insight into the
extensions of that are Galois with abelian Galois group.
Finiteness of the Class Group