En álgebra abstracta , se dice que un monoide aditivo es de suma cero libre , cónico , sin centro o positivo si los elementos distintos de cero no suman cero. Formalmente:
Esto significa que la única forma en que el cero puede expresarse como suma es como . Esta propiedad define un sentido en el que un monoide aditivo puede ser lo más diferente posible de un grupo aditivo: ningún elemento tiene inversos.
