This site is a work in progress. New lessons are added regularly. Contact us

Properties of Addition and Multiplication

Learning goals

  • Tell the commutative property (order) apart from the associative property (grouping)
  • Explain why reordering or regrouping cannot change a sum or a product
  • Identify 00 and 11 as the identities, and say why multiplying by 00 gives 00
  • Reorder and regroup a long sum or product to reach the easiest path
  • Give a counterexample for each way subtraction and division fail these two rules

What a “property” is claiming

A property of an operation is a statement that holds for every choice of numbers, not just a lucky few. So a+b=b+aa + b = b + a is not the single fact ”3+53 + 5 equals 88.” It is the promise that the swap works no matter what aa and bb are. The letters aa, bb, and cc below stand for numbers you pick.

The pictures here use whole numbers, because those are the easiest to draw, so the reasons below are given for whole numbers. Each rule keeps working for the fractions and negative numbers you meet later. An example shows the pattern once; a general reason explains why the pattern keeps working, and every rule below comes with one.

Three words save a lot of repetition. Any calculation written out in symbols, such as 3+53 + 5 or 104210 - 4 - 2, is an expression: it names a value without yet being worked out. The numbers being added in a sum are its terms, so 33 and 55 are the terms of 3+53 + 5. The numbers being multiplied in a product are its factors, so 66 and 99 are the factors of 6×96 \times 9.

The commutative property: order does not matter

Swapping the two inputs of an addition or a multiplication leaves the result unchanged. Check that on a pair of numbers: 3+8=113 + 8 = 11 and 8+3=118 + 3 = 11, while 6×9=546 \times 9 = 54 and 9×6=549 \times 6 = 54. An operation that behaves this way is called commutative, and addition and multiplication both are:

a+b=b+a,a×b=b×a.a + b = b + a, \qquad a \times b = b \times a.

The name comes from “commute,” to move from place to place: the numbers may move past each other freely.

Why a+b=b+aa + b = b + a#

Lay a stick of length 44 end to end with a stick of length 99, and the row measures 1313. Now swap the two pieces, so the 99-stick comes first and the 44-stick second. Nothing was stretched or cut, so it is the same row and it still measures 1313. That is why 4+94 + 9 and 9+49 + 4 both come to 1313.

Nothing in that argument used the lengths 44 and 99. Call the two lengths aa and bb instead, and every step reads the same. Laying them the other way round gives the same row, measured from the other end. So a+b=b+aa + b = b + a for any two lengths.

For multiplication the same idea becomes an array of dots that you can count two ways.

The same dots read two ways. Three rows of five and five rows of three both count to 15, which is why 3 times 5 equals 5 times 3. Rectangular grids of dots, each labelled with the multiplication it represents. 3 rows of 5 = 15 5 rows of 3 = 15
The same dots read two ways. Three rows of five and five rows of three both count to 15, which is why 3 times 5 equals 5 times 3.

Why a×b=b×aa \times b = b \times a#

Take the grid drawn above, 33 rows with 55 dots in each row. Counting row by row gives 3×5=153 \times 5 = 15 dots. Now read the very same grid by columns: it has 55 columns with 33 dots in each, which counts to 5×3=155 \times 3 = 15. Not one dot moved between the two counts, so both had to land on 1515.

The grid did not have to be 33 by 55. Call it aa rows of bb dots, and reading the same grid by columns gives bb columns of aa dots. Tilting your view adds no dots and removes none, so a×b=b×aa \times b = b \times a for any whole numbers aa and bb.

Those dots settle one pair of numbers, and a property claims something about every pair. So go hunting for a pair that breaks it. In the rectangle below you set the width and the height, and the readout counts the unit squares inside. Look for a width and a height whose swap changes that count.

Swapping width and height leaves the area alone

A rectangle 5 units wide and 3 units tall. Area 15 square units, counted as 5 times 3. Turned on its side it is 3 times 5, which is the same 15 squares. A rectangle drawn on a grid of unit squares, inside a dashed boundary showing how large it can grow. Use the controls below the figure to change either dimension and compare two settings whose width and height are swapped, where the area comes back to the same count. 5 3
Width Height

