MathOverflow is a question and answer site for professional mathematicians. 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

Is there a non-finitely-generated group each of whose proper subgroups is finitely generated? If so, what form of choice (if any) is required to construct such a group?

share|cite|improve this question
The Prufer p-group. – George Lowther Jan 23 '11 at 1:21
up vote 12 down vote accepted

(CW since this is just expanding on George Lowther’s comment to the question, which could really have been an answer in the first place; if George L wants to convert his answer to a comment himself, I can delete this one.)

For any prime $p$, the Prüfer $p$-group is as desired.

There are several constructions of this; a good one for present purposes is $$\mathbb{Z}[1/p]\ /\ \mathbb{Z}$$ i.e. rationals with denominator a power of $p$, modulo the integers.

To see that this works, note that it is the union of the linearly ordered chain of finitely generated (indeed, cyclic) subgroups $H_i := \{ [a / p^i]\ |\ 0 \leq a < p^i \}$, over $i \in \mathbb{N}$.

Now any element of $H_{i+1}$ not in $H_{i}$ must be of the form $[a/p^{i+1}]$ with $a$ coprime to $p$, and hence generates the whole of $H_{i+1}$. So any subgroup is either equal to some $H_i$, or else contains them all and is the whole group.

On the other hand, the entire group is clearly not finitely generated since any finite set of elements is contained in some $H_i$.

share|cite|improve this answer
Sweet... didn't know this one. I'm quite charmed. – Todd Trimble Jan 23 '11 at 18:33
@Peter: Thanks. That's just what I would have said. No need to delete this answer, as 6 people have already bothered upvoting it. – George Lowther Jan 24 '11 at 0:24
Also, every proper subgroup is cyclic, and not just finitely generated. – George Lowther Jan 24 '11 at 0:26
Excellent example and explanation---thanks! It's still not clear to me to what extent choice is necessary for this example, but I'll look through the argument more closely later. (I was expecting a less clear-cut construction, I suppose.) – Zach N Jan 24 '11 at 4:26
This group is isomorphic to the group of p-th power roots of unity in the complex numbers (restrict the isomorphism of Q/Z with the roots of unity to the subgroup of elements with p-power order). This is a more concrete model for the group. That every subgroup of this group is cyclic is related to the fact that any finite subgroup of the nonzero elements of a field is a cyclic group: any proper subgroup is missing some root of unity of order, say, $p^n$ and therefore has no root of unity of order p^n or higher, which means it is a finite subgroup. – KConrad Jan 24 '11 at 9:04

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.