Commutative, Associative, and Distributive Properties

The Big Idea

The commutative, associative, and distributive properties are dependable permissions for changing the form of an expression while preserving its value. Each property authorizes a different structural move.

These are not interchangeable slogans. Commutativity changes order, associativity changes grouping, and distribution connects two operations. Reliable algebra begins by identifying which move is actually being made.

Properties Are Permissions, Not Decorations

When we rewrite \(8+17\) as \(17+8\), or \(6(20+3)\) as \(120+18\), the new expression has the same value as the original. A mathematical property explains why.

This matters because changing notation is not automatically valid. For example,

\[ 12-5\ne5-12. \]

Reversing a subtraction changes the value. Before rearranging, regrouping, expanding, or factoring, ask two questions:

1. Which operation and mathematical objects are involved?
2. Which property, if any, permits the proposed change?

The Operation and the Objects Both Matter

A property belongs to an operation on a particular collection of objects. Addition is commutative for real numbers, and multiplication is commutative for real numbers. Matrix multiplication, however, is generally not commutative.

A compact abstract notation makes this dependence visible. For a binary operation \(\star\), commutativity would mean

\[ a\star b=b\star a. \]

The statement is incomplete until we know what \(\star\) does and which objects \(a\) and \(b\) may represent. Properties are tested in context.

The Commutative Property

An operation is commutative when changing the order of two inputs does not change the result. The word is related to commute, meaning to move or exchange places.

Addition of real numbers is commutative:

\[ a+b=b+a. \]

Multiplication of real numbers is also commutative:

\[ ab=ba. \]

For example,

\[ 7+13=13+7=20, \qquad 4\cdot9=9\cdot4=36. \]

Commutativity changes order only. It does not insert, remove, or relocate grouping symbols.

Subtraction and Division Are Not Commutative

A single counterexample is enough to show that a proposed property does not hold in general:

\[ 9-4=5, \qquad 4-9=-5. \]

\[ 12\div3=4, \qquad 3\div12=\frac14. \]

Exponentiation is not commutative either:

\[ 2^3=8, \qquad 3^2=9. \]

The fact that a special pair happens to give equal results does not prove commutativity. A property must work for every permitted pair in the stated domain.

Using Commutativity Strategically

Reordering can place compatible numbers beside one another and make mental arithmetic easier:

\[ 18+37+2 =18+2+37 =20+37 =57. \]

Similarly,

\[ 25\cdot13\cdot4 =25\cdot4\cdot13 =100\cdot13 =1300. \]

Commutativity supplies the reordering. Associativity, introduced next, supplies the regrouping used to calculate the convenient pair first.

The Associative Property

An operation is associative when changing the grouping of three or more inputs does not change the result. The order of the inputs remains fixed.

Addition of real numbers is associative:

\[ (a+b)+c=a+(b+c). \]

Multiplication of real numbers is associative:

\[ (ab)c=a(bc). \]

For example,

\[ (6+14)+5=20+5=25, \]

\[ 6+(14+5)=6+19=25. \]

The numbers stay in the order \(6,14,5\); only the pair evaluated together first changes.

Order and Grouping Are Different

In everyday arithmetic, the two properties are often used together so smoothly that they seem like one rule. Naming them separately keeps later algebra and abstract mathematics precise.

Subtraction, Division, and Exponentiation Are Not Associative

Grouping changes subtraction:

\[ (15-6)-2=7, \qquad 15-(6-2)=11. \]

It also changes division:

\[ (24\div6)\div2=2, \qquad 24\div(6\div2)=8. \]

Exponentiation is not associative:

\[ (2^3)^2=64, \qquad 2^{(3^2)}=512. \]

Parentheses are therefore essential for these operations. Removing or moving them can create a different expression.

Associativity Extends to Longer Expressions

Once an operation is known to be associative, a chain using only that operation may be regrouped without changing its value:

\[ a+b+c+d =((a+b)+c)+d =a+(b+(c+d)). \]

This is why parentheses are often omitted from a sum or product containing several real numbers. The grouping does not affect the final result.

Do not extend this freedom across mixed operations without justification. The expression \(a+b\cdot c\) is governed by operation precedence and cannot be regrouped as \((a+b)c\).

The Distributive Property

The distributive property describes how one operation acts across another. For real-number multiplication over addition,

\[ a(b+c)=ab+ac. \]

The outside factor \(a\) multiplies every term inside the group. Multiplication also distributes over subtraction:

\[ a(b-c)=ab-ac. \]

Distribution can operate from the right as well:

\[ (a+b)c=ac+bc. \]

With ordinary real-number multiplication, commutativity makes the left and right forms look nearly identical. In systems where multiplication is not commutative, the side and order of the factors matter.

