The commutators of a generating set with a set generating one lower central factor generate the next factor

Initializing...

The commutators of a generating set with a set generating one lower central factor generate the next factor · Prove2Me