MathJewels math guide · Analyze a binary operation and its properties
Operations, Identities, and Cyclic Symmetry
Test an operation for closure, commutativity, identity, and inverses, then see how complex rotations form a small cyclic group.
The big idea
An operation combines two allowed objects. Its properties must be tested separately: closure asks whether the result stays in the set; commutativity compares \(a\star b\) with \(b\star a\); an identity leaves every object unchanged; and an inverse returns an object to the identity. A group has closure, associativity, one identity, and an inverse for every element. Complex numbers in polar form make these ideas visible because multiplication adds angles.
Worked example
Let \(r\) be a rotation by \(90^\circ\). The four rotations
\[ 1,r,r^2,r^3 \]
are closed under multiplication because exponents add modulo 4. The identity is \(1=r^0\). The inverse of \(r\) is \(r^3\), while \(r^2\) is its own inverse. Associativity comes from complex multiplication, so these rotations form a cyclic group generated by \(r\).
The identity is unique: if \(e\) and \(f\) both act as two-sided identities, then \(e\star f=f\) because \(e\) is an identity, while \(e\star f=e\) because \(f\) is an identity. Hence \(e=f\).
How children may show it
A learner may use an operation table, arrows around a circle, polar angles, or exponent cycles reduced modulo the cycle length. Each display should identify the identity and show how an element meets its inverse.
Common mix-up
Returning after two moves is not the same as doing nothing in one move. Ask the learner to test a non-identity element on a specific object, then apply it twice. Also remember that a single counterexample is enough to disprove commutativity.
Try it together
Use the clock positions 0, 1, 2, 3 with addition modulo 4. Build the operation table, locate the identity, find every inverse, and compare the structure with quarter-turn multiplication on the complex unit circle.