Does every two-generated subgroups being nilpotent imply that the group itself is nilpotent?

561 Views Asked by At

It is trivial that a group $G$ is abelian if and only if every subgroup of $G$ with two generators is abelian (i.e., any two elements commute).

If $G$ is a nilpotent group, every subgroup with two generators must be nilpotent. Is the reciprocal true? More precisely:

Let $G$ be a group and suppose that every subgroup of $G$ generated by two elements is nilpotent (with uniformly bounded class if needed). Is $G$ necessarily nilpotent?

2

There are 2 best solutions below

0
On

When $G$ is finite the answer is "yes", since any two elements of coprime order commute, so a Sylow $p$-subgroup is normal for each prime divisor $p$ of the group order. When $G$ is infinite, I don't know, but others might. Each element of $G$ is certainly an Engel element, but there are non-nilpotent groups in which every element is an Engel element, (constructed, for example, by P.M. Cohn).

4
On

If we do not require that the class of a subgroup generated by two elements is bounded by some fixed constant, here is one example.

Consider the infinite direct sum $G = G_1 \oplus G_2 \oplus G_3 \oplus \cdots$ where $G_i$ is nilpotent of class $i$.

Then $G$ is not nilpotent, since it has nilpotent subgroups of arbitrarily large class. But any finitely generated subgroup of $G$ is contained in $G_1 \oplus G_2 \oplus \cdots \oplus G_n$ for some $n$, and this subgroup is nilpotent of class $n$. In particular any subgroup generated by two elements is nilpotent.