show/hide this revision's text 2 edited tags
show/hide this revision's text 1

n-th roots of Pythagorean numbers

Let $F$ be the field ${\mathbb Q}(i)\subset \mathbb C$ and let $T\subset F$ be the set of all elements of complex absolute value 1. Let $n$ be a natural number $\ge 2$ and let $\mu_n(T)\subset\mathbb C$ be the set of all $n$-th roots of elements of $T$. Finally, let $E=F(\mu_n(T))$.

Question: Is the field extension $E/F$ finite or infinite?