nLab absorption magma




An absorption magma or annihilation magma is a magma (M,)(M,\cdot) with an element 0M0\in M satisfying the absorption/annihilation axioms: for all aMa \in M, 0a=00 \cdot a = 0 and a0=0a \cdot 0 = 0.

Equivalently, this is a magma object in the category of pointed sets.


Zero divisors

A non-zero element aMa \in M is a zero divisor if thete exists a non-zero element bMb \in M such that ab=0a \cdot b = 0 or ba=0b \cdot a = 0.


See also

Last revised on February 9, 2023 at 18:59:31. See the history of this page for a list of all contributions to it.