1. Why bother naming these?
If you've been doing arithmetic for years, you already use these properties dozens of times a day. You add a column of numbers in any order you like. You "FOIL" two binomials without thinking. You pair $25 \times 4$ to get $100$ before tackling the harder factor. Every one of those moves is one of the properties below, applied silently.
So why name them? Two reasons.
First, naming them makes them transferable. The same rules that let you rearrange a sum of integers also govern polynomials, matrices, vectors, and modular arithmetic — but only the ones that hold. The moment you can say "this works because multiplication is commutative," you can also ask "does it still work for $2 \times 2$ matrices?" (Answer: no, and that surprise has bitten generations of students and programmers.)
Second, the properties are the axioms of algebra. Solving $3x + 5 = 17$ is a sequence of five property applications in disguise. Once you can see the moves, "isolate $x$" stops being a black-box ritual and becomes a chain of reversible algebraic facts.
Five properties show up over and over: commutativity (order doesn't matter), associativity (grouping doesn't matter), distributivity (multiplication spreads over addition), and the existence of identity and inverse elements (a do-nothing value, and an undo-it value). Everything else in this page is a consequence of those five.
2. Commutative property
An operation $\star$ is commutative if $a \star b = b \star a$ for every $a$ and $b$. In ordinary numbers, addition and multiplication both have it.
For addition and multiplication on real numbers:
$$ a + b = b + a \qquad a \times b = b \times a $$It's the rule that lets you rearrange a sum or a product without changing the answer. $3 + 5 = 5 + 3 = 8$. $4 \times 7 = 7 \times 4 = 28$. Trivially obvious — until it isn't.
Examples and non-examples
- $3 + 5 = 5 + 3$
- $7 \times 9 = 9 \times 7$
- Addition of any two real numbers
- Multiplication of any two real numbers
- $10 - 4 = 6$ but $4 - 10 = -6$ — subtraction
- $12 \div 3 = 4$ but $3 \div 12 = \tfrac{1}{4}$ — division
- Putting on socks vs shoes
- Matrix multiplication ($AB \neq BA$ in general)
Commutativity is what lets you scan a sum for "easy pairs." Faced with $17 + 28 + 3 + 22$, you don't have to add left-to-right. Rearrange: $(17 + 3) + (28 + 22) = 20 + 50 = 70$. The total didn't change; the arithmetic got dramatically easier.
3. Associative property
An operation $\star$ is associative if $(a \star b) \star c = a \star (b \star c)$ for every $a$, $b$, $c$. Grouping doesn't matter.
For addition and multiplication:
$$ (a + b) + c = a + (b + c) \qquad (a \times b) \times c = a \times (b \times c) $$This is the property that lets you write $2 + 3 + 4$ without parentheses at all. The expression is unambiguous because however you group it, the answer is $9$:
$$ (2 + 3) + 4 = 5 + 4 = 9 \qquad 2 + (3 + 4) = 2 + 7 = 9 $$Without associativity, every sum of three or more terms would need explicit parentheses, and a long expression like $a + b + c + d + e$ would be meaningless on its face.
A counter-example you can verify in your head
Subtraction looks like it should be associative — it's just addition's cousin — but it isn't. Take $a = 8, b = 3, c = 2$:
$$ \begin{aligned} (8 - 3) - 2 &= 5 - 2 = 3 \\ 8 - (3 - 2) &= 8 - 1 = 7 \end{aligned} $$$3 \neq 7$. The grouping changed the answer. That's why the convention "subtraction is read left-to-right" exists — it's a parsing rule papering over a missing property.
Commutativity reorders operands; associativity regroups them. They are independent. Matrix multiplication is associative but not commutative: $(AB)C = A(BC)$, but $AB \neq BA$. You can have one without the other.
4. Distributive property
Multiplication distributes over addition: $a(b + c) = ab + ac$. Read either way — left to right, you're expanding; right to left, you're factoring.
This is the property that links addition and multiplication, and it's the engine of every algebraic manipulation. Spelled out both directions:
$$ a(b + c) = ab + ac \qquad ab + ac = a(b + c) $$Numerical check: $5 \times (3 + 4) = 5 \times 7 = 35$, and $5 \times 3 + 5 \times 4 = 15 + 20 = 35$. ✓
The geometric picture
Distributivity is literally the area-splitting principle. A rectangle of width $a$ and length $b + c$ has area $a(b+c)$. Slice the length into pieces of $b$ and $c$, and you get two sub-rectangles with areas $ab$ and $ac$. The total is the same either way.
Distributivity goes one way
Multiplication distributes over addition. The reverse — addition distributing over multiplication — is not a thing:
$$ a + (b \times c) \;\neq\; (a + b) \times (a + c) $$Try $a = 2, b = 3, c = 4$: the left side is $2 + 12 = 14$, the right side is $5 \times 6 = 30$. Not even close.
Factoring is just distributivity read right-to-left. $45 + 30$ becomes $15 \times 3 + 15 \times 2 = 15(3 + 2) = 15 \times 5 = 75$. The "common factor" you pull out in factoring is the same factor that got pushed into the parentheses by distributivity in the first place.
5. Identity elements
For an operation $\star$, an identity is a special value $e$ such that $a \star e = a$ for every $a$ — it leaves every input alone.
In ordinary numbers:
$$ a + 0 = a \qquad a \times 1 = a $$$0$ is the additive identity; $1$ is the multiplicative identity. Each is the "do-nothing" value for its operation.
They feel almost too obvious to be worth naming, but they earn their keep in two places. First, identities are how we define inverses (next section). Second, they license a trick that runs through all of algebra: rewriting without changing the value.
For example, finding a common denominator is really "multiply by a clever form of $1$":
$$ \frac{1}{a} - \frac{1}{b} \;=\; \frac{1}{a} \cdot \frac{b}{b} - \frac{1}{b} \cdot \frac{a}{a} \;=\; \frac{b - a}{ab} $$Each fraction got multiplied by $1$ in disguise. The values didn't change; the form did.
While we're talking about $0$: $a \times 0 = 0$ for every $a$. This isn't a separate axiom — it's a consequence of distributivity. Since $0 = 0 + 0$, we have $a \times 0 = a \times (0 + 0) = a \times 0 + a \times 0$, which forces $a \times 0 = 0$. So $0$ is an absorbing element under multiplication, while it's the identity under addition.
6. Inverse elements
The inverse of $a$ under an operation $\star$ is the unique value $b$ such that $a \star b$ equals the identity. The identity does nothing; the inverse undoes.
For addition: the additive inverse of $a$ is $-a$, because $a + (-a) = 0$.
For multiplication: the multiplicative inverse of $a$ (when $a \neq 0$) is $\tfrac{1}{a}$, because $a \times \tfrac{1}{a} = 1$.
| Element | Additive inverse | Multiplicative inverse |
|---|---|---|
| $7$ | $-7$ | $\tfrac{1}{7}$ |
| $-3$ | $3$ | $-\tfrac{1}{3}$ |
| $\tfrac{2}{5}$ | $-\tfrac{2}{5}$ | $\tfrac{5}{2}$ |
| $0$ | $0$ | does not exist |
Inverses are the engine that makes equations solvable. Every step of "solve for $x$" is "apply the inverse of the operation on both sides":
$$ 3x + 5 = 17 \;\xrightarrow{\;-5\;}\; 3x = 12 \;\xrightarrow{\;\times \tfrac{1}{3}\;}\; x = 4 $$First we added $-5$ (additive inverse of $5$) to undo the $+5$. Then we multiplied by $\tfrac{1}{3}$ (multiplicative inverse of $3$) to undo the $\times 3$. Solving is just applying inverses until the unknown is alone.
$0$ has no multiplicative inverse. The zero property forces $0 \times x = 0$ for every $x$, so no $x$ can ever make $0 \times x = 1$. This is why division by zero is undefined — there's nothing to multiply by.