Algebraic norm (source code)

= Algebraic norm
{title2=$N(\alpha)$}

The algebraic norm of an element of a finite <field extension> is the <determinant> of multiplication by that element. In a quadratic subring of $\mathbb C$, it is often $N(\alpha)=\alpha\overline\alpha$.