Every technique, shortcut, and rule you use in algebra — from combining like terms to solving equations to factoring polynomials — traces back to these five laws. They are the axioms upon which all of algebra is built. Everything else is a consequence.
When you connect the techniques of algebra back to these fundamental rules, you stop memorizing procedures and start understanding why things work. And when something goes wrong, you can trace the error back to which law was misapplied.
What it means: When you add (or multiply) three or more numbers, it doesn't matter which pair you compute first. You can group them any way you like — the answer is the same.
Why it matters: Without associativity, you'd need to specify exactly which pair to compute at every step. An expression like $a + b + c + d$ would be ambiguous — do you mean $((a + b) + c) + d$ or $(a + (b + c)) + d$ or $a + (b + (c + d))$? Associativity says they're all equal, so we can just write $a + b + c + d$ without parentheses.
The intuition: If you're counting money and you have three piles of coins — 12, 8, and 5 — the total is 25 whether you count the first two piles together first ($20 + 5 = 25$) or the last two first ($12 + 13 = 25$).
Associativity holds even with negative numbers. The grouping doesn't affect the sign.
Notice how the second grouping was actually easier to compute. Associativity lets you choose the most convenient grouping.
Grouping $0.5 \cdot 4$ first gives a nice integer, making the second step easier. This is a strategy, not a rule violation.
All groupings give 10. This is why we can write $1 + 2 + 3 + 4$ without parentheses at all.
This is why we write $6x$ instead of $2 \cdot (3 \cdot x)$ — we simplify the coefficient using associativity.
Three items cost $3.50, $2.25, and $4.25. Does it matter which two you add first?
The clever shopper notices the second grouping is easier (2.25 + 4.25 = 6.50 is a nice number).
Associativity holds for complex number addition too — each "channel" (real and imaginary) is associative independently.
Subtraction is NOT associative: $(10 - 3) - 2 = 5$, but $10 - (3 - 2) = 9$. Different answers! This is why we rewrite subtraction as adding a negative: $10 + (-3) + (-2) = 5$. Addition is associative, so this form is safe.
Division is NOT associative: $(12 \div 6) \div 2 = 1$, but $12 \div (6 \div 2) = 4$. Same fix: rewrite as multiplication by the reciprocal.
What it means: You can swap the order of two numbers being added or multiplied and get the same result.
Why it matters: It lets you rearrange terms to make calculations easier. When solving equations, you freely move terms around — this is commutativity at work. When you write $3x$ instead of $x \cdot 3$, that's commutativity.
The intuition: A 3-by-5 grid of tiles and a 5-by-3 grid both contain 15 tiles. Three groups of five sheep and five groups of three sheep are the same total.
Commutativity lets you reorder the terms to find pairs that add to round numbers.
Swap the 7 and 4 (commutativity), then compute $25 \cdot 4 = 100$ first (associativity). Both laws work together.
By convention we write the number first ($5x$ not $x5$). This is a notational choice justified by commutativity.
Commutativity means $xy$ and $yx$ are the same expression. By convention, we often alphabetize: $xy$ not $yx$.
Rearrange (commutativity): $3x + 2x + 7y + 5y = 5x + 12y$
You can move terms around freely in addition — this is why "combining like terms" works.
A room that is 12 feet by 15 feet has the same area as one that is 15 feet by 12 feet:
Whether you measure length-first or width-first, the area is the same.
Subtraction is NOT commutative: $5 - 3 = 2$, but $3 - 5 = -2$. Not the same!
Division is NOT commutative: $6 \div 2 = 3$, but $2 \div 6 = \frac{1}{3}$.
Matrix multiplication is NOT commutative: $AB \neq BA$ in general. This becomes important in linear algebra and physics, where order of operations (rotations, transformations) genuinely matters.
What it means: There exists a special element for each operation that, when combined with any number, leaves that number unchanged. For addition, it's $0$. For multiplication, it's $1$.
Why it matters: The identity elements are the "starting points" and "anchors" of algebra. Adding 0 or multiplying by 1 are not trivial — they are the foundation for solving equations. When you add the same thing to both sides of an equation, you're relying on the fact that the identity exists to "anchor" the balance.
The intuition: Zero means "no change" — if you add nothing to a pile, the pile stays the same. One means "keep it" — one group of seven is still seven.
The identity doesn't care about the sign of the number. Zero added to anything — positive, negative, or zero — returns that number.
When you "multiply top and bottom by the same number" to get a common denominator, you're actually multiplying by 1 — the multiplicative identity. The value doesn't change.
$+5 - 5 = 0$, which is the additive identity. When you "add and subtract the same thing" (used in completing the square), you're adding 0.
Adding $+9 - 9$ is adding $0$ (identity). This is why the technique is valid — you haven't changed the value.
The $0 \cdot x$ term vanishes. When a polynomial is "missing" a term, the coefficient is $0$ (the additive identity makes the term disappear).
$\frac{3+\sqrt{2}}{3+\sqrt{2}} = 1$. Rationalizing the denominator is multiplying by a clever form of 1.
$5^0 = 1$ acts as the multiplicative identity within the exponent system. Multiplying by $a^0$ adds nothing to the exponent.
The conversion factor $\frac{1000 \text{ m}}{1 \text{ km}} = 1$ because numerator and denominator are the same distance. Unit conversion is multiplying by the multiplicative identity in disguise.
Many algebra techniques are just "adding 0" or "multiplying by 1" in a clever disguise. Completing the square adds $0$. Rationalizing multiplies by $1$. Getting a common denominator multiplies by $1$. Unit conversion multiplies by $1$. Recognizing this pattern is "connecting techniques back to fundamental rules."
What it means: Every number has a partner that "cancels" it back to the identity. For addition, the inverse of $a$ is $-a$ (adding them gives $0$, the additive identity). For multiplication, the inverse of $a$ is $\frac{1}{a}$ (multiplying them gives $1$, the multiplicative identity).
Why it matters: This is the law that lets you solve equations. When you "subtract 5 from both sides," you're adding the additive inverse of 5. When you "divide both sides by 3," you're multiplying by the multiplicative inverse of 3. Without inverses, you could never undo an operation — equations would be unsolvable.
The intuition: If you walk 5 steps forward and then 5 steps back, you're at the starting point ($5 + (-5) = 0$). If you triple something and then take a third, you're back to the original ($3 \cdot \frac{1}{3} = 1$).
Add $-5$ (the additive inverse of $5$) to both sides:
The $5$ and $-5$ cancel to $0$ (inverse law), and $x + 0 = x$ (identity law).
Multiply both sides by $\frac{1}{3}$ (the multiplicative inverse of $3$):
The multiplicative inverse of $\frac{2}{3}$ is $\frac{3}{2}$ — just flip the fraction. This is why "dividing by a fraction" becomes "multiplying by its reciprocal."
The additive inverse of $-4$ is $4$ (flip the sign). The multiplicative inverse of $-4$ is $-\frac{1}{4}$ (reciprocal, keeping the sign).
This is the inverse law in fraction form. It's why any nonzero number divided by itself equals 1. And it's why $\frac{x-3}{x-3} = 1$ when we cancel common factors.
The entire concept of negative exponents comes from the inverse law applied to multiplication.
If $f(x) = 2x + 3$, then $f^{-1}(x) = \frac{x-3}{2}$, because:
The inverse function "undoes" the original — the same concept as inverse elements, but for functions.
What would $\frac{1}{0}$ be? It would need to satisfy $0 \cdot \frac{1}{0} = 1$. But $0$ times anything is $0$ — never $1$. So $0$ has no multiplicative inverse. This is why division by zero is undefined: the inverse simply doesn't exist.
Every step of "solving for $x$" is using an inverse to peel away one layer:
$3x + 5 = 20$
→ Add $-5$ (additive inverse): $3x = 15$
→ Multiply by $\frac{1}{3}$ (multiplicative inverse): $x = 5$
Every equation you'll ever solve in algebra uses this same two-move pattern: additive inverse, then multiplicative inverse.
What it means: Multiplication distributes over addition. You can either add first then multiply, or multiply each term separately then add — same result.
Why it matters: This is the single most-used law in algebra. It's behind expanding expressions, factoring, FOIL, combining like terms, and the GCF. It's the only law that connects multiplication and addition — the other four laws deal with each operation separately. Without distributivity, the two operations would be entirely independent and algebra as we know it couldn't exist.
The intuition: If you buy 3 bags, each containing 4 apples and 2 oranges, you have $3 \times 4 = 12$ apples and $3 \times 2 = 6$ oranges. That's $3(4 + 2) = 3 \cdot 4 + 3 \cdot 2 = 18$ fruits total.
The negative sign distributes to both terms. Forgetting this is one of the most common algebra errors.
Expanding: $3(2x + 5) = 6x + 15$ ✓. Factoring is just reading the distributive law from right to left.
Distribute the first term, then the second term:
FOIL (First, Outer, Inner, Last) is not a separate rule — it's just distributivity applied twice.
This is distributivity in reverse (factoring out $x$). The reason $3x + 5x = 8x$ is not a separate rule — it's a direct consequence of the distributive law.
The middle terms cancel because $-ab + ab = 0$ (inverse law). But the expansion itself is distributivity.
Instead of multiplying $7 \times 98$ directly, distribute over a friendlier decomposition.
"Dividing both sides by 2" is really multiplying by $\frac{1}{2}$ and distributing.
Distribution works over any number of terms — it's not limited to two.
Three items cost $a$, $b$, and $c$. With 8% tax:
You can either add the prices first then compute tax, or compute tax on each item separately — same total. This is why stores can compute tax on the subtotal rather than item by item.
Expanding: $a(b + c) = ab + ac$ → distributivity read left to right.
Factoring out GCF: $ab + ac = a(b+c)$ → distributivity read right to left.
FOIL: two applications of distributivity.
Combining like terms: $3x + 5x = (3+5)x$ → reverse distributivity.
Difference of squares, perfect square trinomial, sum/difference of cubes: all derived from distributivity.
Every factoring technique you learned is the distributive law in one form or another.
One reason we name these laws is so we can study what happens when they don't hold. Here are some important examples you'll encounter later:
| Law | Holds For | Breaks For |
|---|---|---|
| Commutativity | Real numbers, complex numbers | Matrix multiplication ($AB \neq BA$), vector cross product ($\vec{u} \times \vec{v} = -\vec{v} \times \vec{u}$), quaternion multiplication |
| Associativity | Real numbers, complex numbers, matrix multiplication | Floating-point arithmetic on computers (due to rounding), vector cross product |
| Distributivity | Real numbers, complex numbers, matrices | Some abstract algebraic structures |
| Inverse | Nonzero reals and complex numbers | Zero has no multiplicative inverse. Singular matrices have no inverse. |
Different results! This matters in your Kalman filter work — the order of matrix operations is critical.
This is why we rewrite subtraction as adding a negative ($10 + (-3) + (-2)$) and division as multiplying by a reciprocal ($24 \cdot \frac{1}{6} \cdot \frac{1}{2}$). Addition and multiplication do have these properties.
| Law | For Addition | For Multiplication | One-Line Meaning |
|---|---|---|---|
| Associativity | $(a+b)+c = a+(b+c)$ | $(ab)c = a(bc)$ | Grouping doesn't matter |
| Commutativity | $a+b = b+a$ | $ab = ba$ | Order doesn't matter |
| Identity | $a + 0 = a$ | $a \cdot 1 = a$ | There's a "do-nothing" element |
| Inverse | $a + (-a) = 0$ | $a \cdot \frac{1}{a} = 1$ | Every element can be undone |
| Distributivity | $a(b + c) = ab + ac$ | Multiplication distributes over addition | |
These five laws are the complete foundation. A system that satisfies all five is called a field in abstract algebra. The real numbers $\mathbb{R}$ and the complex numbers $\mathbb{C}$ are both fields. The integers $\mathbb{Z}$ are not a field (no multiplicative inverse for most integers — $\frac{1}{3}$ is not an integer).
Every rule, technique, and shortcut in algebra is a consequence of these five laws. When you understand them deeply, you stop memorizing procedures and start seeing the structure underneath.