In the last quiz, we looked at symmetries of shapes, which are rigid transformations that send the shape to itself. At the end of the quiz, we saw that we could combine symmetries by doing one after the other, and thus form a kind of “multiplication” on the symmetries.
In this quiz, we’ll explore this idea further, and in the next quiz, this will lead to the definition of a group.
To start, consider this equilateral triangle:
Let be clockwise rotation by and let be a reflection about the line segment What symmetry do you get when you apply followed by
Hint: Investigate where the three vertices of the triangle are sent by followed by
Now let’s combine two reflections.
Let be reflection about the line and let be reflection about the line What symmetry do you get by applying first and then ?
Note: After the lines of reflection are set they do not change, even if the points they were originally based on change position.
In fact, we can combine any two symmetries of a shape by doing one after the other, and obtain a third symmetry of the shape. We express this with the following notation: If and are symmetries of a shape, , or sometimes just denotes the symmetry you get by applying first, and then We will call this new symmetry the product of and
For example, in the previous problem, if we let denote the reflection about let denote the reflection about and let denote clockwise rotation by then we can write the equation To really understand the symmetries of an object, we should know not only how many symmetries there are, but what the rules are for how they combine with each other. For the equilateral triangle, we could make a 6 x 6 “multiplication table” that tells you, for any two of the six symmetries of the triangle, what their product is. In the next problems, we will do exactly that for a slightly simpler object.
In the next few problems, we will work out the symmetry multiplication table for the letter I. For starters, how many symmetries does this letter have? (Remember to include the identity symmetry.)
We’ve seen that the letter I has four symmetries: A horizontal reflection (flipping across the blue line) a vertical reflection (flipping across the red line) rotation by and the identity transformation .
Let’s start working out the 4 x 4 multiplication table for this object!
What are and
So far, our multiplication table for the symmetries of the letter I looks like this:
This table, once it’s filled out, will be used to read off the product of symmetries. For instance, will appear in the row labeled and the column labeled although that entry hasn’t been filled out yet. We filled out the diagonals with because we saw in the last problem that and are all .
Let’s fill out the first row and column of the table. The first row has products like and which result from doing a transformation like or and then doing the identity. (Remember a product like means to do first.) The first column are products resulting from doing the identity first, and then some other transformation.
Which of the following correctly fills out the first row and column?
Now for some more interesting combinations! What are and (Hint: When we worked out the triangle, it was useful to see where the vertices went under the product. Here, it’s useful to see where the four “outer corners” of the letter I go.)
We’re almost done! So far we have the following table:
Fill out the remaining four spaces by working through the remaining products, etc.
We’ve made our first multiplication table--or what we will soon call a group table:
This table completely describes all products of the four symmetries of the letter I.
Let’s stop for a moment and do something completely different. (At least, it will seem completely different at first…)
Suppose we only have two numbers, 0 and 1. Suppose we consider addition “mod 2” on these numbers, which means that it works exactly as normal, except that 1 + 1 = 0. We could make a little table for this operation:
Now, let’s do the same thing to ordered pairs of 0’s and 1’s, like and How do you add two such pairs? Just add the -coordinates and -coordinates separately. (Remember that 1 + 1 is still 0.) So and
Here’s what the “addition table” for this operation on pairs looks like:
Do you see what the connection is between this addition table and the multiplication table we made for the letter I? Think about it, stare at both tables, and then turn to the next page for the answer…
To see the connection, suppose we rename the four ordered pairs. Let’s denote by by by and by . Then the addition table becomes:
This is the same table as the symmetries for the letter I, just with different variable names! In other words, the algebraic structure of the symmetries of the letter I is the same as the algebraic structure of ordered pairs of 0’s and 1’s under mod 2 addition. There is some underlying mathematical object that represents this structure… and we will call that object a group.
This particular table will be represented by something called the Klein four-group. We will encounter it again, along with many other interesting examples.