🧭 The guided Cayley machine

The Property Tour

Five hidden properties run ALL of algebra, and they belong to exactly two operations: addition and multiplication. On this tour you'll discover each property yourself in a machine made of colors, then catch it working inside + and Γ—, where it's been hiding your whole life.

πŸ” 5 discoveries 0 / 5 discovered

🎨 The machine

Four colors and one combiner, written βŠ• ("combine"). Every answer is in this table: find the row of the first color, the column of the second,πŸ”΅ βŠ• 🟑 = 🟒. That's the whole machine. The five properties are hiding inside it.

πŸ›‹οΈ Discovery 1: The lazy color

One of these four colors is completely lazy, combine it with anything and nothing changes. Which one? Click a color to test it:

Test a color: the machine will combine it with all four colors so you can see.

πŸ”— Now catch it in YOUR math

Every system has a lazy element: its official name is the identity. Addition has one. Multiplication has a different one. Fill them in:

3 + = 3 (addition's lazy number)
7 Γ— = 7 (multiplication's lazy number)

Bonus secret: because 1 is multiplication's identity, math lets it go invisible, x really means 1xΒΉ. You'll hunt the invisible 1s at The Translator.

πŸ”„ Discovery 2: Does order matter?

Pick two different colors. The machine will combine them both ways: A βŠ• B and B βŠ• A. Test three different pairs and watch for a pattern:

Pick a color from each row, then hit Test.

πŸ”— Now catch it in YOUR math

Order never mattered, that's commutativity, and the table even shows it: fold along the diagonal and the two halves match (look at the mirrored shading above!). Addition and multiplication both have it: 4 + 9 = 9 + 4 and 3 Γ— 8 = 8 Γ— 3. But NOT every operation passes. Test subtraction yourself:

5 βˆ’ 2 =    but    2 βˆ’ 5 =

πŸ‘¨β€πŸ‘©β€πŸ‘§ Discovery 3: The grouping test

Three colors, two ways to group them: (A βŠ• B) βŠ• C, left pair first, or A βŠ• (B βŠ• C), right pair first. Tap the three slots to change colors, then test. Try two different triples:

Set your three colors, then run the test.

πŸ”— Now catch it in YOUR math

Grouping never mattered, that's associativity, and it's why you're allowed to add in whatever order is EASIEST. Which grouping would you rather compute?

↩️ Discovery 4: Undo partners

You found the lazy color (πŸ”΄). Now: every color has an undo partner, a color that combines with it to get you BACK to lazy πŸ”΄. Find each color's partner:

Four colors, four partners. (Watch out: some colors are their OWN partner!)

πŸ”— Now catch it in YOUR math

Undo partners are called inverses, and they're the engine of equation solving. Addition's inverses are negatives; multiplication's are fractions:

5 + = 0 (the undo partner of 5)
2 Γ— = 1 (try a fraction or decimal!)

This is exactly the machinery inside The Undo Machine, every equation you solve there runs on inverses.

🀝 Discovery 5: Two operations shake hands

The first four properties each live inside ONE operation. The fifth is different. It takes two operations working together. Meet β˜… ("boost"), a second combiner for our colors. The question: does β˜… treat a βŠ•-combination fairly: boost the combo, or boost each piece and combine after?

Tap the three slots to pick colors, then test, compare the two paths. Try two different triples.

πŸ”— Now catch it in YOUR math

Both paths always agree, that's distribution, the handshake between Γ— and +. It's how you multiply big numbers in your head: split 14 into 10 + 4, boost each piece:

6 Γ— 14  =  6 Γ— (10 + 4)  =  +  = 

And this is the algebra move you'll use forever: 2(x + 3) = 2x + 6. Same handshake, with a mystery number inside.

🍎 For teachers & parents

This tour makes the structure impossible to miss: each property is discovered in the color machine (where there's nothing familiar to lean on), then immediately re-found in addition and multiplication, plus a counterexample, because knowing who flunks a property is half of understanding it. Use it before or alongside course Stations 1–3. The printable Field Guide mirrors the tour on paper.

πŸ’‘ The big idea

These five properties aren't rules somebody made up for math class: they're discoveries about how combining works, and they hold in the colors, in addition, in multiplication, and in every x and y you'll ever meet. When algebra says "you may regroup" or "you may distribute," it's citing one of these five.