Commutative property
![]() | |
Type | Property |
---|---|
Field | Algebra |
Statement | Abinary operationiscommutativeif changing the order of theoperandsdoes not change the result. |
Symbolic statement |
Inmathematics,abinary operationiscommutativeif changing the order of theoperandsdoes not change the result. It is a fundamental property of many binary operations, and manymathematical proofsdepend on it. Perhaps most familiar as a property of arithmetic, e.g."3 + 4 = 4 + 3"or"2 × 5 = 5 × 2",the property can also be used in more advanced settings. The name is needed because there are operations, such asdivisionandsubtraction,that do not have it (for example,"3 − 5 ≠ 5 − 3"); such operations arenotcommutative, and so are referred to asnoncommutative operations.The idea that simple operations, such as themultiplicationandadditionof numbers, are commutative was for many years implicitly assumed. Thus, this property was not named until the 19th century, when mathematics started to become formalized.[1][2]A similar property exists forbinary relations;a binary relation is said to besymmetricif the relation applies regardless of the order of its operands; for example,equalityis symmetric as two equal mathematical objects are equal regardless of their order.[3]
Mathematical definitions
[edit]Abinary operationon asetSis calledcommutativeif[4][5] In other words, an operation is commutative if every two elements commute. An operation that does not satisfy the above property is callednoncommutative.
One says thatxcommuteswithyor thatxandycommuteunderif That is, a specific pair of elements may commute even if the operation is (strictly) noncommutative.
Examples
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/36/Commutative_Addition.svg/220px-Commutative_Addition.svg.png)
Commutative operations
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Vector_Addition.svg/220px-Vector_Addition.svg.png)
- Additionandmultiplicationare commutative in mostnumber systems,and, in particular, betweennatural numbers,integers,rational numbers,real numbersandcomplex numbers.This is also true in everyfield.
- Addition is commutative in everyvector spaceand in everyalgebra.
- Unionandintersectionare commutative operations onsets.
- "And"and"or"are commutativelogical operations.
Noncommutative operations
[edit]Division, subtraction, and exponentiation
[edit]Divisionis noncommutative, since.
Subtractionis noncommutative, since.However it is classified more precisely asanti-commutative,since.
Exponentiationis noncommutative, since.This property leads to two different "inverse" operations of exponentiation (namely, thenth-rootoperation and thelogarithmoperation), whereas multiplication only has one inverse operation.[6]
Truth functions
[edit]Sometruth functionsare noncommutative, since thetruth tablesfor the functions are different when one changes the order of the operands. For example, the truth tables for(A ⇒ B) = (¬A ∨ B)and(B ⇒ A) = (A ∨ ¬B)are
A B A ⇒ B B ⇒ A F F T T F T T F T F F T T T T T
Function composition of linear functions
[edit]Function compositionoflinear functionsfrom thereal numbersto the real numbers is almost always noncommutative. For example, letand.Then and This also applies more generally forlinearandaffine transformationsfrom avector spaceto itself (see below for the Matrix representation).
Matrix multiplication
[edit]Matrix multiplicationofsquare matricesis almost always noncommutative, for example:
Vector product
[edit]The vector product (orcross product) of two vectors in three dimensions isanti-commutative;i.e.,b×a= −(a×b).
History and etymology
[edit]Records of the implicit use of the commutative property go back to ancient times. TheEgyptiansused the commutative property ofmultiplicationto simplify computingproducts.[7][8]Euclidis known to have assumed the commutative property of multiplication in his bookElements.[9]Formal uses of the commutative property arose in the late 18th and early 19th centuries, when mathematicians began to work on a theory of functions. Today the commutative property is a well-known and basic property used in most branches of mathematics.
The first recorded use of the termcommutativewas in a memoir byFrançois Servoisin 1814,[1][10]which used the wordcommutativeswhen describing functions that have what is now called the commutative property.Commutativeis the feminine form of the French adjectivecommutatif,which is derived from the French nouncommutationand the French verbcommuter,meaning "to exchange" or "to switch", a cognate ofto commute.The term then appeared in English in 1838.[2]inDuncan Gregory's article entitled "On the real nature of symbolical algebra" published in 1840 in theTransactions of the Royal Society of Edinburgh.[11]
Propositional logic
[edit]Rule of replacement
[edit]In truth-functional propositional logic,commutation,[12][13]orcommutativity[14]refer to twovalidrules of replacement.The rules allow one to transposepropositional variableswithinlogical expressionsinlogical proofs.The rules are: and where ""is ametalogicalsymbolrepresenting "can be replaced in aproofwith ".
Truth functional connectives
[edit]Commutativityis a property of somelogical connectivesof truth functionalpropositional logic.The followinglogical equivalencesdemonstrate that commutativity is a property of particular connectives. The following are truth-functionaltautologies.
- Commutativity of conjunction
- Commutativity of disjunction
- Commutativity of implication (also called the law of permutation)
- Commutativity of equivalence (also called the complete commutative law of equivalence)
Set theory
[edit]Ingroupandset theory,many algebraic structures are called commutative when certain operands satisfy the commutative property. In higher branches of mathematics, such asanalysisandlinear algebrathe commutativity of well-known operations (such asadditionandmultiplicationon real and complex numbers) is often used (or implicitly assumed) in proofs.[15][16][17]
Mathematical structures and commutativity
[edit]- Acommutative semigroupis a set endowed with a total,associativeand commutative operation.
- If the operation additionally has anidentity element,we have acommutative monoid
- Anabelian group,orcommutative groupis agroupwhose group operation is commutative.[16]
- Acommutative ringis aringwhosemultiplicationis commutative. (Addition in a ring is always commutative.)[18]
- In afieldboth addition and multiplication are commutative.[19]
Related properties
[edit]Associativity
[edit]The associative property is closely related to the commutative property. The associative property of an expression containing two or more occurrences of the same operator states that the order operations are performed in does not affect the final result, as long as the order of terms does not change. In contrast, the commutative property states that the order of the terms does not affect the final result.
Most commutative operations encountered in practice are also associative. However, commutativity does not imply associativity. A counterexample is the function which is clearly commutative (interchangingxandydoes not affect the result), but it is not associative (since, for example,but). More such examples may be found incommutative non-associative magmas.Furthermore, associativity does not imply commutativity either – for example multiplication ofquaternionsor ofmatricesis always associative but not always commutative.
Distributive
[edit]Symmetry
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Symmetry_Of_Addition.svg/200px-Symmetry_Of_Addition.svg.png)
Some forms ofsymmetrycan be directly linked to commutativity. When a commutative operation is written as abinary functionthen this function is called asymmetric function,and itsgraphinthree-dimensional spaceis symmetric across the plane.For example, if the functionfis defined asthenis a symmetric function.
For relations, asymmetric relationis analogous to a commutative operation, in that if a relationRis symmetric, then.
Non-commuting operators in quantum mechanics
[edit]Inquantum mechanicsas formulated bySchrödinger,physical variables are represented bylinear operatorssuch as(meaning multiply by), and.These two operators do not commute as may be seen by considering the effect of theircompositionsand(also called products of operators) on a one-dimensionalwave function:
According to theuncertainty principleofHeisenberg,if the two operators representing a pair of variables do not commute, then that pair of variables are mutuallycomplementary,which means they cannot be simultaneously measured or known precisely. For example, the position and the linearmomentumin the-direction of a particle are represented by the operatorsand,respectively (whereis thereduced Planck constant). This is the same example except for the constant,so again the operators do not commute and the physical meaning is that the position and linear momentum in a given direction are complementary.
See also
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)
- Anticommutative property
- Centralizer and normalizer(also called a commutant)
- Commutative diagram
- Commutative (neurophysiology)
- Commutator
- Parallelogram law
- Particle statistics(for commutativity inphysics)
- Proof that Peano's axioms imply the commutativity of the addition of natural numbers
- Quasi-commutative property
- Trace monoid
- Commuting probability
Notes
[edit]- ^abCabillón & Miller,Commutative and Distributive
- ^abFlood, Raymond; Rice, Adrian;Wilson, Robin,eds. (2011).Mathematics in Victorian Britain.Oxford University Press.p. 4.ISBN9780191627941.
- ^Weisstein, Eric W."Symmetric Relation".MathWorld.
- ^Krowne, p. 1
- ^Weisstein,Commute,p. 1
- ^"User MathematicalOrchid".Mathematics Stack Exchange.Retrieved20 January2024.
- ^Lumpkin 1997,p. 11
- ^Gay & Shute 1987
- ^O'Conner & RobertsonReal Numbers
- ^O'Conner & Robertson,Servois
- ^Gregory, D. F. (1840)."On the real nature of symbolical algebra".Transactions of the Royal Society of Edinburgh.14:208–216.
- ^Moore and Parker
- ^Copi & Cohen 2005
- ^Hurley & Watson 2016
- ^Axler 1997,p. 2
- ^abGallian 2006,p. 34
- ^Gallian 2006,pp. 26, 87
- ^Gallian 2006,p. 236
- ^Gallian 2006,p. 250
References
[edit]Books
[edit]- Axler, Sheldon (1997).Linear Algebra Done Right, 2e.Springer.ISBN0-387-98258-2.
- Abstract algebra theory. Covers commutativity in that context. Uses property throughout book.
- Copi, Irving M.; Cohen, Carl (2005).Introduction to Logic(12th ed.). Prentice Hall.ISBN9780131898349.
- Gallian, Joseph (2006).Contemporary Abstract Algebra(6e ed.). Houghton Mifflin.ISBN0-618-51471-6.
- Linear algebra theory. Explains commutativity in chapter 1, uses it throughout.
- Goodman, Frederick (2003).Algebra: Abstract and Concrete, Stressing Symmetry(2e ed.). Prentice Hall.ISBN0-13-067342-0.
- Abstract algebra theory. Uses commutativity property throughout book.
- Hurley, Patrick J.; Watson, Lori (2016).A Concise Introduction to Logic(12th ed.). Cengage Learning.ISBN978-1-337-51478-1.
Articles
[edit]- Lumpkin, B. (1997)."The Mathematical Legacy of Ancient Egypt – A Response To Robert Palter"(PDF)(Unpublished manuscript). Archived fromthe original(PDF)on 13 July 2007.
- Article describing the mathematical ability of ancient civilizations.
- Gay, Robins R.; Shute, Charles C. D. (1987).The Rhind Mathematical Papyrus: An Ancient Egyptian Text.British Museum.ISBN0-7141-0944-4.
- Translation and interpretation of theRhind Mathematical Papyrus.
Online resources
[edit]- "Commutativity",Encyclopedia of Mathematics,EMS Press,2001 [1994]
- Krowne, Aaron,CommutativeatPlanetMath., Accessed 8 August 2007.
- Definition of commutativity and examples of commutative operations
- Weisstein, Eric W."Commute".MathWorld.,Accessed 8 August 2007.
- Explanation of the term commute
- "Yark".Examples of non-commutative operationsatPlanetMath., Accessed 8 August 2007
- Examples proving some noncommutative operations
- O'Conner, J.J.; Robertson, E.F."History of real numbers".MacTutor.Retrieved8 August2007.
- Article giving the history of the real numbers
- Cabillón, Julio; Miller, Jeff."Earliest Known Uses of Mathematical Terms".Retrieved22 November2008.
- Page covering the earliest uses of mathematical terms
- O'Conner, J.J.; Robertson, E.F."biography of François Servois".MacTutor.Archived fromthe originalon 2 September 2009.Retrieved8 August2007.
- Biography of Francois Servois, who first used the term