Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Commutative property"
m (→‎Examples)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
−
An [[operation]] (especially a [[binary operation]]) is said to be '''commutative''' if the order of its arguments does not affect the value.
+
An [[operation]] (especially a [[binary operation]]) is said to have the '''commutative property''' or to ''be commutative'' if the order of its arguments does not affect the value.
  
 
For example, the operation [[addition]] is commutative on the most commonly used number systems (the [[complex number]]s and its [[subset]]s such as the [[real number]]s, [[integer]]s, etc.) because <math>\displaystyle a + b = b + a</math>.  However, the operation of [[division]] is not commutative over these sets because usually <math>\frac ab \neq \frac ba</math>.
 
For example, the operation [[addition]] is commutative on the most commonly used number systems (the [[complex number]]s and its [[subset]]s such as the [[real number]]s, [[integer]]s, etc.) because <math>\displaystyle a + b = b + a</math>.  However, the operation of [[division]] is not commutative over these sets because usually <math>\frac ab \neq \frac ba</math>.
Line 8: Line 8:
  
 
Commutivity is especially important in [[abstract algebra]].  The study of [[group]]s in which the group operation is commutative ([[abelian group]]s) is a very important part of [[group theory]].
 
Commutivity is especially important in [[abstract algebra]].  The study of [[group]]s in which the group operation is commutative ([[abelian group]]s) is a very important part of [[group theory]].
 +
 +
==Examples==
 +
* The integers commute under both addition and multiplication, but not subtraction or division.
 +
 +
* Some [[function]]s commute under [[composition]].  For example, the functions <math>f_n: \mathbb{C} \to \mathbb{C}</math>, <math>f_n(z) = z^n</math> for all <math>z</math> (with <math>n</math> taking values in the positive integers) commute: <math>f_n \circ f_m = f_m \circ f_n</math>.
 +
 +
* Function composition is not, in general, commutative. For example, composing two linear transformations between three vector spaces corresponds to multiplying the corresponding matrices, and matrix multiplication does not commute in general. In particular, let <math>A</math> be a <math>1 \times 2</math> matrix and <math>B</math> a <math>2 \times 1</math> matrix. Then <math>AB</math> and <math>BA</math> are matrices of sizes <math>1 \times 1</math> and <math>2 \times 2</math>, respectively.
  
 
== See also ==
 
== See also ==
 
* [[Abstract algebra]]
 
* [[Abstract algebra]]
 
* [[Algebra]]
 
* [[Algebra]]

Latest revision as of 16:46, 16 March 2012

An operation (especially a binary operation) is said to have the commutative property or to be commutative if the order of its arguments does not affect the value.

For example, the operation addition is commutative on the most commonly used number systems (the complex numbers and its subsets such as the real numbers, integers, etc.) because $\displaystyle a + b = b + a$. However, the operation of division is not commutative over these sets because usually $\frac ab \neq \frac ba$.

Formally, an operation $G: S \to S$ is commutative if and only if $\forall a, b \in S, G(a, b) = G(b, a)$.

An operation which is not commutative is said to be noncommutative.

Commutivity is especially important in abstract algebra. The study of groups in which the group operation is commutative (abelian groups) is a very important part of group theory.

Examples

  • The integers commute under both addition and multiplication, but not subtraction or division.
  • Some functions commute under composition. For example, the functions $f_n: \mathbb{C} \to \mathbb{C}$, $f_n(z) = z^n$ for all $z$ (with $n$ taking values in the positive integers) commute: $f_n \circ f_m = f_m \circ f_n$.
  • Function composition is not, in general, commutative. For example, composing two linear transformations between three vector spaces corresponds to multiplying the corresponding matrices, and matrix multiplication does not commute in general. In particular, let $A$ be a $1 \times 2$ matrix and $B$ a $2 \times 1$ matrix. Then $AB$ and $BA$ are matrices of sizes $1 \times 1$ and $2 \times 2$, respectively.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Commutative_property&oldid=45516"