Fact-checked by Grok 2 weeks ago

Commutative property

In mathematics, the commutative property is a fundamental axiom stating that, for a binary operation * on a set S, two elements x and y satisfy x * y = y * x, meaning the order of the operands does not affect the result.^[1] This property holds for addition and multiplication of real numbers, where a + b = b + a and a × b = b × a for any real numbers a and b.^[1]^[2] It does not apply to operations like subtraction or division, where changing the order alters the outcome, such as 5 - 3 ≠ 3 - 5.^[3] The commutative property underpins many algebraic manipulations and simplifications, allowing rearrangement of terms in expressions without changing their value, which is essential in solving equations and performing arithmetic efficiently.^[2] For instance, in addition, 2 + 7 = 7 + 2 = 9, and in multiplication, 4 × 6 = 6 × 4 = 24, demonstrating its consistency across basic operations on whole numbers, integers, rationals, and reals.^[4]^[3] This property facilitates mental math strategies and is one of the core axioms defining the structure of number systems like the real numbers.^[5] In abstract algebra, commutativity extends beyond basic arithmetic to define structures such as commutative rings, where multiplication is commutative alongside addition, forming the basis for advanced topics in algebra and number theory.^[6] For example, the integers under addition and multiplication form a commutative ring, enabling the study of ideals and polynomials.^[7] While not all operations or structures are commutative—such as matrix multiplication, where AB ≠ BA in general—the property remains a key distinction in classifying algebraic systems.^[8]

Fundamentals

Definition

The commutative property is a fundamental characteristic of certain binary operations in mathematics, where a binary operation is defined as a function that takes two elements from a given set and produces a single element within that same set as output.^[9] This property specifically states that interchanging the order of the two input elements, or operands, does not alter the result of the operation.^[9] In everyday arithmetic, commutativity manifests intuitively through operations like addition and multiplication, allowing users to rearrange numbers freely to streamline computations—for instance, calculating totals or products without concern for sequence.^[10] This flexibility simplifies mental math and problem-solving in practical scenarios, such as tallying quantities or scaling measurements, by emphasizing the operation's symmetry over rigid ordering.^[10] While the commutative property is a universal feature in familiar school-level mathematics, it does not hold for all operations in more advanced mathematical contexts, where order can significantly impact outcomes.^[11]

Formal Statement

The commutative property is formally defined for a binary operation on a set. Specifically, let S be a set and * : S \times S \to S a binary operation on S. The operation * is commutative if

\forall a, b \in S, \quad a * b = b * a.

^[12]^[13] The universal quantifier \forall in this statement indicates that the equality must hold universally for every ordered pair of elements (a, b) with a, b \in S, without exception, thereby applying the property exhaustively to the entire set S.^[14]^[15] This equality a * b = b * a asserts that the output of the operation, which is an element of S, is identical regardless of the order in which the operands a and b are applied, reflecting a symmetry in the operation's behavior.^[12] The property may fail to hold if the operation is not a binary operation on S, for instance, when S is not closed under * (meaning a * b \notin S for some a, b \in S), or if, despite closure, there exist a, b \in S such that a * b \neq b * a.^[12]^[15]

Examples

Commutative Operations

The commutative property is exemplified by the addition of real numbers, where for all a, b \in \mathbb{R}, a + b = b + a. This equality is a fundamental axiom in the field structure of the real numbers, ensuring that the order of summands does not affect the result. A proof sketch relies on the axiomatic definition: the real numbers form an ordered field where addition satisfies commutativity directly as part of the field axioms (A2), alongside associativity and the existence of identities and inverses; in constructive realizations like Dedekind cuts, commutativity emerges from the corresponding property in the rational numbers, where cuts \alpha + \beta = \{r + s \mid r \in \alpha, s \in \beta\} and \beta + \alpha = \{s + r \mid s \in \beta, r \in \alpha\} coincide since rational addition commutes.^[16] Simple algebraic verification confirms this: consider (a + b) - (b + a); by the field's additive inverse and cancellation laws, this difference is zero, affirming equality. Multiplication of real numbers also obeys the commutative property: for all a, b \in \mathbb{R}, a \times b = b \times a. This is another field axiom (M2), applicable universally, including cases involving zero where a \times 0 = 0 \times a = 0 (derived from the multiplicative identity and additive inverse axioms) and negative numbers, as multiplication distributes over addition and inherits commutativity from the field's structure. Verification through manipulation shows (a \times b) - (b \times a) = 0, leveraging the field's properties without contradiction. For instance, with negatives, (-3) \times 4 = 4 \times (-3) = -12, consistent with the sign rules embedded in the axioms.^[16] In Euclidean space \mathbb{R}^n, vector addition is commutative, defined component-wise: for vectors \mathbf{u} = (u_1, \dots, u_n) and \mathbf{v} = (v_1, \dots, v_n), \mathbf{u} + \mathbf{v} = (u_1 + v_1, \dots, u_n + v_n) = (v_1 + u_1, \dots, v_n + u_n) = \mathbf{v} + \mathbf{u}, since real addition commutes in each coordinate./03%3A_Vector_Spaces_and_Metric_Spaces/3.05%3A_Vector_Spaces._The_Space_C._Euclidean_Spaces) This holds for any dimension, simplifying computations like parallelogram law formations where order-independent sums yield the same resultant vector. A related instance arises in exponentiation with positive integer exponents and the same nonzero base: for a \in \mathbb{R} \setminus \{0\} and positive integers m, n, a^m \cdot a^n = a^n \cdot a^m = a^{m+n}, where the multiplication of powers commutes due to the underlying commutative multiplication in the repeated factors defining the exponents.^[17] This property is limited to positive integer exponents to avoid issues with fractional or negative powers, which may not preserve the structure in all cases, but verifies through expansion: both sides equal a \cdot a \cdots a (m+n times), reordered freely by multiplication's commutativity.

