torsion-free commutative semigroup Synonyms