monoide libre de suma cero

En álgebra abstracta , se dice que un monoide aditivo es libre de suma cero , cónico , sin centros o positivo si los elementos distintos de cero no suman cero. Formalmente: ${\displaystyle (M,0,+)}$

${\displaystyle (\forall a,b\in M)\ a+b=0\implies a=b=0\!}$

Esto significa que la única manera de expresar el cero como una suma es como . ${\displaystyle 0+0}$

Referencias

• Wehrung, Friedrich (1996). "Productos tensoriales de estructuras con interpolación". Revista Pacífico de Matemáticas . 176 (1): 267–285. doi : 10.2140/pjm.1996.176.267 . Zbl  0865.06010.