Varieties of groups with infinite relatively free group of rank 2 finite, infinite in rank 3 - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T18:24:05Z http://mathoverflow.net/feeds/question/78787 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78787/varieties-of-groups-with-infinite-relatively-free-group-of-rank-2-finite-infinit Varieties of groups with infinite relatively free group of rank 2 finite, infinite in rank 3 Arturo Magidin 2011-10-21T18:22:57Z 2011-10-21T20:01:36Z <p>Does there exist a variety of groups \$\mathfrak{V}\$ such that the relatively \$\mathfrak{V}\$-free group of rank 2 is finite, but the relatively \$\mathfrak{V}\$-group of rank 3 is infinite?</p> <p>(In other varieties of algebras this can occur; for example, in the variety of all lattices, the free lattice of rank 2 is finite, but the free lattice of rank 3 is infinite.)</p> http://mathoverflow.net/questions/78787/varieties-of-groups-with-infinite-relatively-free-group-of-rank-2-finite-infinit/78792#78792 Answer by Mark Sapir for Varieties of groups with infinite relatively free group of rank 2 finite, infinite in rank 3 Mark Sapir 2011-10-21T19:46:51Z 2011-10-21T20:01:36Z <p>There are varieties of semigroups like that. Take any finite inherently non-finitely based semigroup \$S\$, say, the 6-element Brandt monoid \$B_2^1\$, and the variety \$M\$ given by all identities of \$S\$ depending on at most 2 variables. Then all 2-generator semigroups in \$M\$ are in \$var S\$, so are finite, but three-generated semigroups in \$M\$ will be infinite. Warning: the latter is not quite in the literature, it is only proved that some finitely generated semigroup in \$M\$ is infinite, it may have a bigger rank (in my paper from 1987, Problems of Burnside type and the finite basis property in varieties of semigroups. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 51 (1987), no. 2, 319--340, 447; translation in Math. USSR-Izv. 30 (1988), no. 2, 295–314, it is \$2^2=4\$, I think). If you really want rank 3, you should take a slightly bigger monoid than \$B_2^1\$ or modify my construction.</p> <p>For groups the answer is unknown. The variety, if exists, is necessarily of finite exponent, hence a solution on the bounded Burnside problem is required. Zelmanov proved that for every prime \$p\$ there exists a number \$k\$ such that if all groups of exponent \$p\$ with \$k=k(p)\$ generators are finite, then all finitely generated groups of exponent \$p\$ are finite. For non-prime exponent even that if unknown. Zelmanov's function \$k(p)\$ grows exponentially. </p>