Definition:Commutative/Algebraic Structure

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources