Class Field Theory

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A body of results that classifies abelian extensions of global and local fields in terms of arithmetic data of the base field, giving explicit reciprocity laws and a correspondence between finite abelian extensions and open subgroups of a suitable arithmetic group (idele class group or ray class groups).

Class Field Theory

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
The body of results that classifies abelian (commutative Galois) extensions of global and local fields in terms of arithmetic data of the base field, most conveniently expressed via ideles, the idele class group, and reciprocity maps.