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.

  • Grade 9
  • Grade 10
  • Grade 11
  • Grade 12
  • Algebraic structure and equations
  • Number and quantity

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.