nLab absorption magma

Contents

Contents

Definition

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.

Properties

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.

Examples

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.