Commutative operations . In mathematics , some mathematical operations have the commutative property or commutativity in which the result does not vary when changing the order of the elements on which it is applied. This property is true, for example, in the addition and multiplication of real numbers: the order of the addends does not alter the sum and the order of the factors does not alter the product .
[ hide ]
- 1 Definition
- 2 Examples
- 3 Various cases
- 5 References
In general, given a group (A, *) , the internal operation * is commutative if for any pair of elements a and b of A it is true that a * b = b * a .
Let the pair be <S; *> where S is a non-empty set and * an operation on S, if for two of its elements a and b it is true that a * b = b * a , * is said to be a commutative operation on S.
- In real numbers, addition and multiplication are commutative operations. For example, 2 + 1 = 3 = 1 + 2 and 3 · 2 = 6 = 2 · 3.
- In complex numbers, addition and multiplication are commutative operations. For example, (1 + i) – 2i = 1 – i = – 2i + (1 + i).
- In the group of real square matrices, the sum is a commutative operation but the product is not.
- The composition of functions is not a commutative operation.
- The vector product of vectors in R 3is not commutative.
In propositional logic
- The conjunction p and qis the same as the proposition q and p .
- the inclusive disjunction because both are thesame as both
- the exclusive disjunction for only oneis the same as for only one .
- the double implication p if only qis the same as q if only if
The commutativity is verified for each operation by means of a table of values 
In set theory
- The union of sets A union B = B union A
- the intersection of sets A inter B = B inter A
- the symmetric difference A Δ B = B Δ A
The set of the first member is shown to be part of the set of the second member and vice versa, using the logical propositions of the case. 
In numerical systems
- In natural numbers: it is true that a + b = b + a, is demonstrated with the Peano axiomatic. 
- In the integers. Let M = (a, b) and N = (c, d). Then M + N = (a + c, b + d) and N + M = (c + a, d + c) applying the additive commutativity of the naturals on the components of the representative ordered pairs the commutative property is fulfilled.
- In the rational numbers L = (m, n) and H = (p, q). We have L + H = (mq + np, nq); H + L = (pn + mq, qn), as in the ordered pairs there are integers that fulfill the commutative property of addition and multiplication.
- In real numbers. Let a, b, c and d be any rational numbers such that a≤x≤b, c≤y≤d where x and y are real numbers, the sum is such that a + c≤x + y≤b + d. This definition tests the commutative property. 
- adding complex numbers is a commutative operation.
- the addition of quaterniums is a commutative operation.
In reverse operations
- the subtractionin the integer, rational, real, complex, quaternion is an inverse operation of addition, but is not commutative, except for aa. This occurs because the subtraction solves the equation a + x = b and this does not equal the equation b + x = a, which would ensure the commutative property of the subtraction.
- the division of numbers is not commutative except in the b / b and non-null case. Division solves the equation bx = a, it does not solve ax = b at the same time. therefore two equations fit: bx = a, plus ay = b. 
- The sum of polynomials in an indeterminate is commutative P (x) + Q (x) = Q (x) + P (x)
- The sum of matrices and that of vectors of the same dimension is commutative.
- The dot product of two vectors is commutative
- The vector product of two vectors is not commutative
- The product of two permutations is not commutative
- The matrix product is not commutative 
- The quaternium product is not commutative 
- The operation that defines the group is not necessarily commutative; in case it is an abelian group.
- A ring is an algebraic system that involves two operations. The first called addition that defines the abelian group with the elements of the ring.
- A body is a ring in which each element has a multiplicative inverse. If the body is commutative with respect to multiplication it is called a field. 
- Both the R-module A and the K-vector space V, with respect to the addition of its elements, are a commutative group .
- In an algebraic group a [x, y] = xyx -1y -1 is called a commutator of x with y  . The set of all switches of group G, form a subgroup of G.