Properties of Operations

The real number system is governed by a set of fundamental rules that describe how numbers behave under addition and multiplication. These rules — known as the properties of operations — are not merely conventions invented for convenience; they are provable axioms that form the backbone of all of algebra and higher mathematics. Understanding them precisely allows you to manipulate expressions with confidence and justify every algebraic step you take. The three most important structural properties are commutativity, associativity, and distributivity. Commutativity tells us that the order of operands does not affect the result. Associativity tells us that the grouping of operands does not affect the result. Distributivity links addition and multiplication together, allowing us to expand or factor expressions. Together with the identity and inverse properties, these six axioms define what mathematicians call a field — the precise algebraic structure that the real numbers ℝ satisfy. These properties are not just theoretical curiosities. Every time you simplify an expression like 3x + 5x = 8x, or rearrange terms to make mental arithmetic easier, or factor a polynomial, you are applying one or more of these properties. Learning to identify which property is being used, and why it is valid, turns algebra from a collection of tricks into a coherent logical system.

Key takeaways
  • Commutativity
  • Associativity
  • Distributivity
  • Identity and Inverse Properties (Supporting Properties)

Commutativity

An operation ★ is commutative if a ★ b = b ★ a for all elements a and b. For real numbers, both addition and multiplication are commutative: a + b = b + a and a · b = b · a. For example, 7 + 3 = 3 + 7 = 10, and 4 · 5 = 5 · 4 = 20. Subtraction and division are NOT commutative: 7 − 3 ≠ 3 − 7 and 8 ÷ 2 ≠ 2 ÷ 8. Recognising commutativity lets you reorder terms to simplify calculations, for instance rewriting 13 + 47 + 7 as 13 + 7 + 47 = 20 + 47 = 67.

Associativity

An operation ★ is associative if (a ★ b) ★ c = a ★ (b ★ c) for all a, b, c. Both addition and multiplication of real numbers are associative: (a + b) + c = a + (b + c) and (a · b) · c = a · (b · c). For example, (2 + 5) + 8 = 7 + 8 = 15, and 2 + (5 + 8) = 2 + 13 = 15. Associativity means parentheses do not matter when the same operation is applied repeatedly, so we can write a + b + c without ambiguity. Again, subtraction and division fail: (10 − 4) − 2 = 4 but 10 − (4 − 2) = 8.

Distributivity

Distributivity connects multiplication and addition. The distributive property states: a · (b + c) = a · b + a · c for all real numbers a, b, c. This works on both sides: (b + c) · a = b · a + c · a by commutativity of multiplication. For example, 5 · (3 + 4) = 5 · 7 = 35, which equals 5 · 3 + 5 · 4 = 15 + 20 = 35. The distributive property is the engine behind expanding brackets and factoring: 6x + 9 = 3(2x + 3) reverses the distribution. It also extends to subtraction: a · (b − c) = a · b − a · c.

Identity and Inverse Properties (Supporting Properties)

Two additional properties complete the field axioms. The additive identity is 0: a + 0 = a for all a ∈ ℝ. The multiplicative identity is 1: a · 1 = a for all a ∈ ℝ. Every real number a has an additive inverse −a such that a + (−a) = 0. Every nonzero real number a has a multiplicative inverse 1/a such that a · (1/a) = 1. These properties justify steps like subtracting the same quantity from both sides of an equation, or dividing both sides by a nonzero number — operations central to solving equations.

The Key Equation

a(b+c)=ab+aca(b + c) = ab + ac
  • a — factor (dimensionless): The number being distributed across the sum; any real number.
  • b — first addend (dimensionless): The first term inside the parentheses; any real number.
  • c — second addend (dimensionless): The second term inside the parentheses; any real number.
  • ab — first partial product (dimensionless): The product of a and b after distribution.
  • ac — second partial product (dimensionless): The product of a and c after distribution.

Worked Example

Problem. Simplify the expression 4(3x − 7) + 5x − 2, stating which property justifies each step.

17x−3017x - 30

Answer. 17x − 30

Figure
Diagram
Distributive Property: Area Model for a(b + c) = ab + acabacb = 2c = 4a = 3Total base = b + c = 2 + 4 = 6Total area = a(b+c) = 3 × 6 = 18= ab + ac = 3×2 + 3×4 = 6 + 12 = 18 ✓
Origins · 1 minEmmy Noether and how this was discovered
EN
Emmy Noether
1882–1935 · German

Emmy Noether revolutionised abstract algebra by developing the rigorous axiomatic framework for rings, fields, and ideals — the modern setting in which properties like commutativity, associativity, and distributivity are formally studied. Her 1921 paper on ideal theory in rings unified and generalised work by many predecessors. Structures that satisfy the field axioms — including the real numbers — are studied systematically because of the foundations she laid. Noether showed that by starting from a small set of axioms (exactly the properties studied here) one can derive an enormous wealth of mathematical results. Albert Einstein described Noether as 'the most significant creative mathematical genius thus far produced' in a letter to the New York Times in 1935, remarkable praise in an era when women were routinely barred from academic positions.

  • Field Axioms — The properties of operations are exactly the field axioms; understanding them as a complete axiomatic system is the next conceptual step.
  • Closure Property — Closure under addition and multiplication is another fundamental property of real numbers, completing the picture of how operations behave.
  • Expanding Brackets — Expanding brackets in polynomial expressions is a direct application of the distributive property.
  • Factoring with the Greatest Common Factor — Factoring reverses the distributive property: ab + ac = a(b + c), making it a key algebraic skill built on this property.
  • Solving Linear Equations — Every step in solving linear equations is justified by one of the properties of operations — particularly identity, inverse, and distributivity.