Ideal norm (source code)

= Ideal norm
{wiki}

For a nonzero integral ideal $I\subseteq\mathcal O_K$, its norm is the finite index $N(I)=|\mathcal O_K/I|$. Norms multiply under ideal multiplication.