Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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; – S.B. 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. – S.B. 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.

Thus it is incorrect to say "no infinite subgroup of an infinite field's group of units is cyclic."

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.