Wiki. “理想类群” [理想类群]

$\mathbb{Z}[\sqrt{-5}]$ 的理想类群是 $\mathbb{Z}/2$. 例如 $I=(2,1+\sqrt{-5})$ 不是主理想, 但 $I^2=(2)$ 是主理想.