Noncommutative Operations

Subtraction on the set of real numbers is a binary operation that is not commutative, meaning that for real numbers a and b, a - b \neq b - a in general. For instance, $3 - 1 = 2, but $1 - 3 = -2. Division on the set of nonzero real numbers is another binary operation that fails to be commutative, as a / b \neq b / a except in special cases such as when a = b. An example is $6 / 2 = 3, whereas $2 / 6 = 1/3.- https://chem.libretexts.org/Bookshelves/Inorganic_Chemistry/Online_Dictionary_of_Crystallography_(IUCr_Commission)/01%3A_Fundamental_Crystallography/1.10%3A_Binary_Operation Matrix multiplication provides a classic example of noncommutativity in linear algebra. For square matrices over the real numbers, the product AB does not generally equal BA. Consider the 2×2 matrices

A = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \quad B = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}.

Computing the products yields

AB = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix},

BA = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 2 \end{pmatrix}.

Since AB \neq BA, matrix multiplication is not commutative./02%3A_Matrix_Arithmetic/2.02%3A_Matrix_Multiplication) Function composition, denoted by \circ, is also noncommutative as an operation on functions. For functions f and g, (f \circ g)(x) = f(g(x)) typically differs from (g \circ f)(x) = g(f(x)). Take f(x) = x + 1 and g(x) = 2x; then (f \circ g)(x) = 2x + 1, but (g \circ f)(x) = 2(x + 1) = 2x + 2.^[18] The noncommutativity of these operations highlights the importance of order in sequences of applications, such as successive transformations in geometry or computations in algorithms, where reversing the order can yield entirely different results—contrasting with commutative operations like addition./02%3A_Introduction_to_Groups/2.02%3A_Binary_Operation)

Commutative Algebraic Structures

Rings

In abstract algebra, a ring is a set R equipped with two binary operations, addition and multiplication, such that (R, +) forms an abelian group, multiplication is associative, and multiplication distributes over addition on both sides. Specifically, for all a, b, c \in R, the distributive laws hold: a \cdot (b + c) = a \cdot b + a \cdot c and (a + b) \cdot c = a \cdot c + b \cdot c.^[19] A commutative ring is a ring where multiplication additionally satisfies the commutative property: for all a, b \in R, a \cdot b = b \cdot a.^[19] This commutativity simplifies many structural properties, such as the behavior of ideals, which are subsets closed under addition and under multiplication by any ring element.^[20] In commutative rings, all ideals are two-sided by default, unlike in noncommutative settings.^[21] The integers \mathbb{[Z](/page/Z)} form a commutative ring under the standard addition and multiplication operations, with 0 as the additive identity and every integer having an additive inverse. Similarly, the ring of polynomials \mathbb{R} over the real numbers is a commutative ring, where addition and multiplication are defined polynomial-wise, and the zero polynomial serves as the additive identity.^[22] Units in a commutative ring are elements u \in R such that there exists v \in R with u \cdot v = 1, assuming the ring has a multiplicative identity 1; for instance, \pm 1 are the units in \mathbb{Z}.^[19] Every field is a commutative ring, since fields require commutative multiplication along with every nonzero element having a multiplicative inverse, but the converse does not hold—for example, \mathbb{Z} is a commutative ring without being a field, as most elements lack multiplicative inverses within the ring.^[23] Commutative ring theory plays a foundational role in modern algebra, underpinning areas like algebraic geometry and number theory through the study of ideals and modules.

