P
Initializing...
The abelianization is the elementary Abelian 2-group of rank k+1 (Theorem 2.7 (i)) · Prove2Me