Welcome to MathOverflow

Question

3

1

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?

edited Feb 11 2011 at 11:47

Greg Kuperberg
36.3k●2●117●179

asked Feb 10 2011 at 10:09

anton
2,412●7●12

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

Franz Lemmermeyer · Accepted Answer · 2011-02-11 06:58:19Z UTC

4

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.

edited Feb 11 2011 at 6:58

answered Feb 10 2011 at 17:27

Franz Lemmermeyer
17.2k●1●38●101

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

S. Carnahan · Answer 2 · 2011-02-10 18:16:04Z UTC

(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$.

n-th roots of Pythagorean numbers

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

2 Answers

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.