Zerosumfree monoid

In abstract algebra, an additive monoid (M, 0, +) is said to be zerosumfree, conical, centerless or positive if nonzero elements do not sum to zero. Formally:

(\forall a,b\in M)\ a + b = 0 \implies a = b = 0 \!

This means that the only way zero can be expressed as a sum is as 0 + 0.

References


This article is issued from Wikipedia - version of the Thursday, August 21, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.