A rectangle 5 units wide and 3 units tall. Area 15 square units, counted as 5 times 3. Turned on its side it is 3 times 5, which is the same 15 squares.

A rectangle built from unit squares. Choose its width and its height; the readout counts the squares and names the same count with the two factors swapped.

No pair breaks it, and the reason is the one the dots gave. A swap stands the rectangle on its end without moving a single square, so the count cannot change.

The associative property: grouping does not matter

Commutativity is about the order of two numbers. The next property is about something different. When you combine three numbers, you can only do one ++ (or one ×\times) at a time. So you must choose which pair to combine first. The parentheses say “do this pair first.” Below, both choices are tried on 22, 77, and 33. The numbers hold their places; only the pair you combine first changes.

Grouping changes the route, not the totalThe associative property: grouping 2 with 7 first, or 7 with 3 first, both give 12.group first pair(2 + 7) + 3=9 + 3=12group last pair2 + (7 + 3)=2 + 10=12
Two groupings of the same three numbers. Combining 2 and 7 first, or 7 and 3 first, sends you through 9 or through 10, and both routes land on 12.

Two different routes, the same total. An operation is associative when that choice of first pair never changes the result:

(a+b)+c=a+(b+c),(a×b)×c=a×(b×c).(a + b) + c = a + (b + c), \qquad (a \times b) \times c = a \times (b \times c).

Why regrouping is safe

Why (a+b)+c=a+(b+c)(a + b) + c = a + (b + c)#

Lay three sticks in a row: one of length 22, then one of length 77, then one of length 33. Fusing the first pair gives (2+7)+3=9+3=12(2 + 7) + 3 = 9 + 3 = 12. Fusing the last pair instead gives 2+(7+3)=2+10=122 + (7 + 3) = 2 + 10 = 12. The sticks never moved, so the row was 1212 long before either fusing began.

Nothing there depended on 22, 77, and 33. Lay sticks of length aa, bb, and cc in that order. The row has a total length already, before you decide how to add. Fusing aa to bb first, or bb to cc first, glues the same three pieces at the same two joints. Gluing joints in a different order cannot lengthen or shorten the row, so

(a+b)+c=a+(b+c).(a + b) + c = a + (b + c).

Multiplication regroups for the same reason, with equal groups in place of a row of sticks. The figure below holds three bags, two boxes to a bag, and five marbles to a box.

Regrouping the bundles does not change the countThirty marbles held as three bags of two boxes, five marbles to a box. Grouping the bags first or the boxes first both count to 30.3 bags, 2 boxes in each, 5 marbles in each box555555boxes first(3 × 2) × 5 = 6 × 5 = 30bags first3 × (2 × 5) = 3 × 10 = 30
Three bags of two boxes, five marbles to a box. Count the boxes first and you get 6 boxes of 5; count a bag first and you get 3 bags of 10. Either way there are 30 marbles.

Why (a×b)×c=a×(b×c)(a \times b) \times c = a \times (b \times c)#

Both routes in the figure count one fixed pile of marbles, so (3×2)×5=3×(2×5)(3 \times 2) \times 5 = 3 \times (2 \times 5), with 3030 at the end of each.

Nothing there depended on 33, 22, and 55. Take aa bags, bb boxes to a bag, and cc marbles to a box. Grouping aa with bb counts the boxes first, and grouping bb with cc counts one bag first. The marbles are in the bags before you pick a route, so neither route can reach a different total.

Because the grouping never matters, we are allowed to drop the parentheses entirely and write a+b+ca + b + c or a×b×ca \times b \times c. Every way of putting them back gives the same value, so none of them is needed.

Check your understanding

Which of these equations shows the associative property?

Answer choices

Reshuffling a calculation

Used together, the two rules give you permission. You may reorder a sum or a product and then regroup it into whatever form is easiest, and the value will not change.

Worked example 1 Compute 4×17×254 \times 17 \times 25 the easy way

