6
$\begingroup$

Is there a name for the class of groups in the title, and any sort of characterization? Free groups and surface groups are in the class, but presumably there are many more...

$\endgroup$
16
  • $\begingroup$ If you have a closed hyperbolic 3-manifold $M$ with $dim H_1(M;F)\geq 3$ for a field $F$, then $\pi_1(M)$ has this property. $\endgroup$
    – Ian Agol
    Apr 15, 2012 at 4:01
  • $\begingroup$ I believe that this holds for any fully residually free group. I think G. Baumslag proved it. $\endgroup$ Apr 15, 2012 at 4:27
  • $\begingroup$ Non abelian of course! $\endgroup$ Apr 15, 2012 at 4:28
  • $\begingroup$ @Agol: so presumably this holds for a subgroup of finite index in any closed hyp. manifold? $\endgroup$
    – Igor Rivin
    Apr 15, 2012 at 4:45
  • 5
    $\begingroup$ Igor - Apparently Culler and Shalen call this property "2-free" - there are quite a few papers relating $k$-freeness and volume of hyperbolic three-manifolds. Eg google the phrase "k-free shalen" without quotes. Cheers! $\endgroup$
    – Sam Nead
    Apr 15, 2012 at 18:38

2 Answers 2

16
$\begingroup$

There is no name, there are lots of examples. Guba gave many non-trivial examples in Guba, V. S. Conditions under which 2-generated subgroups in small cancellation groups are free. Izv. Vyssh. Uchebn. Zaved. Mat. 1986, no. 7, 12–19 and here: Guba, V. S. A finitely generated simple group with free 2-generated subgroups. Sibirsk. Mat. Zh. 27 (1986), no. 5, 50–67. There are of course infinitely generated locally free non-free groups. Every proper ascending HNN extension of a free group is an extension of such a group by a cyclic group. See also Arzhantseva, G. N. Olʹshanskiĭ, A. Yu. Generality of the class of groups in which subgroups with a lesser number of generators are free. Mat. Zametki 59 (1996), no. 4, 489--496, 638; translation in Math. Notes 59 (1996), no. 3-4, 350–355.

$\endgroup$
1
  • $\begingroup$ This is really great phrase "there is no name, there are lots of examples" :-) $\endgroup$
    – Victor
    Apr 18, 2012 at 7:54
3
$\begingroup$

There is a widely used term binary finite (бинарно конечная, in Russian) group, see papers of Shunkov, Chernikov and their school. This means a group where all 2-generated subgruops are finite.

For instance, the Kourovka Notebook contains the following question (still open, as far as I know).

Question 4.74(b) (V.P.Shunkov, 1973). Does there exist a simple infinite binary finite 2-group?

Also, I stumbled across binary solvable and binary nilpotent groups... As you can guess, I am hinting that you may call your groups binary free if you like this terminology.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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