 Ray class number formula

ID: ray-class-number-formula

U_{m, 1}

consists of units congruent to one modulo

m_{0}

and positive at the selected real places, then

∣ Cl_{m} (K) ∣ = h_{K} \frac{2 ^{∣ m_{\infty} ∣} N m _{0} \prod _{p ∣ m_{0}} ( 1 - N p ^{- 1} )}{[ O _{K}^{\times} : U _{m, 1} ]} .

 New to topics? Read the docs here!