Multiplying in the printed order gives 4×17=684 \times 17 = 68, then the clumsy 68×2568 \times 25. Instead, move the 2525 next to the 44 and group that pair first:

4×17×25=4×25×17(commutative: swap the order)=(4×25)×17(associative: group the easy pair)=100×17=1700.\begin{aligned} 4 \times 17 \times 25 &= 4 \times 25 \times 17 &&\text{(commutative: swap the order)}\\ &= (4 \times 25) \times 17 &&\text{(associative: group the easy pair)}\\ &= 100 \times 17\\ &= 1700. \end{aligned}

The two properties are what guarantee this rearranged product equals the original one, so nothing is lost by choosing the convenient route.

Worked example 2 Add 28+47+228 + 47 + 2 by making a round number

The numbers 2828 and 22 pair into a clean 3030, so bring them together first:

28+47+2=28+2+47(commutative property of addition)=(28+2)+47(associative property of addition)=30+47=77.\begin{aligned} 28 + 47 + 2 &= 28 + 2 + 47 &&\text{(commutative property of addition)}\\ &= (28 + 2) + 47 &&\text{(associative property of addition)}\\ &= 30 + 47\\ &= 77. \end{aligned}

Reordering to create the round 3030 first turns an awkward sum into one you can finish in your head.

Check your understanding

You want to work out 37+45+337 + 45 + 3 in your head. Which pair should you bring together first?

Answer choices

The identity elements: the numbers that change nothing

Adding nothing to a quantity leaves it as it was, so 17+0=1717 + 0 = 17. Taking exactly one copy of a quantity is the quantity itself, so 17×1=1717 \times 1 = 17. A number you can combine with any number and change nothing is called an identity element for that operation. The rule saying so is the identity property. Addition and multiplication each have one identity:

a+0=a,a×1=a.a + 0 = a, \qquad a \times 1 = a.

Zero is the additive identity and one is the multiplicative identity.

The zero property of multiplication

Multiplying any number by 00 collapses it to 00. Keep the reading from the dot array: the first factor counts the groups, and the second counts what sits in each group. So 7×07 \times 0 is seven groups with nothing in them, and seven helpings of nothing is nothing. Turn it round: 0×70 \times 7 is zero groups of seven. You never pick up a group at all, so again you have nothing. The same reading works for every number:

a×0=0.a \times 0 = 0.

This is a separate fact from the identity property, and it is easy to mix them up. The identity 11 leaves aa untouched; the number 00 wipes aa out.

Check your understanding

Which equation shows the multiplicative identity?

Answer choices

Both rules earn their keep when they let you skip work:

Worked example 3 Simplify (53×0)+(1×38)(53 \times 0) + (1 \times 38)

Use the zero property on the first product and the multiplicative identity on the second:

(53×0)+(1×38)=0+38(zero property; multiplicative identity)=38(additive identity).\begin{aligned} (53 \times 0) + (1 \times 38) &= 0 + 38 &&\text{(zero property; multiplicative identity)}\\ &= 38 &&\text{(additive identity)}. \end{aligned}

The entire first product collapses to 00, multiplying 3838 by 11 leaves it alone, and adding 00 to 3838 keeps it at 3838. Three properties, one line.

Why subtraction and division do not get these properties

The order rule and the grouping rule were both stated for ++ and ×\times only, and that restriction is not an accident. Subtraction and division are neither commutative nor associative. To prove a “for every number” claim false you only need a single example where it breaks.

Order matters for both. Start from 53=25 - 3 = 2. Reversing it asks for 353 - 5, which means taking 55 away from just 33. You run out before you finish, dropping below zero, so the result cannot also be 22. Division reverses just as badly. From 8÷2=48 \div 2 = 4, swapping to 2÷82 \div 8 asks how many 88s fit inside 22. Not even one does, so the answer is less than a whole, nowhere near 44:

5335,8÷22÷8.5 - 3 \ne 3 - 5, \qquad 8 \div 2 \ne 2 \div 8.

