Tags: #todo #todo/stub Refs: Kronecker-Weber theorem Artin reciprocity Hilbert class field Motivation ray class field Examples