 Nilpotency class of a direct product

Group commutators are taken coordinatewise in a direct product of groups, giving ${\Gamma }_j(A\times B)={\Gamma }_j(A)\times {\Gamma }_j(B)$. A finite direct product of nilpotent groups is nilpotent, with class the maximum of the factor classes.

// Target: algebra.bigb