Misplaced Pages

Zerosumfree monoid

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Concept in abstract algebra

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

( a , b M )   a + b = 0 a = b = 0 {\displaystyle (\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 {\displaystyle 0+0} . This property defines one sense in which an additive monoid can be as unlike an additive group as possible: no elements have inverses.

References


Stub icon

This abstract algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: