In algebraic number theory, a ring class field is the abelian extension of an algebraic number field K {\displaystyle K} associated by class field theory to the ring class group of some order O {\displaystyle {\mathcal {O}}} of the ring of integers of K {\displaystyle K} .
Examples Let K {\displaystyle K} be any number field. The ring class field for the maximal order O = O K {\displaystyle {\mathcal {O}}={\mathcal {O}}_{K}} is the Hilbert class field H {\displaystyle H} . Let K = Q ( − n ) {\displaystyle K=\mathbb {Q} ({\sqrt {-n}})} . The ring class field for the order O = Z [ − n ] {\displaystyle {\mathcal {O}}=\mathbb {Z} [{\sqrt {-n}}]} is L = K ( a ) {\displaystyle L=K(a)} , where a {\displaystyle a} is an algebraic integer with minimal polynomial over Q {\displaystyle \mathbb {Q} } of degree h ( − 4 n ) {\displaystyle h(-4n)} , the class number of an order with discriminant − 4 n {\displaystyle -4n} . Moreover, if p {\displaystyle p} is an odd prime not dividing n {\displaystyle n} , then p {\displaystyle p} splits completely in L {\displaystyle L} if and only if p {\displaystyle p} splits completely in K {\displaystyle K} . If O {\displaystyle {\mathcal {O}}} is an order and a {\displaystyle a} is a proper fractional O-ideal; i.e.
{ x ∈ K × : x a ⊂ a } = O {\displaystyle \{x\in K^{\times }:xa\subset a\}={\mathcal {O}}} , write j ( a ) {\displaystyle j(a)} for the j-invariant of the associated elliptic curve. Then K ( j ( a ) ) {\displaystyle K(j(a))} is the ring class field of O {\displaystyle {\mathcal {O}}} and j ( a ) {\displaystyle j(a)} is an algebraic integer.
Notes
References
External links Osserman, Brian, Ring class fields and p = x2 + ny2 (PDF), retrieved 5 August 2026
