Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

(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.)

share|improve this question
add comment

1 Answer

up vote 8 down vote accepted

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.

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.

share|improve this answer
    
Thank you for the answer! –  Arturo Magidin Oct 21 '11 at 20:26
add comment

Your Answer

 
discard

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.