Commutative property

Commutative property

In mathematics, the commutative property is a rule that helps us. It says that changing the order of numbers in some operations does not change the answer.

For example, when we add numbers, "3 + 4" and "4 + 3" both give us 7. The same idea works for multiplication: "2 × 5" equals "5 × 2," and both give us 10.

This property is useful because it makes math easier. Many important mathematical proofs depend on this rule. But not all operations follow this rule. For instance, subtraction and division are not commutative. If we subtract 5 from 3 we get a different answer than if we subtract 3 from 5.

For a long time, people used addition and multiplication without thinking about this property. It wasn’t until the 19th century that mathematicians studying complex algebraic structures gave it its name. Knowing whether an operation is commutative helps us solve many math problems.

Definition

A binary operation is called commutative if changing the order of the numbers does not change the result. For example, when we add or multiply numbers, it doesn’t matter which number we use first. An operation that is not commutative is called noncommutative, meaning that switching the order can give a different result.

We say that two numbers "commute" if they give the same result no matter which one is used first. Some operations, like addition and multiplication, work this way for all numbers, but others, like subtraction or division, do not always commute.

Examples

Addition and multiplication follow the commutative property in many number systems. This includes natural numbers, integers, rational numbers, real numbers, and complex numbers. It also works in vector spaces, algebras, and with sets using union and intersection. Logical operations like "and" and "or" are commutative too.

But some operations are not commutative. Division and subtraction give different results depending on the order. For example, 1 ÷ 2 is not the same as 2 ÷ 1, and 0 − 1 is not the same as 1 − 0. Exponentiation, like 2³ versus 3², also shows this. Function composition and matrix multiplication usually depend on the order, so they are noncommutative.

Commutative structures

Some types of math, called algebraic structures, have operations that can be commutative. When the operation is commutative, we say the structure is commutative. For example:

• a commutative semigroup is a semigroup with a commutative operation;
• a commutative monoid is a monoid with a commutative operation;
• a commutative group or abelian group is a group with a commutative operation;
• a commutative ring is a ring where multiplication is commutative (addition in a ring is always commutative).

For algebras, the term "commutative algebra" means algebras with commutative multiplication.

History and etymology

The commutative property has been used since very old times. For example, the Egyptians used it in multiplication to make math easier, and Euclid used it in his famous work Elements. The word "commutative" was first used in 1814 by François Servois. It comes from the French word commuter, meaning "to exchange" or "to switch." It entered English in 1838 from an article by Duncan Gregory in the Transactions of the Royal Society of Edinburgh.