Why Distribution Works: An Area Model

Imagine a rectangle with height \(a\) and total width \(b+c\). Its area can be calculated as one large rectangle:

\[ A=a(b+c). \]

Split the width into parts \(b\) and \(c\). The two smaller rectangles have areas \(ab\) and \(ac\), so their combined area is

\[ A=ab+ac. \]

Both expressions describe the same region:

\[ a(b+c)=ab+ac. \]

Distribution is therefore more than a symbol-moving rule. It records how a whole can be partitioned into compatible parts.

Expanding an Expression

To expand an expression, distribute a factor across the terms in a grouped sum or difference:

\[ 5(2x-3) =5(2x)-5(3) =10x-15. \]

Every term must receive the factor. A useful visual check is to count the terms inside the group and confirm that each one has been multiplied.

With a negative factor,

\[ -2(3x-4) =-6x+8. \]

The second term becomes positive because \((-2)(-4)=8\).

A Leading Negative Can Be Distributed

A negative sign before a group can be understood as multiplication by \(-1\):

\[ -(a+b)=(-1)(a+b)=-a-b. \]

\[ -(a-b)=(-1)(a-b)=-a+b. \]

The instruction “change every sign” is a convenient shortcut, but distribution by \(-1\) explains why the shortcut works.

Factoring Reverses Distribution

The distributive property works in both directions:

\[ a(b+c)\longleftrightarrow ab+ac. \]

Moving from the grouped product to the sum is expansion. Moving from the sum to the grouped product is factoring.

For example,

\[ 12x+18 =6(2x)+6(3) =6(2x+3). \]

Factoring identifies a common factor shared by every term. It is a central tool for simplifying expressions, solving equations, finding zeros, canceling valid factors, and recognizing structure.

Combining Like Terms Uses Distribution

The familiar rule for combining like terms is another application of distribution:

\[ 3x+5x =(3+5)x =8x. \]

The shared factor is \(x\). Only terms with the same variable part can be combined this way:

\[ 3x+5x^2 \]

cannot be reduced to \(8x^2\) or \(8x\), because \(x\) and \(x^2\) are different factors.

Distributing Two Grouped Expressions

When two sums are multiplied, each term in one group multiplies each term in the other:

\[ \begin{aligned} (a+b)(c+d) &=a(c+d)+b(c+d)\\ &=ac+ad+bc+bd. \end{aligned} \]

The mnemonic FOIL describes the four products that appear when both groups are binomials. Distribution is the underlying property and continues to work when either group contains more than two terms.

For example,

\[ (x+2)(x+3) =x^2+3x+2x+6 =x^2+5x+6. \]

Distribution Has Limits

Multiplication distributes over addition, but addition does not distribute over multiplication:

\[ a+bc\ne(a+b)(a+c) \]

in general. Taking \(a=2\), \(b=3\), and \(c=4\) gives \(14\) on the left and \(30\) on the right.

Powers do not distribute over addition:

\[ (a+b)^2\ne a^2+b^2 \]

in general. Correct expansion gives

\[ (a+b)^2=a^2+2ab+b^2. \]

Radicalization does not distribute over a sum either:

\[ \sqrt{a+b}\ne\sqrt a+\sqrt b \]

in general. Test \(a=9\) and \(b=16\): \(5\ne7\).

When Division Can Be Split

A sum in the numerator may be divided term by term by the same nonzero denominator:

\[ \frac{a+b}{c} =\frac ac+\frac bc, \qquad c\ne0. \]

This works because division by \(c\) is multiplication by \(1/c\), which distributes across the numerator.

A sum in the denominator cannot generally be split:

\[ \frac{a}{b+c}\ne\frac ab+\frac ac. \]

For instance, \(6/(2+1)=2\), while \(6/2+6/1=9\). The location of the sum matters.

Distribution as a Mental-Math Tool

Distribution lets us replace an inconvenient factor with nearby friendly numbers:

\[ 17\cdot99 =17(100-1) =1700-17 =1683. \]

It also supports decomposition:

\[ 46\cdot7 =(40+6)7 =280+42 =322. \]

These are not informal exceptions to written arithmetic. They are efficient applications of the same property used in algebra.

Simplifying Algebraic Expressions

A longer simplification may use all three properties:

\[ 4(x+3)+2x =4x+12+2x =(4+2)x+12 =6x+12. \]

Distribution removes the grouping. Commutativity and associativity allow the like terms to be placed together. Reverse distribution combines their coefficients.

Naming the properties makes the transformation auditable. Each form is equivalent to the one before it.

Distribution in Equations

Distribution often exposes the terms needed to solve an equation:

\[ \begin{aligned} 3(x+4)&=27\\ 3x+12&=27\\ 3x&=15\\ x&=5. \end{aligned} \]

