An absorption magma or annihilation magma is a magma $(M,\cdot)$ with an element $0\in M$ satisfying the absorption/annihilation axioms: for all $a \in M$, $0 \cdot a = 0$ and $a \cdot 0 = 0$.
Equivalently, this is a magma object in the category of pointed sets.
A non-zero element $a \in M$ is a zero divisor if thete exists a non-zero element $b \in M$ such that $a \cdot b = 0$ or $b \cdot a = 0$.
Every magma object in the category of commutative unital magmas is an absorption magma. Particular examples of this include the multiplicative monoid in a rig (monoid objects in CMon) or a ring (monoid objects in Ab.
The multiplicative magmas of the octonions and the sedenions are absorption magmas.
Last revised on February 9, 2023 at 18:59:31. See the history of this page for a list of all contributions to it.