An unconventional intro to group theory
June 26, 2020.I mean, we could start with the definition and axioms of a group (Wikipedia), but this is tiny theorems. The goal is to achieve intuition through tiny theorems rather than through big definitions.
I’m just going to repeat my short preface on group theory here:
In my short experience: when learning group theory for the first time, it is not about learning what the abstract notion of group is. It’s more about studying specific groups which will show up in all the other theories (field theory, Galois theory, representation theory, etc).
To understand this, we first need to talk about the parallel history of group theory.
In this section, we detail a parallel history of group theory.
Historically, the modern notion of group came about in several seemingly-unrelated lines of thought:
- (1800s) Gauss’ study of modular arithmetic
- …which led to his notion of groups (modern-day finite abelian groups)
- (1820s) Galois’ study of algebraic solutions to polynomial
equations
- …which led to his notion of groups (modern-day symmetric groups).
- (1840s) Cauchy’s study of permutation theory
- …which led to his notion of groups (modern-day permutation groups).
- (1870s) Klein’s study of non-euclidean geometric
transformations
- …which led to his notion of groups (modern-day symmetry groups)
It just happens that all these notions of groups have commonalities. For example, you can talk about
- Gauss’ primitive roots modulo n, or
- Galois’ proper decompositions, or
- permutation theory’s even permutations, or
- geometric translations of the plane.
Modern group theory characterizes all of these as normal subgroups of their respective groups. This means if we want to talk about an operation that works on all four of these groups, then we don’t need to have a special version of the operation for each group – we could just talk about that operation on, for example, normal subgroups. Similarly, the modern-day group abstracts away the similarities of these various groups, a process that started with Cayley. To this tiny timeline, we might add:
- (1850s-70s) Cayley’s study of abstract groups, via permutation groups and matrix groups
…which led to our modern notion of groups today.
Sources: U of St Andrews, C.K. Fong via Carleton University (PDF)
In this section, we approach group theory without looking at big definitions.
I find a lot of group theory texts start from the abstract definition without introducing this history. For me, this historical view of “group theory saving you from having to define four different operations” does really well when it comes to thinking about groups.
One of my bigger mistakes was being way too caught up in abstract laws, like the group axioms I never mentioned at the top of this page. That was something I had to unlearn. It’s not abstract groups and laws that are important at first – it’s the relationships between specific groups and specific things.
Let’s start by looking at permutations, and use those to arrive at the definition of a group.
In this section, we define and explore permutations.
A permutation of a set is a reordering of elements and is often written like this: . This permutation maps , , , , , and finally . The set we’re permuting here is some set of integers that includes .
This notation is called disjoint cycle notation; is a cycle. You can think of them as functions taking an integer to another integer. More complex permutations are composed of cycles via right-to-left function composition: the permutation swaps and , and then swaps and . The identity permutation (which does nothing) can be written as a length cycle consisting of any element, like .
In this section, we compose and invert permutations.
Consider the permutation . This first swaps and , and then swaps and . Since the net effect is the same as the cycle , we consider them to be the same permutation, in the sense that the set is a set consisting of one element.
In group theory, the important thing to focus on is not the set of integers that these permutations are operating on, but rather manipulating the permutations themselves. In this case, we can see that the composition of two permutations and is equal to another permutation . If you think of permutations as objects instead of functions, we have combined two objects into one (via function composition). This idea is very important.
The second important idea is that every permutation can be “undone” by an inverse permutation. For instance, the inverse permutation of is . You can tell that it is the inverse because their composition is always the identity permutation .
So far we’ve shown three facts:
- Composing two permutations gives you another permutation.
- There is an identity permutation that does nothing when composed.
- For every permutation, there is an inverse.
When these three facts are true for a set of permutations on elements, we call it a permutation group. In particular, the set of all possible permutations on a set of elements is known as the symmetric group . I consider the permutation group foundational, but before we see why, let’s see more examples of groups.
In this section, we decompose permutations.
Every permutation can be described using cycle notation, a composition of cycles in which every element of the set we’re permuting appears exactly once. For example, the permutation on the set can be represented as , where and are both identity permutations that show that they are unaffected (“fixed”) by the permutation. This form is also known as a product of disjoint cycles.
You can always decompose any cycle of length or more, like , into a product of -cycles, also known as transpositions. In general, this “decomposition into transpositions” is not unique. For instance: As you can see, this -cycle can be decomposed into any even number of transpositions. The first two forms are standard ways to decompose a cycle, while the third is just some random product of transpositions that happen to compose into .
It is a theorem that odd-length cycles decompose into an even number of transpositions, and even-length cycles decompose into an odd number of transpositions. We’ll prove this for all permutations:
Let’s express the identity as a product of transpositions , and let be an arbitrary element that is moved by one of the transpositions. This means that appears in for some . Let be the transposition containing the rightmost occurrence of . Note that cannot ever be the leftmost , since that would mean there is only one occurrence of in the product, meaning the product doesn’t fix and is therefore not the identity .
So let be the transposition to the left of . If doesn’t include , then we can freely flip the ordering with and try again with being the new transposition to the left of . Eventually we’ll find some that contains , since otherwise there would again be only one occurrence of in the decomposition meaning that is not fixed by the identity .
Then, using the fact that , we can continue moving (in the form ) to the left of . There are two cases:
- contains . In this case, use that as the new and repeat with being the transposition to the left of the new .
- doesn’t contain . This can only happen if , so our original is the identity, leaving us with a product that is length . Then by induction on we eventually obtain either or . is not possible since the identity is not a transposition, therefore we end at by repeatedly subtracting from , showing that can only be even.
- Towards contradiction, assume that the permutation can be decomposed into both an even and an odd number of transpositions. Let be the even decomposition and be the odd decomposition.
- Then since , we can write . Since this is an even number of transpositions composed with an odd number of transpositions, the total is an odd number of transpositions.
- But by the lemma above, cannot be composed of an odd number of transpositions, contradiction.
Thus we can always refer to a permutation as either even or odd. If can be decomposed into an even number of transpositions it is an even permutation, otherwise it is an odd permutation.
Recall that the symmetric group is the set of all permutations on elements where three facts hold:
- Composing two permutations gives you another permutation.
- There is an identity permutation that does nothing when composed.
- For every permutation, there is an inverse.
Note that if you take the set of all even permutations on elements, these three facts still hold:
- Composing two even permutations gives you another even permutation.
- There is an (even) identity permutation that does nothing when composed.
- For every even permutation, there is an inverse even permutation.
This set is known as the alternating group .
In this section, we look at characterizations of the cyclic group .
Let’s look at permutations again.
The following set of permutations, , is “cyclic” in the sense that “multiplying” any element by will give you the next item in the set. For instance, , and . You can also multiply by to get the previous element instead.
Now let’s look at some different structures, which are similar in many ways:
The set of th roots of unity, , is “cyclic” in the sense that multiplying any element by will give you the next item in the set. For instance, , and . You can also multiply by to get the previous element instead.
This set of integers mod , , is “cyclic” in the sense that multiplying any element by will give you the next item in the set. For instance, , and . You can also multiply by to get the previous element instead.
This set of rotation matrices, , is “cyclic” in the sense that multiplying any element by will give you the next item in the set. For instance, , and . You can also multiply by to get the previous element instead.
In general, these all correspond to the same set where multiplication by gives you the next item in the set, and so multiplying by gives you the previous item. Later we’ll recognize this as the cyclic group of order . A cyclic group is a group defined by a single generator which, by taking all products and inverses, generates all the elements of the group. Order means that there are elements of the group.
Why elements? Normally, taking all products and inverses of an arbitrary symbol gives you the infinite set . This cyclic group is known as the infinite cyclic group.
The cyclic group of order , however, is a finite cyclic group. All finite cyclic groups are essentially the infinite cyclic group together with a relation , in this case . Here, is the order of the group.
In this section, we finally define groups as a generalization of the above.
In general, groups are sets together with some product defined that follows three rules:
- (identity) There is an identity element whose product with any element gives the same element .
- (closure under product) Taking the product of two elements gives you another element in the set, denoted .
- (closure under inverse) Every element has an inverse in the set, denoted , such that the product of any element with their inverse is the identity.
When these three are true, is known as a group. For example, the integers under addition form a group. The following articles will dive into all aspects of groups, which I hope you’ll find interesting.
In this section, we outline some properties of groups.
Every group has a product but we usually write as just .
There are a couple properties we know just from the axioms of a group:
- The product of any with the identity is equal to .
- The product of any with its inverse is equal to
- The inverse of a product is equal to .
Since , it follows that and are inverses.
We will talk about groups in the abstract in the following explorations, where we will use these properties extensively.