CEMC Banner

Grade 9/10 Math Circles
An Introduction to Group Theory Part 1 - Solutions

Exercise Solutions

Exercise 1

Consider the set \(\{-1,1\}\). Convince yourself that multiplication \(\times\) is a binary operation on \(\{-1,1\}\). Show that \((\{-1,1\},\times)\) is a group.

Exercise 1 Solution

To convince ourselves that multiplication is a binary operation on \(\{-1,1\}\), let’s check that the multiplication of any two elements of \(\{-1,1\}\) is again an element of \(\{-1,1\}\). Indeed, this is true since: \[(-1)\times (-1) = 1, \quad (-1)\times 1 = -1,\quad 1\times (-1) = -1, \quad 1\times 1=1.\] To show that \((\{-1,1\},\times)\) is a group we need to check that the 3 group axioms hold. Let’s go through each axiom:

Axiom 1: It doesn’t matter what order we multiply numbers in. So, associativity holds.

Axiom 2: The identity element is \(1\) because the multiplication of \(1\) with any number is that number again. In particular, \[1\times 1 = 1, \quad 1\times (-1) = -1 = (-1)\times 1.\]

Axiom 3: The inverse of \(-1\) is \(-1\) since \((-1)\times (-1) = 1\). The inverse of \(1\) is \(1\) since \(1\times 1 = 1\). This shows that every element in \(\{-1,1\}\) has an inverse.

Exercise 2

In Example 4 we saw that \((\mathbb{Z},+)\) is a group. Now consider multiplication \(\times\) on \(\mathbb{Z}\). Convince yourself that \(\times\) is a binary operation on \(\mathbb{Z}\). Is \((\mathbb{Z},\times)\) a group?

Exercise 2 Solution

We know that if \(a\in\mathbb{Z}\) and \(b\in\mathbb{Z}\), then \(a\times b= ab\in\mathbb{Z}\). So, multiplication is a binary operation on \(\mathbb{Z}\). Although multiplication is a binary operation on \(\mathbb{Z}\), \((\mathbb{Z},\times)\) is not a group. To show that \((\mathbb{Z},\times)\) is not a group, we need to show that at least one of the 3 group axioms does not hold. Axiom 1 is satisfied because it doesn’t matter what order we multiply numbers in. And Axiom 2 is satisfied because \(1\) is the identity element.
We claim that Axiom 3 does not hold. To show that Axiom 3 does not hold, we need to find at least one element of \(\mathbb{Z}\) that does not have an inverse. The element \(0\in\mathbb{Z}\) does not have an inverse because \(0\) times any number is \(0\), not 1. That is, for any \(a\in\mathbb{Z}\), \[0\times a = 0 = a\times 0\] which is not the identity element \(1\). So, \(0\) does not have an inverse. This shows that Axiom 3 does not hold and hence \((\mathbb{Z},\times)\) is not a group. In fact, the only element in \(\mathbb{Z}\) that has an inverse is \(1\). Can you show that any \(a\in\mathbb{Z}\) satisfying \(a\not\in\{0,1\}\) does not have an inverse?

Exercise 3

Recall that a rational number is of the form \(\frac{a}{b}\) where \(a,b\in\mathbb{Z}\) and \(b\) is not zero. Let \(\mathbb{Q}\) be the set of all rational numbers. And let \(\mathbb{Q}^\ast\) be the set \(\mathbb{Q}\) but with \(0\) removed. Recall that we multiply two rational numbers by \[\frac{a}{b}\times \frac{a'}{b'} = \frac{aa'}{bb'}.\] Convince yourself that multiplication \(\times\) is a binary operation on \(\mathbb{Q}^\ast\). Is \((\mathbb{Q}^\ast,\times)\) a group?

Exercise 3 Solution

