§ Seeing the semidirect product of the dihedral group.


Think of rigid motions of a hexagon. Let's focus on a single edge. See that the movement of this edge determines everything else. So let's see where this edge can go to. There are six different locations it can go to, by "rotating". Not only that, but we can also "flip" the edge (by flipping the entire hexagon!) This means we have two types of transformations we can perform on this single edge, that determines everything else: (1) rotating it, moving it to another location, and (2) flipping the edge. We might naively decide to mathematically encode the different moves we can make as (angle, flip), which represents (a) rotating by an angle, and (b) flipping the hexagon. The next question one asks is how to write the result of performing one move after another?
In fact, there is a subtlety here. What do we mean by "rotate by an angle"? How do we determine "clockwise" and "anti-clockwise"? There are two choices: