13
$\begingroup$

If each strict subgroup of a group G is free, must G be free or cyclic of prime order ?

$\endgroup$
4
  • $\begingroup$ What's a strict subgroup? $\endgroup$ Commented Oct 3, 2012 at 16:35
  • 7
    $\begingroup$ I think, strict=proper. Then there are even finitely-generated groups $G$ where every proper subgroup is infinite cyclic, but $G$ is not virtually free (Olshansky's central extensions of Tarsky monsters). However, if you add the condition that $G$ contains a free nonabelian subgroup, I do not think there are any know counter-examples. $\endgroup$
    – Misha
    Commented Oct 3, 2012 at 16:48
  • $\begingroup$ Search on Google "almost free groups" $\endgroup$ Commented Oct 3, 2012 at 16:49
  • 2
    $\begingroup$ It's a well known open question whether there's a non-free word-hyperbolic group with every proper subgroup free. $\endgroup$
    – HJRW
    Commented Oct 3, 2012 at 20:03

1 Answer 1

27
$\begingroup$

No. There is a variation of Tarski monster: a nonabelian group whose each proper nontrivial subgroup is infinite cyclic, see the book of Olshanskii.

Concerning Misha's comment. For any countable family of countable involution-free groups $G_1,G_2,\dots$, there is a group $H$ containing all $G_i$ as proper subgroups such that each proper subgroup of $H$ is either infinite cyclic or a conjugate of a subgroup of some $G_i$. This is Obraztsov's embedding theorem.

$\endgroup$
2
  • $\begingroup$ Very nice, Anton, I forgot about Obraztsov's theorem! $\endgroup$
    – Misha
    Commented Oct 3, 2012 at 17:24
  • $\begingroup$ Thanks. I thought this had already been answered, but I had no keyword. $\endgroup$
    – js21
    Commented Oct 3, 2012 at 21:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .