Zerosumfree monoid

In abstract algebra, an additive monoid

is said to be zerosumfree, conical, centerless or positive if nonzero elements do not sum to zero.

Formally: This means that the only way zero can be expressed as a sum is as

This property defines one sense in which an additive monoid can be as unlike an additive group as possible: no elements have inverses.

This abstract algebra-related article is a stub.