Commutator Criterion for Abelian Groups