Ring class field

In mathematics, a ring class field is the abelian extension of an algebraic number field "K" associated by class field theory to the ring class group of some order "O" of the ring of integers of "K".
Properties.
Let "K" be an algebraic number field.
Let "L" be the ring class field for order "Z[]" in number field "K=Q()".