Discovering Group Theory, Day 4
Realizing that there was much to be gained from using now familiar cyclic groups to introduce more group properties, we postponed the exploration of dihedral groups and instead spent the day exploring.
 The review of group properties
 After reviewing the structure of particular examples of cyclic groups (C_{1}, C_{2}, C_{3}, C_{4}, and C_{6}) students extrapolated the properties of C_{n}, which led us to the formal definition of cyclic groups.
 Modular Addition and (Z_{n},+_{n})
 We built on our existing knowledge of how to calculate the hour reading of a clock to motivate modular addition. Students were asked to come up with a general mathematical formula which can be used to do the calculations.
 Working in pairs, students then investigated whether (Z_{4},+4) forms a group by checking if it satisfies the four axioms and constructing the Cayley table. This exercises broadened our understanding of group “multiplication,” which was originally introduced as a way to represent compounding effects of subsequent rotations of a polygon. It became clear why we have been using quotes around the word multiplication.

 After comparing C_{4} and Z_{4,} we introduced the idea of a group isomorphism.
 What is Not a Group? Students wanted to know more about when a set and a “product” do not form a group, so we went through a couple of examples in which one or more of the four axioms is violated (especially associativity).