## n-th roots of Pythagorean numbers

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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?

-
Since $1$ is in $T$, the n-th roots of unity $\mu_n(1)$ are in $E$. Thus $E$ contains the field of all roots of unity, hence is infinite. – Franz Lemmermeyer Feb 10 2011 at 12:13

1
oops - n is supposed to be fixed. The answer is still that $E$ is infinite because the group of rational points on the unit circle is not finitely generated. I'll provide references later. – Franz Lemmermeyer Feb 10 2011 at 12:20
@Franz: If you could show that the group $T$ is an direct sum of infinitely many copies of $\mathbb Z$, that would prove that the extension is infinite. Otherwise it could be that $T$ is not finitely generated, but contains the $n$-th roots nevertheless, at least all but finitely many. – anton Feb 10 2011 at 12:59

2
For every prime $p$ in $\mathbb{Z}$ that splits in $\mathbb{Z}[i]$ as $q\bar{q}$, $T$ contains $q/\bar{q}$. All such elements generate an infinite dimensional free subgroup in $T$. – Yaakov Baruch Feb 10 2011 at 14:28

## 2 Answers

Tan (The group of rational points on the unit circle, Math. Mag. 69 (1996), 163-171) proved that the group of rational points on the unit circle modulo torsion is isomorphic to infinitely many copies of $\mathbb Z$.

I have given a couple of references to related articles in Kreise und Quadrate modulo $p$, Math. Semesterber. 47 (2000), 51-73.

-

3
@Franz : I guess you mean infinitely many copies of Z. Recently I came across the following unpublished note by Elkies : math.harvard.edu/~elkies/Misc/hilbert.pdf There he shows that the mentioned result is a nice application of Hilbert's Theorem 90. – François Brunault Feb 10 2011 at 20:58
@Francois: thanks. – Franz Lemmermeyer Feb 11 2011 at 6:58

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

(This may have errors - I'm not an algebraic number theorist.)

We have a complete description of the multiplicative structure of $F = \mathbb{Q}(i)$. It is: $$\mathbb{Q}(i)^\times \cong \left( \bigoplus_{p \cong 1 \mod 4} (\mathbb{Z} \oplus \mathbb{Z}) \right) \oplus \left( \bigoplus_{\text{other } p} \mathbb{Z} \right) \oplus \mathbb{Z}/4\mathbb{Z}.$$ Note that there are no $n$-divisible subgroups, except the 4th roots of unity (when $n$ is odd). This is a good sign of infinite degree.

Each prime $p$ congruent to 1 mod 4 can be written as product of primes $(a+ib)(a-ib)$, with $a$ and $b$ unique up to obvious symmetries. We find that $\frac{a+ib}{a-ib} \in T$, and is a primitive element in the copy of $\mathbb{Z} \oplus \mathbb{Z}$ in the big sum corresponding to $p$. In particular, it is not an $n$th power for $n \geq 2$.

We can now construct a sequence of fields $F=F_0 \subset F_1 \subset \dots$, where $F_k$ is given by starting with $F_{k-1}$, and adjoining an $n$th root of the number $\frac{a+ib}{a-ib}$ corresponding to some prime congruent to 1 mod 4 over which $F_{k-1}$ is unramified. Since finite extensions are ramified over finitely many primes, and adjoining the $n$th root creates ramification over $p$, we have strict containment at each step, and the chain does not terminate after finitely many steps. The union of the chain is an infinite degree extension that is contained in $E$, so $E$ has infinite degree over $F$.

-

First error!  I should have said that in realizing the description of $\mathbb{Q}(i)^\times$, we fixed a choice of generators for the splittings of the primes $p$ congruent to 1 mod 4.  Otherwise, the number $\frac{a+ib}{a-ib}$ is only a well-defined primitive element in the copy of $\mathbb{Z} \oplus \mathbb{Z}$ after we quotient by the copy of $\mathbb{Z}/4\mathbb{Z}$ that makes the 4th roots of unity. – S. Carnahan♦ Feb 10 2011 at 18:31
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 57, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9222767353057861, "perplexity_flag": "head"}