4 votes
Accepted

Norm of $2^{i}$-th primitive root

Let $K=\mathbb{Q}[\sqrt{-2}]$. Then $\frac{1}{2}\sqrt{-2}(1-i)$ is an eighth root of unity in $L$ whose norm is $\frac{1}{2}\sqrt{-2}(1-i)\frac{1}{2}\sqrt{-2}(1+i)=\frac{1}{4}(-2)(1-i^2)=-1\in K$. [I'...
Dave Benson's user avatar
  • 11.6k

Only top scored, non community-wiki answers of a minimum length are eligible