Multiplicativity of the algebraic norm (source code)

= Multiplicativity of the algebraic norm

For algebraic elements $\alpha$ and $\beta$,
$$
N(\alpha\beta)=N(\alpha)N(\beta).
$$
This follows because multiplication by $\alpha\beta$ is the composition of multiplication by $\beta$ and multiplication by $\alpha$, and determinants are multiplicative.