Think of a spacial arrangement of geometrical elements. It could be a polygon, or a honeycomb lattice, or some other arrangement. A *symmetry* is a rigid transformation that preserves the arrangement. Consider an equilateral triangle, for instance:

There are six “moves” that would preserve the triangle. To begin with, we could reflect it across any of the three axes of symmetry.

In addition, we could spin it through 120° around the center, clockwise or counterclockwise. And, finally, we could just leave it be.

Symmetries have the following property: if we perform two symmetries in succession, then the *composition* obtained is also a symmetry. For instance, if we reflect the triangle across two lines of symmetry, then this amounts to a 120° rotation. In general, if T and U are two symmetries, then we’ll use the notation U ∘ T to represent the symmetry obtained by performing first T and then U. We can think of this as a “multiplication” of symmetries. Be careful, though: the order matters. The symmetry U ∘ T is not necessarily the same as T ∘ U.

To make all this clearer, let’s consider another example. A square has four lines of symmetry:

Reflection across any of these lines preserves the shape. Label the four reflections as R_{1}, R_{2}, R_{3}, and R_{4}. We can also rotate the square clockwise around the center through 90°, or 180°, or 270°. If S is the symmetry that rotates the square through 90°, then S ∘ S = S^{2} is rotation through 180°, and S ∘ S ∘ S = S^{3} is rotation through 270°. And, finally, there’s the identity symmetry, which just leaves the square as it is. We’ll call that I. Notice that S^{4} = I, since S^{4} amounts to a 360° rotation.

So we have eight symmetries in all: I, S, S^{2}, S^{3}, R_{1}, R_{2}, R_{3}, and R_{4}. As mentioned above, we can view composition of symmetries as a kind of “multiplication” on this set. However, it isn’t commutative: the order matters. To see this, consider S and R_{1}. Let’s see what S ∘ R_{1} does to the square:

This amounts to the transformation R_{4}. Now let’s see what R_{1} ∘ S does:

This amounts to R_{2}. So S ∘ R_{1} = R_{4} while R_{1} ∘ S = R_{2}. It follows that S ∘ R_{1} ≠ R_{1} ∘ S.

What *is* true is that the composition of any two symmetries in our set is also in the set. The set of symmetries is “closed” under composition. In addition, each symmetry has its inverse, which carries the shape back to the original position. For instance, R_{1} is its own inverse, since R_{1} ∘ R_{1} = I. The same is true of all the reflections. On the other hand, the inverse of S is S^{3}, since S ∘ S^{3} is a 360° rotation, which amounts to I. And, finally, the inverse of S^{2} is itself, since two 180° rotations amount to a 360° rotation. If we wanted to, we could make an 8 × 8 multiplication table for this set of symmetries. Each row and each column would contain each symmetry exactly once.

Another interesting thing to note is that we could use a pair of reflections to obtain the other symmetries. Take R_{1} and R_{2}, for instance. Notice that S = R_{1} ∘ R_{2}. We can compose S with itself to obtain the other rotations: S^{2} = R_{1} ∘ R_{2} ∘ R_{1} ∘ R_{2} and S^{3} = R_{1} ∘ R_{2} ∘ R_{1} ∘ R_{2} ∘ R_{1} ∘ R_{2}. Finally, R_{3} = R_{2} ∘ R_{1} ∘ R_{2}, while R_{4} = R_{1} ∘ R_{2} ∘ R_{1}. So we’ve written every symmetry as a product of R_{1} and R_{2}.

A *group* is a set of symmetry operations satisfying the following two requirements: (1) the composition of two operations in the group is also in the group, and (2) for each operation in the group, the inverse of the operation is also in the group. The group we’ve been discussing is the *dihedral group* D_{4}. It has order 8, meaning that it contains 8 operations: I, S, S^{2}, S^{3}, R_{1}, R_{2}, R_{3}, and R_{4}. We say that D_{4} is *generated by* R_{1} and R_{2}, and write D_{4} = 〈R_{1},R_{2}〉.

In coming posts, we’ll see how the theory of groups can be used to classify ornamental symmetries.