Field norm (source code)

= Field norm
{wiki}

The field norm $N_{L/K}(x)$ is the determinant of multiplication by $x$, equivalently the product of its conjugates when the extension is separable.