Group theory is an important area in mathematics that studies objects known as groups. Groups show up all over mathematics, and even appear in unexpected places. For example, we can solve a Rubik’s Cube using group theory! Group theory also has many important applications in physics and chemistry. As an example, consider the following Benzene molecule from chemistry:
In your head, imagine rotating the molecule by multiples of 60 degrees, or reflecting the molecule along axes that go through the center and 2 spheres. Notice that the Benzene molecule appears the same after performing these actions. In other words, the molecule is unchanged. We call such actions symmetries. We will see later on that these symmetries actually form a group! Chemists use symmetries of molecules, like the benzene molecule, to try and predict or explain their properties. In this lesson, we define what a group is and look at a special class of groups called symmetry groups.
Briefly put, a group is a set together with an operation that follows some specific rules, which are called group axioms. Before we define a group, we need to define what a set and a binary operation on a set are.
A set is a collection of objects (e.g., numbers, symbols, shapes). We refer to the objects in a set as elements of the set.
Let \(S\) be a set.
We write \(\boldsymbol{x\in S}\) to mean that \(x\) is an element of the set \(S\). The symbol \(\in\) is read as "is an element of" or "is in".
We write \(\boldsymbol{x\not\in S}\) to mean that \(x\) is not an element of the set \(S\). The symbol \(\not\in\) is read as "is not an element of" or "is not in".
The collection of all integers is a set which we denote by \(\mathbb{Z}\). We write this set as \[\mathbb{Z} = \{ ...,-3,-2,-1,0,1,2,3,...\}.\] It is true that \(5\in\mathbb{Z}\) as \(5\) is an integer. However, \(1/2\not\in\mathbb{Z}\) as \(1/2\) is not an integer.
The collection of letters in the english alphabet form a set. We write this set as \[\mathcal{A}=\{a,b,c,d,...,w,x,y,z\}.\] It is true that \(h\in\mathcal{A}\) as \(h\) is a letter in the alphabet. But \(2\not\in\mathcal{A}\) as \(2\) is a number, not a letter.
For our purposes, an operation is a "machine" that takes in one or more inputs, and produces an output.
A binary operation on a set is an operation that takes in two elements of the set and outputs another element of the set.
If \(S\) is a set and we use \(\bullet\) to refer to a binary operation on \(S\), then \(a\bullet b\) is the element in \(S\) that we get after applying \(\bullet\) to the elements \(a\in S\) and \(b\in S\).
Note: Depending on what \(S\) and \(\bullet\) are, \(a\bullet b\) is not always equal to \(b\bullet a\).
Binary often refers to 2 things, or a pair of things. And in mathematics, an operation roughly means combing a bunch of things in some way to produce something new. So, binary operation means combing 2 things to make another thing.
Addition is a binary operation on \(\mathbb{Z}\) because if we add any two integers together we get another integer. In symbols, if \(a\in\mathbb{Z}\) and \(b\in\mathbb{Z}\), then \(a+b\in\mathbb{Z}\). The "machine" here takes in two integers \(a\) and \(b\), and outputs the integer \(a+b\).
Now that we familiarized ourselves with sets and binary operations, we are ready to define a group.
A group is a set \(G\) together with a binary operation \(\bullet\) on \(G\) such that the following rules hold:
(Associativity) For every \(a,b,c\in G\), \[(a\bullet b)\bullet c = a\bullet(b\bullet c).\]
(Identity element) There exists \(\text{id}_G\in G\) such that for all \(a\in G\), \[\text{id}_G\bullet a = a=a\bullet \text{id}_G.\]
(Inverse element) For every \(a\in G\), there exists \(a^{-1}\in G\) such that \[a\bullet a^{-1} = \text{id}_G = a^{-1}\bullet a.\]
We often write \((G,\bullet)\) for the group \(G\) with binary operation \(\bullet\). Given a group \((G,\bullet)\), we call \(G\) the underlying set of the group. Also, we refer to rules 1-3 as the group axioms.
Let’s go through each group axiom individually! For a concrete example, we will see that the group axioms hold for \(\mathbb{Z}\) with the binary operation addition.
Axiom 1 says that the operation is associative. Associative means that rearranging the parentheses in an expression will not change the end result. In other words, the order in which we evaluate operations doesn’t matter. Addition on the integers is associative. For example \[5+(2+3) = 10 = (5+2)+3.\]
Axiom 2 says that the underlying set \(G\) contains a special element, which we call the identity element. We denote the identity element by \(\text{id}_G\). This element is special because if we use the operation on any element in \(G\) and the identity, we get that element back. For example, consider addition on \(\mathbb{Z}\). We know that \[0+a = a = a+0\] for any integer \(a\). For instance, \(0+6=6=6+0\). So \(\text{id}_\mathbb{Z}=0\) for \(\mathbb{Z}\) with addition. In general, note that the identity element of a group is unique. That is, if \((G,\bullet)\) is a group then \(\text{id}_G\) is the only element in \(G\) that satisfies the property in Axiom 2. Because of this, it’s okay to say that \(\text{id}_G\) is the identity element of \((G,\bullet)\).
Axiom 3 says that every element in the underlying set \(G\) has an inverse. The inverse of an element in \(G\) is another element in \(G\), such that when we use the operation on both, we get the identity element \(\text{id}_G\). For example, consider \(\mathbb{Z}\) with addition. We know that \[a+(-a) = 0 = (-a) + a\] for any integer \(a\). For instance, \(6+(-6) = 0 = (-6) + 6\). So, \(-a\) is the inverse of \(a\). In general, note that if the inverse of \(g\in G\) is \(g^{-1}\in G\), then the inverse of \(g^{-1}\) is \(g\).
If a set \(G\) and binary operation \(\bullet\) satisfy these 3 axioms, then \((G,\bullet)\) is a group!
\((\mathbb{Z},+)\) is a group, where \(+\) is addition.
Solution:
We know from Example 3 that addition is a binary operation on \(\mathbb{Z}\). So, we just need to check that the 3 group axioms in Definition 4 hold.
We know that it doesn’t matter what order we add numbers in. So the first axiom holds.
Recall that if we add any integer to zero, we just get the integer back. That is, for any integer \(a\in\mathbb{Z}\) we have that \(a+0 = a = 0+a\). This means that \(0\) is the identity element. So the second axiom holds.
If \(a\in\mathbb{Z}\), then \(-a\in\mathbb{Z}\) and \((-a)+a=a+(-a) = a-a=0\). This means that \(-a\) is the inverse of \(a\). So the third axiom holds.
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.
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?
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?
At the beginning of the lesson, we said that certain rotations and reflections of the Benzene molecule form a group. In fact, they form a special kind of group called a symmetry group. For the reminder of the lesson we are going to explore symmetry groups and see how the rotations and reflections of the Benzene molecule form a group!
What does the word symmetry mean to you? Have you heard it before? If so, where?
If you think back, you may have learnt that the monarch butterfly exhibits what we call symmetry. If you look up the word "symmetry" there are all sorts of definitions, but they all amount to a sense of balance and harmony. The monarch butterfly exhibits balance in the sense that both of it’s wings are the same. Imagine drawing a vertical line between the two wings of the butterfly. You can see that the same image appears on both sides of the line, with the only difference being that each side looks like the opposite side after being flipped over the line. Here we say that this imaginary line is a line of symmetry.
Source: PNGWING. The Monarch Butterfly Insect [Online]. Available from: https://www.pngwing.com/en/free-png-dguvl [Accessed March 19 2023].
Source: Tes for Teachers. Symmetry Lessons [Online]. Available from: https://www.pinterest.ca/pin/329114685250253709/ [Accessed March 19 2023].
Look at the flower in Figure 3. Do you see the symmetry that the flower has? What are the lines of symmetry for this flower?
In mathematics, we like to make our definitions as precise as possible. A "sense of harmony and balance" isn’t a very precise definition for symmetry.
In mathematics, a symmetry of a shape is an action (e.g., rotation, reflection) such that when applied to the shape you get the shape back.
There are other types of actions in mathematics, but for our purposes, we will only be considering rotations and reflections.
Consider the butterfly in Figure 3. Reflection in the line of symmetry discussed earlier is a symmetry of the butterfly because when we reflect the butterfly in this line it is unchanged.
Consider the image below. We label the tips of the left triangle with numbers to help us keep track of actions performed on the triangle. In other words, the numbers help us see how actions move the triangle. For example, in this image we see that if we rotate the left triangle counter clockwise by 120 degrees, we end up with the triangle on the right. This action sends tip 1 to where tip 2 was, tip 2 to where tip 3 was, and tip 3 to where tip 1 was.