Groups and Monoids

A monoid consists of a set M equipped with a binary operation \cdot: M \times M \to M that is associative, meaning (a \cdot b) \cdot c = a \cdot (b \cdot c) for all a, b, c \in M, and an identity element e \in M such that a \cdot e = e \cdot a = a for all a \in M.^[24] A commutative monoid is a monoid in which the operation is also commutative, satisfying a \cdot b = b \cdot a for all a, b \in M.^[25] A group extends the structure of a monoid by requiring that every element a \in G has a two-sided inverse a^{-1} \in G such that a \cdot a^{-1} = a^{-1} \cdot a = e.^[26] An abelian group, also known as a commutative group, is a group (G, \cdot) where the operation satisfies commutativity for all elements:

\forall a, b \in G, \quad a \cdot b = b \cdot a.

^[27] This property distinguishes abelian groups from non-abelian ones, where the order of operation matters. Classic examples illustrate these concepts. The additive group of integers (\mathbb{Z}, +) forms an abelian group, with identity 0 and inverses given by negation, since addition commutes: m + n = n + m for all m, n \in \mathbb{Z}.^[28] In contrast, the general linear group \mathrm{GL}(n, \mathbb{R}), consisting of all invertible n \times n matrices over the reals under matrix multiplication, is non-abelian for n \geq 2, as matrix multiplication generally does not commute.^[29] A key feature in group theory is the commutator subgroup [G, G], defined as the subgroup generated by all commutators [a, b] = a b a^{-1} b^{-1} for a, b \in G.^[30] In an abelian group, every commutator equals the identity, so [G, G] = \{e\}, rendering the group abelian if and only if its commutator subgroup is trivial. This trivial commutator simplifies the study of symmetries in abelian groups, particularly in representation theory, where all irreducible representations are one-dimensional, facilitating analysis of group actions on vector spaces.^[31]

Historical Development

Etymology

The term "commutative" derives from the Latin commūtātīvus, an adjective formed from commūtāre, meaning "to exchange" or "to change mutually," emphasizing the idea of interchangeability between elements.^[32] This Latin root entered mathematical terminology through French, where commuter means "to switch" or "to substitute," combined with the suffix -ative, which denotes a tendency or relational quality.^[33] The word's adoption into English mathematical discourse occurred in the 19th century, with the earliest recorded use of "commutative law" appearing in 1841 in Duncan F. Gregory's Examples of the Processes of the Differential and Integral Calculus.^[34] The first mathematical application of the term "commutative" is attributed to François-Joseph Servois in his 1814 memoir Essai sur une nouvelle méthode d'exposition des principes du calcul différentiel, where he described properties of operators, including those of addition and multiplication, as commutatives.^[35] In contrast to related terms like "associative," which stems from the Latin associātus meaning "joined together," "commutative" specifically highlights the mutual exchange without altering the result.

Early Uses and Formalization

In ancient Egypt, circa 2000 BCE, mathematicians implicitly employed the commutative property during multiplication operations, particularly in practical calculations for areas and volumes as documented in texts like the Rhind Mathematical Papyrus. This approach allowed factors to be rearranged freely—such as treating length and width interchangeably in rectangular area computations—without altering the resulting product, streamlining computations in a base-10 system augmented by doubling and halving techniques.^[36] Greek mathematics advanced this implicit understanding, with Euclid's Elements (circa 300 BCE) assuming commutativity in the context of geometric proportions and number theory, though without explicit declaration as a standalone axiom. In Book VII, Proposition 16, Euclid demonstrates the interchangeability of multiplicand and multiplier using the theory of proportions, effectively proving that the product remains unchanged regardless of order, a result derived from additive commutativity and ratio equivalences like A : B :: C : D. This geometric framing integrated the property into proportional reasoning, influencing subsequent Euclidean derivations.^[37] The 19th century marked the formalization of the commutative property amid the rise of abstract algebra. Mathematicians like Richard Dedekind and Leopold Kronecker developed rigorous treatments of algebraic number fields and ideals, assuming commutativity in these ring-like structures.^[38] William Rowan Hamilton contributed to this evolution through his explorations of algebraic systems, including commutative cases in his early work on linear algebra and dynamics, though his later quaternions highlighted noncommutative alternatives, prompting deeper scrutiny of the property's scope.^[39] These efforts shifted focus from concrete arithmetic to abstract axiomatic frameworks, laying groundwork for modern algebra. Around 1900, David Hilbert advanced the role of commutativity in ring theory through his foundational work on invariant theory and the basis theorem, which established finite generation for ideals in polynomial rings over fields—structures inherently commutative—emphasizing their utility in algebraic geometry and number theory.^[38] This period solidified commutative rings as a central object of study, bridging 19th-century developments with emerging abstract methods. Post-1930s, the commutative property gained a universal axiomatic footing in the framework of set theory and universal algebra, particularly through Garrett Birkhoff's 1935 treatise On the Structure of Abstract Algebras, which axiomatized algebraic varieties and incorporated commutativity as a key relational property across diverse structures like groups and rings. This integration within Zermelo-Fraenkel set theory ensured the property's consistency in foundational mathematics, enabling its application in broader categorical and logical contexts without reliance on specific numerical interpretations.^[40]

