Ideal norm

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.