From ProofWiki
Jump to navigation Jump to search


Commuting Elements

Let $\circ$ be a binary operation.

Two elements $x, y$ are said to commute (with each other) if and only if:

$x \circ y = y \circ x$

Commutative Operation

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

Then $\circ$ is commutative on $S$ if and only if:

$\forall x, y \in S: x \circ y = y \circ x$

Commuting Set of Elements

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

Let $X \subseteq S$ be a subset of $S$ such that:

$\forall a, b \in X: a \circ b = b \circ a$

That is, every element of $X$ commutes with every other element.

Then $X$ is a commuting set of elements of $S$.

Commutative Algebraic Structure

Let $\struct {S, \circ}$ be an algebraic structure whose operation $\circ$ is a commutative operation.

Then $\struct {S, \circ}$ is a commutative (algebraic) structure.

Historical Note

The term commutative was coined by Fran├žois Servois in $1814$.

Before this time the commutative nature of addition had been taken for granted since at least as far back as ancient Egypt.

Linguistic Note

The word commutative is pronounced with the stress on the second syllable: com-mu-ta-tive.

Also known as

The terms permute and permutable can sometimes be seen instead of commute and commutative.

Also see

  • Results about commutativity can be found here.