PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
commutative (Definition)

Let $S$ be a set and $\circ$ a binary operation on it. $\circ$ is said to be commutative if

$$a \circ b = b \circ a$$

for all $a,b \in S$

Viewing $\circ$ as a function from $S\times S$ to $S$ the commutativity of $\circ$ can be notated as $$\circ(a,b)=\circ(b,a).$$

Some common examples of commutative operations are

  • addition over the integers: $m+n=m+n$ for all integers $m,n$
  • multiplication over the integers: $m\cdot n=m\cdot n$ for all integers $m,n$
  • addition over $n \times n$ matrices, $A+B=B+A$ for all $n\times n$ matrices $A,B$ and
  • multiplication over the reals: $rs=sr$ for all real numbers $r,s$

A binary operation that is not commutative is said to be non-commutative. A common example of a non-commutative operation is the subtraction over the integers (or more generally the real numbers). This means that, in general, $$a-b\ne b-a.$$ For instance, $2-1=1\ne -1 = 1-2$

Other examples of non-commutative binary operations can be found in the attachment below.

Remark. The notion of commutativity can be generalized to $n$ ary operations, where $n\ge 2$ An $n$ ary operation $f$ on a set $A$ is said to be commutative if $$f(a_1,a_2,\ldots, a_n)=f(a_{\pi(1)},a_{\pi(2)},\ldots, a_{\pi(n)})$$ for every permutation $\pi$ on $\lbrace 1,2,\ldots, n\rbrace$ and for every choice of $n$ elements $a_i$ of $A$




"commutative" is owned by CWoo. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: associative, abelian group, quantum topos, non-commutative structure

Other names:  commutativity, commutative law
Also defines:  non-commutative

Attachments:
examples of non-commutative operations (Example) by yark
general commutativity (Theorem) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: permutation, subtraction, non-commutative operation, reals, matrices, multiplication, integers, addition, operations, function, binary operation
There are 161 references to this entry.

This is version 8 of commutative, born on 2002-02-18, modified 2008-12-21.
Object id is 2148, canonical name is Commutative.
Accessed 19093 times total.

Classification:
AMS MSC20-00 (Group theory and generalizations :: General reference works )

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)