nLab associative magma

Definition

A magma $(S,\cdot)$ is called associative if it satisfies the associativity condition, saying that for all $x,y,z \in S$ then the equation

$$(x \cdot y) \cdot z = x \cdot (y \cdot z)$$

holds.

Associative magmas are commonly referred to as semigroups. See there for more.

Related concepts

• unital magma

• commutative magma

• nonassociative ring, nonassociative algebra

• alternative algebra