Algebraic Number Theory
《Algebraic Number Theory》 · 第 36 页 · Chapter I，Section 6「Ideal Classes and the Unit Theorem」，Theorem 6.3
The ideal class group $\operatorname{Cl}_K=J_K/P_K$ is finite. Its order $h_K=(J_K:P_K)$ is called the class number of $K$.