Category:Conditions under which Commutative Semigroup is Group