交换无挠可消摹群

• commutative torsion-free and cancellative monoids