Definition:Power-Associative

Definition

Let $\circ$ be a binary operation.

Then $\circ$ is defined as being power-associative on $S$ iff:

$\forall x \in S: \left({x \circ x}\right) \circ x = x \circ \left({x \circ x}\right)$

Also see

• Alternative

• Associative

Sources

• John C. Baez: The Octonions (2002): 1.1 Preliminaries