Class field theory describes the abelian extensions of a given field K in terms of various class groups of K, and can be viewed as one of the great successes of 20th century number theory. However, the main results in ...