“Class field theory can be divided into two parts, local and global. In each part it is the study of all the abelian extensions of a certain base field. The underlying philosophy is to describe all abelian extensions in terms of objects residing within, or close to, the base field.”