Category:Power Associativity

This category contains results about Power Associativity.
Definitions specific to this category can be found in Definitions/Power Associativity.

Let $\struct {S, \circ}$ be an algebraic structure.

$\struct {S, \circ}$ is power associative if and only if:

$\forall a \in S: a \circ \paren {a \circ a} = \paren {a \circ a} \circ a$