Another valid route divides both sides by \(3\) first:

\[ x+4=9, \qquad x=5. \]

Properties of expressions and properties of equality work together. Distribution changes the form of one side without changing its value; equality-preserving operations maintain the balance between both sides.

Related Patterns with Powers

Exponent rules sometimes resemble distribution, but they are separate laws. For real \(a\) and \(b\) and a whole-number exponent \(n\),

\[ (ab)^n=a^n b^n. \]

A power of a product can therefore be applied to each factor under the rule’s stated conditions. A power of a sum cannot:

\[ (a+b)^n\ne a^n+b^n \]

in general. Learn the exact structure of each law rather than relying on the visual idea that an exponent “spreads.”

Identity and Zero Interact with These Properties

Distribution explains the zero-product property \(a\cdot0=0\). Since \(0=0+0\),

\[ a\cdot0=a(0+0)=a\cdot0+a\cdot0. \]

Subtracting \(a\cdot0\) from both sides gives \(0=a\cdot0\).

The additive identity \(0\) and multiplicative identity \(1\) also make convenient partners when reordering or regrouping:

\[ a+0=a, \qquad a\cdot1=a. \]

Properties rarely operate in isolation. They form a coordinated system of reusable laws.

Functions Show Why the Distinctions Matter

Function composition is associative whenever the indicated compositions are defined:

\[ (f\circ g)\circ h=f\circ(g\circ h). \]

Both sides send an input through \(h\), then \(g\), then \(f\). Composition is generally not commutative:

\[ f\circ g\ne g\circ f. \]

For \(f(x)=x+1\) and \(g(x)=x^2\),

\[ (f\circ g)(x)=x^2+1, \qquad (g\circ f)(x)=(x+1)^2. \]

An operation can be associative without being commutative. This single example separates the two ideas cleanly.

Matrices Preserve Order Even When Distribution Works

Matrix addition is commutative and associative when the dimensions match. Matrix multiplication is associative and distributes over matrix addition:

\[ A(B+C)=AB+AC, \]

\[ (A+B)C=AC+BC. \]

Matrix multiplication is generally not commutative:

\[ AB\ne BA. \]

Distribution must therefore preserve factor order. In \(A(B+C)\), the factor \(A\) remains on the left of both \(B\) and \(C\).

Sets and Logic Reuse the Same Structures

Set union and intersection are both commutative and associative:

\[ A\cup B=B\cup A, \qquad (A\cap B)\cap C=A\cap(B\cap C). \]

They also distribute over one another:

\[ A\cap(B\cup C) =(A\cap B)\cup(A\cap C). \]

Logical “and” and “or” follow corresponding laws. This recurring pattern is one reason these properties are introduced early: they describe reusable mathematical structure, not merely arithmetic tricks.

Properties and the Order of Operations

The order of operations tells us how to evaluate an expression as written. Properties tell us when we may replace it with an equivalent expression that may be easier to evaluate.

For example, PEMDAS evaluates \(6(20+3)\) by completing the group and then multiplying:

\[ 6(23)=138. \]

Distribution provides another route:

\[ 6(20+3)=120+18=138. \]

Neither method violates the other. One follows the original form; the other first creates an equivalent form.

Verify an Algebraic Rewrite

When uncertain about an alleged identity, test several permitted values. If a single value produces unequal results, the claim is false.

Suppose someone claims

\[ 3(x+2)=3x+2. \]

Substitute \(x=4\):

\[ 3(4+2)=18, \qquad 3(4)+2=14. \]

The mismatch exposes the missing distribution to the second term. Numerical testing does not replace a proof of a true identity, but it is excellent at detecting false rewrites.

A Practical Property Checklist

1. Identify the operation. Is the expression using addition, multiplication, composition, union, or something else?
2. Identify the objects. Are they real numbers, matrices, functions, sets, or another type?
3. Name the proposed change. Are you changing order, grouping, or distributing across terms?
4. State the property. Do not assume that a familiar rule applies in the current setting.
5. Preserve every sign and factor. Distribution must reach every term, and noncommutative products must retain their order.
6. Check the result. Expand a factorization, factor an expansion, or substitute a simple permitted value.

Common Confusions

Working Summary

Commutativity changes order. Associativity changes grouping. Distribution connects operations. Addition and multiplication of real numbers are commutative and associative; subtraction, division, and exponentiation are generally neither.

Multiplication distributes over addition and subtraction. Expansion applies a factor to every term, while factoring reverses that process. Combining like terms, mental multiplication, polynomial products, and many equation-solving steps rely on distribution.

The applicable property depends on both the operation and the objects. Functions, matrices, sets, and logic reuse these structures in ways that make the distinctions increasingly important.

Check Your Understanding