Class Field Theory

• Computation of defning equations of class fields
• The norm group of an abelian number field can be computed
• Norm symbols, Artin-map is available
• Solvability of norm equations extending the Hasse-Norm-Theorem