# multiplicative group of infinite fields

I am stuck with the proof of below expression;

"If F is an infinite field, then no infinite subgroup of F* (the multiplicative group of F) is cyclic."

anyone can help?

-
Well, every finite subgroup of $F^\times$ is cyclic. –  Eric Towers Mar 3 '14 at 7:41
$n^{\Bbb Z}$ is an infinite cyclic subgroup of $\Bbb Q^\times$ for any $n\in\Bbb Q\setminus\{-1,0,1\}$. –  blue Mar 3 '14 at 7:51
As sea-turtles points out, the claim is false. Where did it come from? –  Chris Culter Mar 3 '14 at 7:53
it is from the book of Steven Roman, Field Theory 2nd ed. Ch.1, exercise 8. The exact expression is as follows; –  smyr Mar 3 '14 at 8:00
8. Let F* be the multiplicative group of all nonzero elements of a field F. We have seen that ifG is a finite subgroup of F*, then G is cyclic. Prove that if F is an infinite field then no infinite subgroup G of F* is cyclic. –  smyr Mar 3 '14 at 8:02

Any infinite field $F$ of characteristic zero has infinite cyclic subgroups of $F^\times$. Any such field would contain a copy of $\Bbb Q$ so it suffices to give examples for that. Take $x^{\Bbb Z}$ for any $x\in\Bbb Q\setminus\{-1,0,1\}$.
In characteristic $p$ one can show a field's group of units $F^\times$ has an infinite cyclic subgroup if and only if it has an element $T$ transcendental over the prime subfield ${\Bbb F}_p$. If such an element exists then take $T^{\Bbb Z}$ to be the subgroup. If no such element exists then every element of $F$ is algebraic over ${\Bbb F}_p$ and hence a root of unity (by the theory of finite fields) hence generates a finite group.
Suppose $R$ is a ring such that $R^\times$ is infinite cyclic. There can be no nontrivial roots of unity, so therefore $-1=1$ and ${\rm char}\,R=2$. If $R^\times=\langle x\rangle$ then $x^{-1}\in R$ and hence ${\Bbb F}_2[x,x^{-1}]\subseteq R$. Our above argument shows $x$ is transcendental over ${\Bbb F}_2$. One may show the only units of ${\Bbb F}_2[x,x^{-1}]$ are in $x^{\Bbb Z}$. Therefore $R={\Bbb F}_2[T,T^{-1}]$ is the minimal example of such a ring where $R^\times\cong\Bbb Z$ in the sense that it injects into all rings with this property.