Class Field Theory gives a one-one correspondence between the Galois groups of finite abelian extensions of a global field, k, and open subgroups of finite index in class group. This correspondence is captured by Reciprocity ...