show · nf.relative_class_number all knowls · up · search:

If $K$ is a number field with CM with class number $h$, and $K^+$ is its maximal totally real subfield with class number $h^+$, then $h^+$ divides $h$ and the relative class number is $h/h^+$.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by John Jones on 2024-08-29 15:04:12
Referred to by:
History: (expand/hide all)