M

Macaulay local ring See local Macaulay ring.

Main Theorem (class field theory) If k is an algebraic number field, then any Abelian extension of fields K/k is a class field over k, for a suitable ideal group H .