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 and as the identities, and say why multiplying by gives
- 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 is not the single fact ” equals .” It is the promise that the swap works no matter what and are. The letters , , and 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 or , is an expression: it names a value without yet being worked out. The numbers being added in a sum are its terms, so and are the terms of . The numbers being multiplied in a product are its factors, so and are the factors of .
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: and , while and . An operation that behaves this way is called commutative, and addition and multiplication both are:
The name comes from “commute,” to move from place to place: the numbers may move past each other freely.
Why #
Lay a stick of length end to end with a stick of length , and the row measures . Now swap the two pieces, so the -stick comes first and the -stick second. Nothing was stretched or cut, so it is the same row and it still measures . That is why and both come to .
Nothing in that argument used the lengths and . Call the two lengths and instead, and every step reads the same. Laying them the other way round gives the same row, measured from the other end. So for any two lengths.
For multiplication the same idea becomes an array of dots that you can count two ways.
Why #
Take the grid drawn above, rows with dots in each row. Counting row by row gives dots. Now read the very same grid by columns: it has columns with dots in each, which counts to . Not one dot moved between the two counts, so both had to land on .
The grid did not have to be by . Call it rows of dots, and reading the same grid by columns gives columns of dots. Tilting your view adds no dots and removes none, so for any whole numbers and .
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.
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 ) 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 , , and . The numbers hold their places; only the pair you combine first changes.
Two different routes, the same total. An operation is associative when that choice of first pair never changes the result:
Why regrouping is safe
Why #
Lay three sticks in a row: one of length , then one of length , then one of length . Fusing the first pair gives . Fusing the last pair instead gives . The sticks never moved, so the row was long before either fusing began.
Nothing there depended on , , and . Lay sticks of length , , and in that order. The row has a total length already, before you decide how to add. Fusing to first, or to first, glues the same three pieces at the same two joints. Gluing joints in a different order cannot lengthen or shorten the row, so
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.
Why #
Both routes in the figure count one fixed pile of marbles, so , with at the end of each.
Nothing there depended on , , and . Take bags, boxes to a bag, and marbles to a box. Grouping with counts the boxes first, and grouping with 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 or . 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?
In the two factors trade places, so that one is commutative.
Here the three factors stay in the same order and only the parentheses move, which is the associative property. Order is one freedom, grouping is the other.
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 the easy way
Multiplying in the printed order gives , then the clumsy . Instead, move the next to the and group that pair first:
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 by making a round number
The numbers and pair into a clean , so bring them together first:
Reordering to create the round first turns an awkward sum into one you can finish in your head.
Check your understanding
You want to work out in your head. Which pair should you bring together first?
Move the past the (commutative), then group it with the (associative).
Every route reaches , because that is what these two properties guarantee. This one is the easiest to hold in your head, since needs no carrying.
The identity elements: the numbers that change nothing
Adding nothing to a quantity leaves it as it was, so . Taking exactly one copy of a quantity is the quantity itself, so . 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:
Zero is the additive identity and one is the multiplicative identity.
The zero property of multiplication
Multiplying any number by collapses it to . Keep the reading from the dot array: the first factor counts the groups, and the second counts what sits in each group. So is seven groups with nothing in them, and seven helpings of nothing is nothing. Turn it round: 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:
This is a separate fact from the identity property, and it is easy to mix them up. The identity leaves untouched; the number wipes out.
Check your understanding
Which equation shows the multiplicative identity?
The multiplicative identity is the number that leaves a value unchanged under multiplication, and that number is .
Multiplying by keeps as . Adding is the additive identity, and multiplying by is the zero property.
Both rules earn their keep when they let you skip work:
Worked example 3 Simplify
Use the zero property on the first product and the multiplicative identity on the second:
The entire first product collapses to , multiplying by leaves it alone, and adding to keeps it at . 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 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 . Reversing it asks for , which means taking away from just . You run out before you finish, dropping below zero, so the result cannot also be . Division reverses just as badly. From , swapping to asks how many s fit inside . Not even one does, so the answer is less than a whole, nowhere near :
Grouping matters too, which is why an expression like would be genuinely ambiguous without a rule. The two groupings disagree:
Subtraction is not associative#
Take , , and .
Grouping the first pair:
Grouping the second pair:
Since , there is a choice of numbers for which and disagree. One counterexample is enough, so subtraction is not associative. (The same numbers also break commutativity: , but reverses which number is taken from which and cannot give .)
Division breaks in exactly the same way. Grouping the first pair, is . Grouping the second pair, is . The same three numbers gave one way and the other, so division is not associative either.
Because the grouping really does change the value, 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 means . The parentheses there are doing real work and cannot be moved for free. Treat the rules of this lesson as belonging to and alone.
What a chain of removals still allows
Losing both properties does not mean that nothing in a chain may ever move. Read left to right: it takes off , then takes off what is left. That is two removals from one starting amount, and the amount gone is whichever removal you make first.
A chain of divisions behaves the same way, with the two divisors multiplying instead of adding. Dividing by and then by cuts the number into equal parts, and so does dividing by and then by :
Read that narrowly, because it is easy to over-claim. It is not commutativity, which would let the and the trade places. It is not associativity, which would let the last two numbers be grouped: is , not . 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 true?
Division is not commutative, so swapping the numbers generally changes the result.
Reversing asks how many s fit in , which is less than one whole, so it cannot equal . The statement is false.