# nLab commutative magma

Contents

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Definition

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

$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.