PlanetMath (more info)
 Math for the people, by the people.
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

$\displaystyle 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

$\displaystyle \circ(a,b)=\circ(b,a).$

Some common examples of commutative operations are

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,

$\displaystyle 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.



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

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
Log in to rate this entry.
(view current ratings)

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

This is version 7 of commutative, born on 2002-02-18, modified 2008-01-28.
Object id is 2148, canonical name is Commutative.
Accessed 14934 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)