The mathematician presented a proof that the nonabelian group cannot be decomposed into abelian factors.