Definition:Commutative/Algebraic Structure

From ProofWiki
Jump to navigation Jump to search


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

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

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.