Grouping matters too, which is why an expression like 104210 - 4 - 2 would be genuinely ambiguous without a rule. The two groupings disagree:

Subtraction is not associative#

Take a=10a = 10, b=4b = 4, and c=2c = 2.

Grouping the first pair:

(ab)c=(104)2=62=4.(a - b) - c = (10 - 4) - 2 = 6 - 2 = 4.

Grouping the second pair:

a(bc)=10(42)=102=8.a - (b - c) = 10 - (4 - 2) = 10 - 2 = 8.

Since 484 \ne 8, there is a choice of numbers for which (ab)c(a - b) - c and a(bc)a - (b - c) disagree. One counterexample is enough, so subtraction is not associative. (The same numbers also break commutativity: 104=610 - 4 = 6, but 4104 - 10 reverses which number is taken from which and cannot give 66.)

Division breaks in exactly the same way. Grouping the first pair, (16÷4)÷2(16 \div 4) \div 2 is 4÷2=24 \div 2 = 2. Grouping the second pair, 16÷(4÷2)16 \div (4 \div 2) is 16÷2=816 \div 2 = 8. The same three numbers gave 22 one way and 88 the other, so division is not associative either.

Because the grouping really does change the value, 104210 - 4 - 2 is not safe to regroup the way a sum is. We rescue it with a convention: read a chain of subtractions (or divisions) left to right, so 104210 - 4 - 2 means (104)2=4(10 - 4) - 2 = 4. The parentheses there are doing real work and cannot be moved for free. Treat the rules of this lesson as belonging to ++ and ×\times alone.

What a chain of removals still allows

Losing both properties does not mean that nothing in a chain may ever move. Read 80251580 - 25 - 15 left to right: it takes 2525 off 8080, then takes 1515 off what is left. That is two removals from one starting amount, and the amount gone is 25+15=4025 + 15 = 40 whichever removal you make first.

802515=40,801525=40.80 - 25 - 15 = 40, \qquad 80 - 15 - 25 = 40.

A chain of divisions behaves the same way, with the two divisors multiplying instead of adding. Dividing by 1212 and then by 33 cuts the number into 12×3=3612 \times 3 = 36 equal parts, and so does dividing by 33 and then by 1212:

720÷12÷3=20,720÷3÷12=20.720 \div 12 \div 3 = 20, \qquad 720 \div 3 \div 12 = 20.

Read that narrowly, because it is easy to over-claim. It is not commutativity, which would let the 8080 and the 2525 trade places. It is not associativity, which would let the last two numbers be grouped: 80(2515)80 - (25 - 15) is 7070, not 4040. The first number of a chain never moves. Only the numbers being removed may trade places, and likewise the numbers being divided by. The chain depends on them just through their total, or through their product. Working in whole numbers, the removals must not add up past the number they are taken from, and each division must come out exactly.

Check your understanding

Is the statement 12÷4=4÷1212 \div 4 = 4 \div 12 true?

Answer choices

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Free Response Questions (FRQ)

Longer questions in parts, to be worked out on paper. Progressive hints, the answer on its own so you can check yourself and try again, then the full worked solution, plus a rubric to mark your own work against.

Free response Work it out on paper 5 questions Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (Optional)

Some facts are so familiar that it is genuinely hard to say why they hold. Ask why 3+53 + 5 and 5+35 + 3 agree, and the first answer most people reach for is that they simply do.

In 1889 an Italian mathematician named Giuseppe Peano decided that was not good enough. He wrote out a short list of basic rules for the counting numbers. Start at one; every number has a next one; that sort of thing. Nothing on the list mentioned the order of a sum.

Yet the swap is true, so it had to follow from the list. He had to prove it, and the proof was genuine work rather than a shrug. That is what proving something is for. It cannot make a fact truer, but it reveals exactly what the fact is resting on.

The sticks and the grid of dots in this lesson are not that proof, and they do not rest on his list. They do something of the same kind on a smaller scale. Each argument started on one pair of numbers, then showed that nothing in it had depended on the pair you started with.