##  [Commutative Law](/commutative-law-1) 

 Definition

A property of a binary operation · on a set stating that for every pair of elements a and b the equality a·b = b·a holds; the order of operands does not affect the outcome.

 

 

 

 

 

 





## Principle

Principle

Order invariance: the outcome of combining two elements is independent of their sequence, which organizes algebraic expressions and enables symmetric manipulations.

 

 

 

 

 





## Demonstration

Demonstration

In the real numbers with ordinary multiplication, 3·5 = 5·3 = 15; contrast with 2×(the 2×2 matrix A) where in general AB ≠ BA, so matrices illustrate failure of the law.

 

 

 

 

## Misapplication

Misapplication

Assuming commutativity in noncommutative structures (for example treating matrix multiplication or function composition as commutative) leads to incorrect rearrangements and false simplifications.

 

 

 

 

 





## Consequence

Consequence

When valid for an operation across a structure, proofs and computations can assume interchangeability of factors, enabling symmetric polynomial theory, simpler algebraic identities, and reduced case analysis.

 

 

 

 

## Reversal

Reversal

Noncommutativity: operations for which a·b and b·a differ; in some contexts one studies anti-commutativity where a·b = −b·a (exterior algebra) as the invert of simple commutativity.

 

 

 

 

 





## Boundary

Boundary

Applies only to the specified binary operation and only when the equality holds for all element pairs; many algebraic systems have operations that are only partially commutative (commuting elements) or not commutative at all.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Commutativity competes with notions of symmetry and abelian property: 'commutative' describes an operation, while 'abelian' usually describes an entire group where the group operation is commutative.

 

 

 

 

 





## Synthesis

Synthesis

Commutative law asserts global order-independence of a binary operation; when present it simplifies algebraic structure and computation, and when absent it signals richer nonabelian behavior that must be handled explicitly.