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...
-
$\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 AgolApr 15, 2012 at 4:01
-
$\begingroup$ I believe that this holds for any fully residually free group. I think G. Baumslag proved it. $\endgroup$– Benjamin SteinbergApr 15, 2012 at 4:27
-
$\begingroup$ Non abelian of course! $\endgroup$– Benjamin SteinbergApr 15, 2012 at 4:28
-
$\begingroup$ @Agol: so presumably this holds for a subgroup of finite index in any closed hyp. manifold? $\endgroup$– Igor RivinApr 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 NeadApr 15, 2012 at 18:38
2 Answers
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.
-
$\begingroup$ This is really great phrase "there is no name, there are lots of examples" :-) $\endgroup$– VictorApr 18, 2012 at 7:54
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.