Dana C. Ernst
Summer 2009
Dana C. Ernst
Summer 2009
Observation 1.2
Every move is reversible.
Observation 1.3
Every move is deterministic.
Observation 1.4
Moves can be combined in any sequence.
Rule 1.6
Every action is reversible.
Rule 1.7
Every action is deterministic.
Rule 1.8
Any sequence of consecutive actions is also an action.
Dana C. Ernst
Summer 2009
There are several solution techniques for the Rubik’s Cube. If you
do a quick Google search, you’ll find several methods for solving
the puzzle.
1 2
4 3
Using only the two valid moves, scramble your rectangle. Any
sequence of horizontal and vertical flips will do, but don’t do any
other types of moves.
Now, again using only our two valid moves, try to return your
rectangle to the solved position.
Observations?
Rule 1.6
Every action is reversible.
Rule 1.7
Every action is deterministic.
Rule 1.8
Any sequence of consecutive actions is also an action.
Using our multiple copies of the rectangle, some colored yarn, and
some sticky notes, let’s see what we can come up with. (Someone
remind me to take a picture when we are done.)
We see that:
• the group has two generators: horizontal flip and vertical flip.
Each generator is represented by the two different colors of
yarn;
• the group has 4 actions: the “do nothing” action, horizontal
flip, vertical flip, and 180◦ rotation (r = h ◦ v = v ◦ h);
• the map shows us how to get from any one configuration to
any other (there may be more than one way to follow the
yarn).
D.C. Ernst Chapter 2
It is important to note that how we choose to layout our map is
irrelevant. What is important is that the connections between the
various states are preserved. However, we will attempt to construct
our maps in a pleasing to the eye and symmetrical way.
The official name of the type of group road map that we have just
created is Cayley diagram, named after the 19th century British
mathematician Arthur Cayley.
Let’s map out another group, which we’ll call the 2-Light Switch
Group. Here are the details:
• Consider two light switches side by side that both start in the
off position.
• We are allowed 2 actions: flip L switch and flip R switch.
In small groups, map out the 2-Light Switch Group using paper
and yarn just like we did for the Rectangle Puzzle. (I suggest using
U and D to denote “light switch up” and “light switch down”,
respectively.)
Any group with the same Cayley diagram as the Rectangle Puzzle
and the 2-Light Switch Group is called the Klein 4-group, and is
denoted by V4 for vierergruppe, “four-group” in German. It is
named after the mathematician Felix Christian Klein.
D.C. Ernst Chapter 2
It is important to point out that the number of different types
(i.e., colors) of arrows is important. For example, the following
Cayley diagram does not represent V4 .
Dana C. Ernst
Summer 2009
Follow the steps of Definition 3.1 to find the group that describes
the symmetry of the molecule and draw a possible Cayley diagram.
The wonderful picture in Figure 3.8 (page 30) shows the result of
repeating indefinitely the crystal cube from Figure 3.7.
··· ···
Because this frieze pattern extends infinitely far to the left and
right, we are presented with a new type of manipulation that
preserves the footprint and the physical integrity of the frieze. This
new action is called a glide reflection and consist of a horizontal
translation (by the appropriate amount) followed by a vertical flip.
Note that for this pattern, a vertical flip all by itself does not
preserve the footprint, and so is not one of the actions of the
group of symmetries.
Comments
• The symmetry of any frieze pattern can be described by one
of 7 different infinite groups. It turns out that some of the
frieze groups are isomorphic (i.e., have the same structure)
even though the visual appearance of the patterns may differ.
• The symmetry of 2-dimensional repeating patterns, called
wallpaper patterns, has also been classified. There are 17
different wallpaper groups.
Dana C. Ernst
Summer 2009
1 2 2 1
4 3 3 4
4 3 3 4
1 2 2 1
Do you see any other paths that represent this same action?
e h
v vh
Note that we could also have labeled the node in the lower right
hand corner as hv , as well. I’ll emphasize this again later, but it is
important to point out that this phenomenon (i.e., order of
generators does not matter) does not always happen.
e h
v vh
∗ e v h vh
e
v
h
vh
We will also use standard set theory notation. For example, we will
write things like
h ∈ V4
to mean “the element h is an element of the group V4 .”
The fancy way of saying this is that the set is closed under the
binary operation.
Our fancy word for the “do nothing action” is identity. We can
really use whatever symbol we want to denote the identity of a
group, but common choices are e, 1, 0, and N.
Using all of our new fancy notation, we can write expressions like
gg −1 = e and g −1 g = e.
D.C. Ernst Chapter 4
Let’s explore these ideas a little more with one of our common
examples. Recall that the Cayley diagram for the group of
symmetries of the triangle (S3 or D3 ) is as follows.
r2 r
hr hr 2
Dana C. Ernst
Summer 2009
The cyclic groups describe the symmetry of objects that have only
rotational symmetry. Here are a couple of examples of objects that
only have rotational symmetry (taken from Figure 5.1 of Visual
Group Theory).
Cn = h1i.
Cn = hr i.
0 → 1 → 2 → ··· → n − 1 → 0
0
0 1
2 1 3 2
Observations?
Conjecture
Any number from {0, 1, . . . , n − 1} that is relatively prime to n will
generate Cn .
There are probably many things worth commenting on, but one of
the most important properties of the multiplication tables for cyclic
groups is as follows.
r2 r
hr hr 2
Do you see any copies of the Cayley diagram for any cyclic groups
in this picture?
D.C. Ernst Chapter 5
Starting at e, the red arrows lead in a cycle around the inside of
the diagram. We refer to this cycle as the orbit of the element r .
Orbits are usually written with braces. In this case, the orbit of r is
{e, r , r 2 }.
{g k : k ∈ Z}.
This set is not necessarily infinite as we’ve seen with the finite
cyclic groups.
hr
element orbit
hr 2 h
e {e}
e
r {e, r , r 2 }
r2 {e, r 2 , r }
h {e, h}
r2 r hr {e, hr }
hr 2 {e, hr 2 }
Definition
A group is called abelian (named after Neils Abel) if the order in
which one performs the actions is irrelevant (i.e., the actions
commute). That is, a group is abelian iff ab = ba for all a and b in
the group.
How can we use the Cayley diagram for a group to check to see if
the corresponding group is abelian?
∗ ∗
The pattern on the left never appears in the Cayley graph for an
abelian group, whereas the pattern on the right illustrates the
relation ab = ba.
D.C. Ernst Chapter 5
Are cyclic groups abelian? The answer is yes.
One way to see that this is true is to observe that the left
configuration on the previous slide can never occur (since there is
only one generator).
All the actions of Cn are also actions of Dn , but there are more
actions than that. How many actions does Dn have?
f
f
e
e
fr r3 r fr 3
r2 r r2
fr fr 2
fr 2
(Note that the author usually switches the inner and outer cycles
from how they are drawn here; of course, it doesn’t matter.)
Because they are easy to write down and deal with, we will usually
refer to permutations of positive integers (just like we did when we
numbered our rectangle, etc.).
1 2 3 4 1 2 3 4
1 2 3 4 1 2 3 4
What should
1 2 3 4
followed by
1 2 3 4
be equal to?
1 2 3 4 + 1 2 3 4 = 1 2 3 4
1 2 3 4
is simply
1 2 3 4
The only major concern is that our “half” must be closed (all
other necessary properties are inherited from Sn ).That is, we must
choose half the elements of Sn such that the combination of any
two results in a permutation that is also in our chosen set.
1 2 3 + 1 2 3 = 1 2 3
The permutation
1 2 3
is a square in S3 .
Definition
The group of squares from Sn is called the alternating group and is
denoted An .
We’ll see later why we called this group the “alternating” group.
Note that An has order n!/2.
shape group
Tetrahedron A4
Cube S4
Octahedron S4
Icosahedron A5
Dodecahedron A5
How do we do this?
Dana C. Ernst
Summer 2009
r2 r
fr fr 2
Definition 6.2
When one group is completely contained in another, the smaller
group is called a subgroup of the larger group. When H is a
subgroup of G , we write H < G .
hr i = {e, r , r 2 } < S3 .
r2 r
fr fr 2
We see that
hf i = {e, f } < S3 .
It turns out that all of the subgroups of S3 are just cyclic orbits,
but there are many groups that have subgroups that are not cyclic
orbits.
For example, the following figure (taken from Figure 6.6 on page
102 of Visual Group Theory) highlights the repeated copies of
hf i = {e, f } in S3 .
{e, f , r 2 , fr 2 }, {r , r 3 , fr , fr 3 } .
| {z } | {z }
original copy
The meaning of aH: start from the node a and follow all paths in
H.
r hf i = r {e, f } = {r · e, r · f } = {r , fr 2 }.
Obervation 6.6
If b ∈ aH, then aH = bH.
The element that we choose to use to name the coset if called the
representative. We refer to the cosets of the form aH as left cosets
because we are multiplying the elements of H on the left.
Ha = {ha : h ∈ H}.
hf ir = {e, f }r = {e · r , f · r } = {r , fr }
and
hf ir 2 = {e, f }r 2 = {e · r 2 , f · r 2 } = {r 2 , fr 2 }.
It turns out that in this example, the left cosets for hf i were
different than the right cosets. Thus, they must look different in
the Cayley diagram.
One of the most important things that we should take away from
the last example is that left and right cosets are generally different.
In all the examples that we’ve seen, not only is every element in
one of the cosets of a subgroup H, but each element appears in
exactly one left or right coset. This is true in general. That is, the
left (respectively, right) cosets of a subgroup H form a partition of
the parent group.
Theorem 6.7
If H < G , then each element of G belongs to exactly one left coset
of H.
Proof. Suppose that there exist g ∈ G such that g ∈ aH and
g ∈ bH. By Observation 6.5, gH = aH and gH = bH. But then
we must have aH = bH, which shows that our arbitrary g lies in a
unique coset (with possibly many different names). 2
Proof. Suppose there are n left cosets of the subgroup H. Since all
of the left cosets of H are the same size and these left cosets
partition G , we must have
|G |
[G : H] =
|H|
Dana C. Ernst
Summer 2009
There are two main topics that we will discuss in this chapter.
1. direct products: this process will provide us with a method for
making larger groups from smaller groups.
2. quotients: this process will provide us with a method for
making smaller groups from larger groups.
Let me mention straight away before we even describe these
processes that we can always form a direct product of two groups.
However, we cannot always take the quotient of two groups. In
fact, quotients are restricted to some pretty specific circumstances
as we shall see.
Here are some examples (take from Figure 7.1 on page 118 of
VGT).
But what is A × B?
It takes quite a bit of skill to pick the right layout for the nodes to
get “pretty” representations of the direct product. However, pretty
or not, what really matters is the relationships among the nodes,
not how they are laid out.
Let’s see if we can label the nodes of our Cayley diagram for
C4 × C3 .
Here’s how I think of the direct product of two cyclic groups, say
Cn × Cm : Imagine a slot machine with two wheels, one with n
spaces (numbered 0 through n − 1) and the other with m spaces
(numbered 0 through m − 1).
The actions are: spin one or both of the wheels. Each action can
be labeled by where we end up on the first wheel and where we
end up on the second wheel: say (i, j).
We saw how we can use direct products to form larger groups from
smaller groups. Now, we discuss the opposite procedure, which is
called taking a quotient.
Again, consider the group A4 . But this time, let’s try to divide by
its subgroup H = hai. In this case, H is a cyclic subgroup of order
3.
The figure on the next slide (taken from Figure 7.26 on page 138
of VGT) shows the result of trying to divide A4 by H = hai.
Are the right cosets the same as the left cosets? The answer is no.
For example, following blue arrows out of any single coset scatters
the nodes.
Recall that:
• each left coset gH is the set of nodes that H arrows can reach
from g (which looks like a copy of H at g );
• each right coset Hg is the set of nodes to which the g arrows
take the elements of H.
NG (H) = {g ∈ G : gH = Hg }.
We see that no right coset coincides with a left coset other than
hai itself. Thus, NA4 (hai) = hai.
Dana C. Ernst
Summer 2009
However, we’ve never really spelled out the details about what this
means. In this chapter, we’ll finally nail down what an isomorphism
really is.
The following figure (taken from Figure 8.1 on page 158 of VGT)
illustrates this correspondence.
Often Greek letters are used to name maps between groups. For
our example, let’s use φ. We write φ : C3 → S3 to say that φ maps
C3 to S3 .
We can think of the θ(1) arrow as the path consisting of two red
arrows in succession. So, θ doubles both numbers and arrows.
We see that
and
θ0 (0) = θ0 (1 + 2) = θ0 (1) + θ0 (2) = 4 + 2 = 0.
In this case, C4 ∼
= {i, −1, i, −i}.
D.C. Ernst Chapter 8
Quotient maps
Let’s determine:
1. the image of the rest of the elements
2. Ker (φ)
What is Q4 /Ker (φ)? Do you notice any relationship between
Q4 /Ker (φ) and Im(φ)?