это полугруппа содержит элемент е(единицу) для которог ае=еа-а. Значит эта полугруппа -моноид?
Но точно не циклическая, т.к. ноль не является суммой несколький единиц, хотя все натуральные являются.