References

[1]
Commutative -- from Wolfram MathWorld
Two elements x and y of a set S are said to be commutative under a binary operation * if they satisfy x*y=y*x. (1) Real numbers are commutative under ...
[2]
Tutorial 8: Properties of Real Numbers - West Texas A&M University
Jul 24, 2011 · The Commutative Property, in general, states that changing the ORDER of two numbers either being added or multiplied, does NOT change the value ...
[3]
What is the commutative property in math? - CGTC FAQs
Oct 25, 2023 · The property states that the order in which operations (addition, multiplication) are performed on the numbers does not matter. For example, the ...
[4]
[PDF] Addition and Multiplication
Commutativity of addition. When adding two numbers, the order of the numbers doesn't matter. For example, 2+3=3+2. This property of addition can be written ...
[5]
[PDF] Properties of Real Numbers - Tallahassee State College
Commutative Property of Addition! a + b = b + a. (3 + 2) + 7 = 7+ (3 + 2). The Addition Property of Zero. If a is a real number, then a + 0 = 0 + a = a. This ...
[6]
Commutative Algebra -- from Wolfram MathWorld
An Associative R-algebra is commutative if x·y=y·x for all x,y in A. Similarly, a ring is commutative if the multiplication operation is commutative.
[7]
Ring -- from Wolfram MathWorld
Multiplicative commutativity: For all a,b in S , a*b=b*a (a ring satisfying this property is termed a commutative ring),. 8. Multiplicative identity: There ...
[8]
Commuting Matrices -- from Wolfram MathWorld
Two matrices A and B which satisfy AB=BA under matrix multiplication are said to be commuting. In general, matrix multiplication is not commutative.Missing: property | Show results with:property
[9]
[PDF] 2 Binary Operations - UC Berkeley math
Note that S is closed under ∗ by definition of a binary operation. A binary operation ∗ is said to be commutative if a ∗ b = b ∗ a for all a, b ∈ S. If ...
[10]
Properties of Operations – Mathematics for Elementary Teachers
Addition of whole numbers is commutative. Addition of whole numbers is associative. The number 0 is an identity for addition of whole numbers. For each of the ...
[11]
[PDF] Definition Of Commutative Property In Math
The Role of the Commutative Property in Algebra and Beyond. The definition of commutative property in math extends well beyond simple arithmetic. In algebra ...
[12]
[PDF] Section I.2. Binary Operations
Sep 3, 2014 · A binary operation ∗ on a set S is commutative if a ∗ b = b ∗ a for all a, b ∈ S. Example. Matrix mulitplication on the set of all 2 × 2 ...
[13]
[PDF] Supplement. Dr. Bob's Modern Algebra Glossary Based on ...
Jan 7, 2013 · Commutative Binary Operation. A binary operation ∗ on a set S is commutative if a∗b = b∗a for all a, b ∈ S.
[14]
[PDF] Group Theory Today we are going to study the abstract properti
Oct 23, 2007 · NO! YES! A binary operation ♢ on a set S is commutative if. For all a,b∈S, a ♢ b = b ♢ a. Commutativity. Is the operation • on the set of ...
[15]
[PDF] Group Theory I
A binary operation ∗ on a set S is called commutative if a ∗ b = b ∗ a for all a, b ∈ S and associative if a ∗ (b ∗ c)=(a ∗ b) ∗ c for all a, b, c ...
[16]
[PDF] Axioms for the Real Numbers
The axioms for real numbers include field axioms (associative, additive/multiplicative identities, inverses, commutative), order axioms (trichotomy, closure), ...
[17]
Exponentiation
Let a and b be integers, and let m and n be positive integers. ... Another property of exponentiation follows from the commutative property of multiplication.
[18]
[PDF] Section 1: (Binary) Operations It is assumed that you learned in Math ...
As an example of what I mean by “derived from” a function composition, consider matrix multiplication, which is related to applying linear transformations: We.
[19]
[PDF] Chapter 3, Rings Definitions and examples. We now have several ...
Definition. A commutative ring is a ring R that satisfies the additional axiom that ab = ba for all a, b ∈ R. Examples are Z, R, Zn, 2Z, but not Mn(R) if n ≥ 2.
[20]
[PDF] IDEALS OF A COMMUTATIVE RING 1. Rings Recall that a ring (R, +, ·)
An ideal of a ring R is an additive subgroup I that is also strongly closed under multiplication, meaning (r + I)(s + I) is a subset of rs + I.
[21]
[PDF] NOTES ON IDEALS 1. Introduction Let R be a commutative ring ...
Theorem 1.5. Let a commutative ring R not be the zero ring. Then R is a field if and only if its only ideals are (0) and (1).
[22]
[PDF] 4. Commutative rings I
A ring element is irreducible if it has no proper factors. A ring element p is prime if p|ab implies p|a or p|b and p is not a unit and is not 0.
[23]
[PDF] Commutative Rings and Fields
Aug 22, 2020 · Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. I'll begin by stating ...
[24]
[PDF] 2. Groups 2.1. Groups and monoids. Let's start out with the basic ...
(b) A monoid is a semigroup M that has an identity (or neutral ele- ment): there exists e ∈ M such that ea = ae = a for all a ∈ M.
[25]
[PDF] Lecture 3. Commutative monoids - Math@LSU
Definition. A monoid M is commutative if x ∗ y = y ∗ x for all x, y ∈ M. From now on, monoids will be assumed commutative unless we explicitly say otherwise.
[26]
[PDF] Section I.1. Semigroups, Monoids, and Groups
Feb 5, 2022 · The order of a semigroup/monoid/group is the cardinality of set G, denoted |G|. If |G| < ∞, then the semigroup/monoid/group is said to be ...
[27]
[PDF] Integers and Abelian groups - Purdue Math
An abelian group has an associative, commutative binary operation, an identity element, and each element has an inverse. Integers (Z) are an example.
[28]
[PDF] Definition and Examples of Groups
Definition 21.2. A group G is said to be abelian (or commutative) if a ∗ b = b ∗ a for all a, b ∈ G. Examples: 1. Z is an abelian group under addition.
[29]
[PDF] Nonabelian groups - Purdue Math
The set of n×n invertible (also known as nonsingular) matrices over a field F forms a group denoted by GLn(F) and called the n × n general linear group. The ...
[30]
[PDF] The Commutator Subgroup
The commutator subgroup C of a group G is the set of finite products of commutators, denoted as C = G0 or [G, G]. If G is Abelian, C = {e}.
[31]
[PDF] Chapter 17 - Group Theory - ChaosBook.org
From that fact we can conclude that all irreducible representations of abelian groups are 1 × 1. ... strategy may greatly simplify the process of finding ...
[32]
Commutative - Etymology, Origin & Meaning
From Latin commutativus (1530s), meaning relating to exchange, interchangeable or mutual; origin tied to commutare, reflecting mutual interaction or ...
[33]
commutative - Wiktionary, the free dictionary
commutative. Entry · Discussion. Language; Loading… Download PDF; Watch · Edit ... Etymology. From French commuter (“to substitute or switch”) + -ative ...
[34]
Earliest Known Uses of Some of the Words of Mathematics (C)
Commutative law is found in English 1841 in Examples of the processes of the differential and integral calculus by D. F. Gregory: "The first of these laws ...
[35]
François-Joseph Servois (1768 - 1847) - Biography - MacTutor
Servois introduced the terms "commutative" and "distributive" in this paper describing properties of operators, and he also gave some examples of ...
[36]
https://brill.com/display/book/9789004691568/BP000020.xml
[37]
The geometry of numbers in Euclid - Polytropy
Jan 2, 2017 · Euclid proves that the roles of multiplicand and multiplier are interchangeable: in modern terms, multiplication is commutative. The proof uses ...
[38]
Hamilton, Boole and their Algebras - Gresham College
William Rowan Hamilton (1805-1865) revolutionized algebra with his discovery of quaternions, a non-commutative algebraic system, as well as his earlier work ...
[39]
Topics in Commutative Ring Theory
Mar 9, 2008 · It allowed one to construct algebraic varieties and schemes from general polynomial rings using Gröbner bases. Their implementation in computer ...
[40]
[PDF] A Course in Universal Algebra - Department of Mathematics
We introduce the notion of classifying a variety by properties of (the lattices of) congruences on members of the variety. Also, the center of an algebra is ...