Formalize the four axioms visually using symmetry shapes
You have seen symmetries of polygons and how to compose them. Now let's formalize exactly what properties these symmetries satisfy. A group is a set with an operation that satisfies four axioms: closure, the existence of an identity, the existence of inverses, and associativity.
These axioms capture the essence of symmetry in the most general way. Any mathematical system satisfying them is a group -- from number systems to shuffling cards to quantum mechanics.
Compose any two symmetries of the triangle. The result is always another symmetry in the group -- never something "outside" the set. This is the closure property.
Pick any two symmetries of the triangle. Their composition is always another symmetry in the group.
The result e is always in the group. This is closure.
Key insight: Closure means the group is self-contained. No matter which two elements you combine, you stay within the group.
Every group has a special "do nothing" element (the identity) and every element has an inverse that undoes it. Can you find them all?
Which symmetry is the identity? Click the "do nothing" element.
Key insight: The identity element composed with anything gives that thing back. An element composed with its inverse gives the identity. Rotations are undone by rotating the other way; reflections are their own inverses.
Pick three symmetries a, b, c and verify that (a * b) * c = a * (b * c). The grouping does not matter -- only the order does. This lets us write products without parentheses.
Pick three symmetries a, b, c. Compare (a * b) * c versus a * (b * c).
r * r² = e
e * s = s
r² * s = sr²
r * sr² = s
Key insight: Associativity always holds for composition of functions (and permutations). This is why symmetry groups are automatically associative -- no need to check every triple.