nLab
commutative magma

Contents

Contents

Definition

A magma (S,)(S,\cdot) is called commutative if its binary operation ()():S×S(-)\cdot(-) \colon S \times S has the property that for all x,ySx,y \in S then

xy=yx. x \cdot y = y \cdot x \,.

Examples

Examples include commutative monoids, abelian groups, commutative rings, commutative algebras etc.

Another example of a commutative magma is a midpoint algebra.

Last revised on May 31, 2021 at 20:17:22. See the history of this page for a list of all contributions to it.