Let \(a/b\in\mathbb{Q}^\ast\) and \(a'/b'\in\mathbb{Q}^\ast\). By definition of \(\mathbb{Q}^\ast\), \(b\) and \(b'\) are not zero and so \(bb'\) is not zero. Thus, the multiplication \[\frac{a}{b}\times\frac{a'}{b'} = \frac{aa'}{bb'}\] is in \(\mathbb{Q}\) since \(aa',bb'\in\mathbb{Z}\) and \(bb'\) is not zero. It remains to show that the multiplication of \(a/b\) with \(a'/b'\) is not zero. Well, since these elements are not zero, \(a\) and \(a'\) are not zero. Then \(aa'\) is not zero, and so \(aa'/bb'\) is not zero. So, \(aa'/bb'\in\mathbb{Q}^\ast\). We conclude that multiplication is a binary operation on \(\mathbb{Q}^\ast\). We claim that \((\mathbb{Q}^\ast,\times)\) is a group. Let’s go through each group axiom:

Axiom 1: It doesn’t matter what order we multiply numbers in. So, associativity holds.

Axiom 2: The identity element is \(1=1/1\) because the multiplication of \(1\) with any number is that number again. In particular, for any \(a/b\in\mathbb{Q}^\ast\), we have that \[1\times \frac{a}{b} = \frac{a}{b} = \frac{a}{b}\times 1.\]

Axiom 3: We need to show that every element in \(\mathbb{Q}^\ast\) has an inverse. So, let \(a/b\in\mathbb{Q}^\ast\). Because \(a\) and \(b\) are not zero, the element \(b/a\) is also in \(\mathbb{Q}^\ast\). We compute that \[\frac{a}{b} \times \frac{b}{a} = \frac{ab}{ba} = \frac{ab}{ab} = 1,\] and similarly \[\frac{b}{a}\times\frac{a}{b}=1.\] This shows that \(b/a\) is the inverse of \(a/b\). So, every element in \(\mathbb{Q}^\ast\) has an inverse.

Exercise 4

An equilateral triangle is a triangle whose 3 sides all have the same length. The triangle in Example 6 is an equilateral triangle. Write down all of the symmetries of an equilateral triangle

Exercise 4 Solution

The complete list of symmetries of an equilateral triangle are as follows:

In words, these symmetries are:

  1. The "do nothing symmetry", which is the same as rotation by \(360\) degrees. This is labelled as the "identity symmetry" because it is the identity element of the group \((\text{Sym}(T),\circ)\), where \(T\) is an equilateral triangle (we will see this in Exercise 5).

  2. Counter clockwise rotation by \(120\) degrees

  3. Counter clockwise rotation by \(240\) degress.

  4. Reflection in the axis that goes through the center and top tip of the triangle.

  5. Reflection in the axis that goes through the center and left tip of the triangle.

  6. Reflection in the axis that goes through the center and right tip of the triangle.

Note that clockwise rotations by multiples of \(120\) degrees are also symmetries. However, these symmetries are already in the above list. For example, rotation clockwise by \(120\) degrees is the same as counter clockwise rotation by \(240\) degrees. If you prefer, you can replace "counter clockwise" with "clockwise" in the above list, it doesn’t matter at all. Also note that rotations by \(n120\) degrees with \(n\geq 4\) are symmetries. Again, they are already in the above list. For example, counter clockwise rotation by \(480\) degrees is the same as counter clockwise rotation by \(120\) degrees.

Exercise 5

Let \(T\) be an equilateral triangle. In Exercise 4 you computed \(\text{Sym}(T)\). Convince yourself that \((\text{Sym}(T),\circ)\) is a group.

Exercise 5 Solution

We need to convince ourselves that the 3 group axioms hold for \(\text{Sym}(T)\) with composition. Let’s go through each axiom:

Axiom 1: For all \(P,Q,R\in\text{Sym}(T)\), we need \((P\circ Q)\circ R\) to be the same symmetry as \(P\circ(Q\circ R)\). Proving this is a bit tough given our current tools, so let’s do a concrete example to see why it works.

Let \(P\) be counter clockwise rotation by \(120\) degrees, let \(Q\) be reflection in the axis that goes through the center and top tip of the triangle, and let \(R\) be counter clockwise rotation by \(240\) degrees. These symmetries are illustrated as follows:

An arrow labelled P points from an equilateral triangle with top 1, bottom-left 2, bottom-right 3 to one with top 3, bottom-left 1, bottom-right 2. An arrow labelled Q points from 1,2,3 to 1,3,2. An arrow labelled R points from 1,2,3 to 2,3,1.

The compositions \(P\circ Q\) and \(Q\circ R\) are computed to be:

An arrow labelled P circle Q points from an equilateral triangle with top 1, bottom-left 2, bottom-right 3 to one with top 2, bottom-left 1, bottom-right 3.

An arrow labelled Q circle R points from an equilateral triangle with top 1, bottom-left 2, bottom-right 3 to one with top 2, bottom-left 1, bottom-right 3.

We see that these two compositions are the same symmetry, and they are equal to the symmetry that reflects in the axis going through the center and right tip of the triangle. Using these compositions, we compute \(P\circ (Q\circ R)\) and \((P\circ Q)\circ R\):

In a first illustration, arrow Q circle R points from a triangle with tips labelled 1,2,3 to one labelled 2,1,3, then arrow P points from here to another triangle labelled 3,2,1. In a second illustration, arrow R points from 1,2,3 to 2,3,1, then arrow P circle Q points from here to 3,2,1.

We see that \(P\circ(Q\circ R) = (P\circ Q)\circ R\), as desired. They are equal to the symmetry that reflects in the axis going through the center and left tip of the triangle:

Axiom 2: The identity element in \(\text{Sym}(T)\) is the "do nothing" symmetry. Here is an illustration of the identity element:

An arrow labelled Identity symmetry points from a triangle with tips labelled 1,2,3 to an identical triangle with tips labelled 1,2,3.

Let \(P\) be any symmetry of \(T\). If you do nothing to \(T\) and then apply \(P\), it’s the same as just applying \(P\) to \(T\). Similarly, if you apply \(P\) to \(T\) and then do nothing, it’s the same as just applying \(P\) to \(T\). So indeed, this is the identity element \(\text{id}_{\text{Sym}(T)}\).

Let’s do a concrete example where \(P\) is chosen to be counter clockwise rotation by \(120\) degrees. Here is the composition \(P\circ\text{id}_{\text{Sym}(T)}\):

1,2,3 becomes 1,2,3 after the identity symmetry, which then becomes 3,1,2 after a counterclockwise rotation by 120 degrees.

We see that this composition is just \(P\). Here is the composition \(\text{id}_{\text{Sym}(T)}\circ P\):

1,2,3 becomes 3,1,2 after a counterclockwise rotation by 120 degrees, which then becomes 3,1,2 after the identity symmetry.

Again, we see that this composition is just \(P\).

Axiom 3: We need to show that every element in \(\text{Sym}(T)\) has an inverse. For this, it will be helpful to recall the elements of \(\text{Sym}(T)\) from Exercise 4.

First consider the symmetries that are reflections. The inverse of a reflection is itself. In other words, if \(R\in\text{Sym}(T)\) is a reflection then the inverse of \(R\) is \(R\), that is \(R^{-1}=R\). This is because if we reflect in the same axis twice, it’s the same as doing nothing. Here is a concrete example:

1,2,3 becomes 1,3,2 after a reflection in the line through the top vertex and midpoint of the opposite side, which then becomes 1,2,3 after a reflection in the line through the top vertex and midpoint of the opposite side.

We see that this composition is just \(\text{id}_{\text{Sym}(T)}\). Next, consider symmetries that are rotations. If \(S\in\text{Sym}(T)\) is a rotation, then by Exercise 4, it’s counter clockwise rotation by \(n120\) degrees for some \(n\in\{0,1,2\}\). The inverse of counter clockwise rotation by \(n120\) degrees is the symmetry that reverses this rotation, which is clockwise rotation by \(n120\) degrees. Note that clockwise rotation by \(n120\) degrees is the same symmetry has counter clockwise rotation by \((360 - n120)\) degrees. Here is a concrete example where we take \(n=1\):

1,2,3 becomes 3,1,2 after a counterclockwise rotation by 120 degrees, which then becomes 1,2,3 after a counterclockwise rotation by 240 degrees. Also, 1,2,3 becomes 2,3,1 after a counterclockwise rotation by 240 degrees, which then becomes 1,2,3 after a counterclockwise rotation by 120 degrees.

We see that these two compositions are just \(\text{id}_{\text{Sym}(T)}\).

Exercise 6

Consider the benzene molecule below and denote it by \(BM\). The benzene molecule is a shape, and so \((\text{Sym}(BM),\circ)\) is a group. Chemists study the symmetries of molecules such as \(BM\), and classify molecules according to their symmetry group. The study of such symmetries can be used to predict or explain chemical properties of a molecule.

Four black spheres are placed around a circle and adjacent spheres are joined by rods forming a shape like a hexagon. Each black sphere is also joined by a rod to one of six smaller white spheres arranged in a circle outside the hexagon.

Write down the symmetry group of the benzene molecule \(BM\). In other words, write down the elements of \(\text{Sym}(BM)\).

Exercise 6 Solution

The complete list of symmetries of the benzene molecule are as follows:

Identity symmetry; 5 counterclockwise rotations by 60, 120, 180, 240 and 300 degrees; 3 reflections in axes through the midpoints of two opposite sides of the hexagon shape; 3 reflections in axes through two opposite vertices of the hexagon shape.