Commutative and Associative Properties

1. Defining the Properties: What Are They?

At their core, the commutative and associative properties are simple rules about how addition and multiplication behave. A great way to get a quick, clear introduction is to watch a short video that illustrates them.

As the video explained, we can define these properties formally:

The Commutative Property

This property is about the order of numbers in an operation. The word "commute" means to travel or move around, which is a good way to remember it. For any numbers $a$ and $b$:

• Commutative Property of Addition: $a+b=b+a$
• Commutative Property of Multiplication: $a\cdot b=b\cdot a$

It simply means you can swap the order of the numbers, and the result remains the same. (e.g., $5+2=7$ and $2+5=7$).

The Associative Property

This property is about the grouping of numbers when you have more than two. The word "associate" refers to who you group up with. For any numbers $a$, $b$, and $c$:

• Associative Property of Addition: $(a+b)+c=a+(b+c)$
• Associative Property of Multiplication: $(a\cdot b)\cdot c=a\cdot (b\cdot c)$

It means that when you are only adding or only multiplying, you can move the parentheses around, and the result remains the same.

A helpful way to visualize the associative property of multiplication is to think about volume.

2. The Significance: Why Do We Need to Name These Properties?

At first glance, these properties might seem "obvious." You've known for years that $3\times 5$ is the same as $5\times 3$. So why do mathematicians give them special names and call them out as fundamental rules?

The reason is that these properties are not universal. They don't apply to all operations. The fact that they work for addition and multiplication is a special and powerful feature of our number system.

Consider these counterexamples:

• Subtraction is not commutative: $5-3=2$, but $3-5=-2$. The order clearly matters.
• Division is not associative: $(16÷4)÷2=4÷2=2$. But $16÷(4÷2)=16÷2=8$. The grouping clearly matters.
• Exponentiation is neither:
  • It's not commutative: $2^3=8$, but $3^2=9$.
  • It's not associative: $(2^3{)}^2=8^2=64$, but $2^{(3^2)}=2^9=512$.

By defining the commutative and associative properties, we are formally stating the "rules of the game" for algebra. These rules allow us to manipulate expressions with confidence. When you simplify (2x + 5) + 3x to 5x + 5, you are implicitly using both the associative property to regroup as (2x + 3x) + 5 and the commutative property to reorder 3x + 2x if needed.

3. A Deeper Look: Where Do These Rules Come From?

This brings us to the core of your goal: to understand the foundations. In a typical algebra class, the commutative and associative properties are presented as axioms—statements we accept as true without proof. They form the basis from which we prove other things.

However, at a more fundamental level of mathematics, one can ask: can we prove that addition and multiplication are commutative and associative? The answer is yes, but to do so, we must start with even simpler axioms.

This is the domain of foundational mathematics, which builds our entire number system from the ground up. A famous set of axioms for this is the Peano axioms, which define the natural numbers ($0,1,2,3,...$). They start with just two concepts:

1. There is a number called 0.
2. Every number n has a unique "successor" (think of it as n+1).

From this incredibly simple starting point, one can formally define addition and multiplication and then prove that our familiar properties hold.

To give you a true sense of what this looks like, we will examine the proof for the associative law of addition.

Let's break down the logic of that proof for x + (y + z) = (x + y) + z.

1. The Strategy: The proof uses mathematical induction on the variable $z$. This is a powerful proof technique you'll encounter in programming and higher math. It works in two steps:

   • Base Case: Prove the statement is true for the very first number, $z=0$.
   • Inductive Step: Assume the statement is true for some arbitrary number $z$, and then use that assumption to prove it must also be true for the next number, the successor of $z$ (which we can call $z+1$).

2. Base Case (z=0):
   The proof shows that $x+(y+0)=(x+y)+0$. This is easy to verify. From the definition of addition in this system, adding 0 to anything leaves it unchanged. So, $y+0=y$ and $(x+y)+0=x+y$. The equation becomes $x+y=x+y$, which is true.

3. Inductive Step:
   This is the core of the argument.

   • We assume the property holds for some number $z$. This is our inductive hypothesis: x + (y + z) = (x + y) + z.
   • Our goal is to prove it holds for the next number, σ(z) (or $z+1$). We want to show: x + (y + σ(z)) = (x + y) + σ(z).
   • The proof in the PDF then uses a chain of equalities, applying definitions from earlier in the text (like m + σ(n) = σ(m+n), which is Lemma 5) and the inductive hypothesis to transform the left side of the equation into the right side.

This might seem complex, and it is! The key takeaway is not to memorize the proof, but to appreciate the process: mathematicians do not take even the most "obvious" rules for granted. They can be built up and proven with rigorous logic from an extremely minimal set of starting assumptions. The same PDF goes on to prove the commutative properties for addition and multiplication using similar methods.

Summary and Next Steps

In this lesson, we established the first foundational rules of algebra.

• Key Takeaways:
  • The Commutative Property states that the order of operands does not matter for addition and multiplication ($a+b=b+a$).
  • The Associative Property states that the grouping of operands does not matter for addition and multiplication ($(a+b)+c=a+(b+c)$).
  • These properties are significant because they are not universal; they don't apply to operations like subtraction or division. Their existence for addition and multiplication enables algebraic manipulation.
  • While we treat these properties as axioms in algebra, they can be formally proven from a more basic set of axioms (like the Peano axioms) that define the number system itself.

We have now explored two properties that govern operations of a single type (all addition or all multiplication). In the next lesson, we will investigate the Distributive Property, which is arguably even more powerful because it's the rule that formally connects addition and multiplication.