I’m Sorry
I’m sorry. I know I said I wouldn’t make any posts about math but this is the only one, I promise. Anyway, my motivation for writing this was that Group Theory is considered one of the hardest undergraduate math classes. But the ideas in introductory group theory are actually very simple. And moreover, in a standard undergraduate course, there aren’t even that many ideas. What makes group theory hard is that there is so much new terminology being thrown out that it can be hard to decipher what is even being said.
To the newcomer, learning group theory is kind of like trying to read Jack and the Beanstalk in French with only a French to English dictionary. You would understand each word individually but by the last word in a sentence you likely would have forgotten what the sentence was about in the first place. So even though the story of Jack and the Beanstalk is not that complex, you might finish the story with not idea about what happened at all. Learning group theory, there are so many new terms that you have to constantly be flipping to different pages to your notes to reference different definitions and in the process you lose sight of what is really happening. (Group Theory is definitly not the only area of mathatics like this. I think its just one of the worse offenders)
Really, the only answer to this problem seems to be just doing a lot of excersises until you eventually internalize all the definitions but I would like to try and cheat. It probobly won’t work and trying to not include terminology will just make everything harder to understand but I have nothing better to do with my time.
So these are my sparse notes containing as little terminology as possible and only focusing on the fundamental ideas. Really, there are only a couple ideas needed to understand group theory at this level but these ideas are often lost in traditional texts, shrouded by mountains of terminology and theorems that are actually obvious if you understand the fundamental ideas. So if you can get through these notes and really understand them, then I think you should be able to learn all the rest of undergraduate group theory very quickly.
These notes are written at a basic level so anyone that has taken precalc should be able to understand everything. This does mean I simplified some stuff a little which to a mathematician would probably be heresy but I don’t think it will affect your understanding at all.
I alluded to this above but I wan’t to make explicit these are very short notes and nowhere near all of a standard course in Group Theory. Just what I think is the most important and a very solid foudation for understanding everything else.
What is a Group?
A group is set together with a binary operation . A binary operation just means that you can combine any two elements to get another element. Addition and Multiplication of numbers are both binary operations. As we’ll see lots of sets of numbers are also groups. Anyway, in order to be a group the binary operation must satisfy the following requirements.
- Associativity:
- Identity: There exists a unique element of the group called the identity, we will always refer to it as 1, so that for any element of the group
, we have
- Inverse: For any element of the group
, there exists a unique element of the group
that satisfies
.
This is a lot to digest so let’s spend some time understanding what this actually means. First, from now on we will refer to the binary operation as “Multiplication” This doesn’t mean multiplication in the traditional sense you are used to. We just use it because we want a shorthand for “using the binary operation to compose two elements.” To avoid confusion, I will write traditional multiplication if I mean the traditional multiplication of numbers you are used to.
Associativity just means that the order of how you multiply doesn’t matter. This means we eschew parenthesis so we will write as
and we will actually just drop the
because it is annoying to write. So it will just be
.
In addition, . In traditional multiplication
. The identity is a way to generalize this idea to groups.
In addition, . In traditional multiplication,
. (As long as “something” is not zero of course). Again, inverses are a way to generalize this idea to groups.
Notice that communitivity is not one of the requirements for something to be a group. This means that in some groups it is not always true that .
Lets look at some examples.
Example 1. Real numbers where the “multiplication” is addition. Here, 0 is the identity and negatives serve as inverses. (This might be confusing because we usually denote the identity as but in this case it is
and
is just some random element with not special importance.
Example 2. Real numbers where the “multiplication” is traditional multiplication. Actually, this not technically a group. (why?) Because, while 1 is an identity and is the inverse for most
, notice that there is no inverse for zero. There is no number that we can multiply zero by to get 1. Okay, so the real numbers using traditional multiplication is almost a group but not quite. But if we just removed zero our problems are solved. So the real numbers without zero is a group where the “multiplication” is traditional multiplication.
Example 3. The integers where the “multiplication” is addition.
Okay, these past examples are all things you are probably familiar with and they turn out to be groups. Next were going to get into groups that are really close to numbers but you might not have seen it before, after that we will look at examples of groups that are nothing like numbers. Additionally, from now on, all groups we will examine will be finite. And assume all groups I am talking about are finite. (Being finite just means having finitely many elements).
Example 4. Mod 5 where the “multiplication” is addition. Mod 5 means the elements of the group are the non-negative integers less than 5, and if you would add two numbers and get something greater than 5, you take the remainder modulo 5 instead. So for example,
3+4 =2
2+4=1
3+2 =0
and
2+2 =4
The identity is 0 and the inverse of something is 5-something (unless something is 0, in which case the inverse of 0 is 0). So the inverse of 4 is 1 and the inverse of 3 is 2. Obviously “5” can be replaced by any positive integer and you will be left with a group.
Example 5. Mod 5 where the “multiplication” is traditional multiplication and the elements are 1,2,3,4 (notice 0 is not an element of this group). This is the same as mod 5 with addition except you multiply instead of add. So for example.
and
The identity is . The existance of invereses might not be obvious but notice that is sufficies to see that for any
implies (why?) But notice that
is equivilant to
which can only happen if . Notice that mod n does not always form a group under multiplication though. For example in mod 4, 2 does not have a multaplicative inverse. See if you can find necissary and sufficient conditions for mod n to be a group with traditional multiplication.
Now we’re going to see some groups that don’t look anything like numbers at all.
Example 6. Permutation on 4 elements. The elements of the group are the permutations of which recall are just, 1234, 1243, 1423, 4123, 1324, 1342, 1432, 4132 ect. (You get the idea). We can interpret a permutation as one-to-one correspondence between the set
and itself by interpreting the permutation where a
is in the
th place as
. So for example, 1432 would be the function where
and
And 4321 would be the function where
and
hopefully you get the idea. Multiplication is just function composition so
This is the first example where the multiplication isn’t commutative; notice that
The identity is the identity function 1234 and the inverse is just the inverse function. For example the inverse of 1432 is 1432.
Playing With Groups
Lets just tinker around a little to get a feeling for how groups behave.
Suppose that in some group
.
We can multiply both sides of this equation on the right by . So we’re left with
.
This is an important example of a property of groups and that is that by using inverses, we can essentially cancel two terms that are the same on both sides of an equation.
Subgroups: Start with a random group and some
that is an element of
. What if we multiply
by itself? Then we get another element of
. We’ll call this
. Okay lets multiply that by
. Now we’re left with
which we’ll call
. And we can keep doing this generating a sequence
. Now, remember earlier we said we will assume that groups are finite. This means that at some point our sequence must start repeating. So we have
for
. Using the cancellation we saw above, we are left with
Assuming that there is no positive integer less than $k-j$ satisfying , we see that the elements
actually forms a group on its own. And this looks awfully similar to mod
. This is what we call a subgroup. A subgroup is a subset of a group that itself forms a group. Not all subgroups arise by multiplying an element by itself though. For example, if you start with any subset of elements
of a group, then the set of all elements you can get by only multiplying together elements from
will form a subgroup. (If it is not clear I meant with replacement. So
or even
would be in the subgroup)
Using the notation above, what is . Well, this is just
and that is just
so we see that the exponent-like notation for groups works the same way we are used to with numbers. Similarly, so multiplying both sides on the right by
yields
which we will write as like we are used to with numbers.
If we’re given two groups, can we smash them together to make one big group? Of course we can. For two groups and
, we define the catesisan product of
and
to be the group
. In other words for any
in
and
in
, we can put them together to make an element
of
. See if you can figure out what the multiplcation is before I tell you. Okay, here it is, for
in
and
in
,
Verify that this is in fact a group.
Understanding the Homomorphism
So far we have looked at individual groups. Now, we turn our attention to examining how we can find similarities between different groups. To do this we use functions.
We could study any old function between groups but if we don’t put any contraint on them then we’re not using the fact that these are groups. They might as well just be sets.
Instead we focus on Homomorphisms. A Homomorphism is a function between groups that preserves the group structure. What does this mean? Well since we wanted to study similarites between different groups, we want to look at functions where you can multiply stuff and then apply the function, or apply the function and then multiply stuff and end up with the same result.
Fomrally, a Homomorphism is function between two groups satisfying.
Just this constraint makes sure that the function preserves a lot of stucture. For example notice that
And we can use the cancellation property we saw above to deduce that
Additionally,
so
Next, lets start with an observation. If and
, then
. Aditionally, if
then
. Therefore the set of all elements of a group that get mapped to
by a homomorphism form a sub-group.
Now, suppose that this subgroup is . Notice that for any element
in the group,
And the same is true for any of the . The converse is also true. Suppose that
. Then we have
Therefore, . In particular this mean that exactly
elements of our group get mapped to
. Since
was arbitrary, this means that for any element that can get mapped to by our homomorphism, there are exactly
elements of the group that map to it.
We can also partition the elements of a group into Equivalence Classes by what they map to for some homomorphism. What we just saw above is that each of these equivalence classes are the same size and that two elements are in the same equivalence class if and only if
Or to put it into perhaps simpler terms, there exists a such that
and
. We call these equivilance classes the Quotient of the group by the subgroup. This is written
for a group
and subgroup
.
So really what a Homomorphism does, is take a subgroup and wraps it up into one element. Then other elements of the group also get wrapped into one thing if they “differ” by some element of the subgroup.
For example, take the homomorphism that maps mod 10 into mod 5 by for
, and
for
. Or put more simply, just takes mod 5. The subgroup that maps to
is $\latex \{0, 5\}$, and the equivilance classes are
. See how the homomorphism is taking mod 10 and squishing it down to mod 5.
What happens if no squishing is taking place? What if, for some homomorphism, the only element that maps to
is
. And moreover ever element of the group
maps to can get mapped to using
. Then nothing is really happening at all. The group getting mapped to and the group getting mapped from are basically the same.
is just renaming elements. We’re just taking an element
and disguising it as
but it still behaves exactly like
. If you put glasses on a cat, its still a cat. In this case we say the homomorphism is an Isomorphism. And if there exists an isomorphism between two groups, we say the groups are Isomorphic.
Always rememebr, Isomorphic basically just means the same. No squishing.
Wouldn’t it be nice if the quotient of a group by a subgroup was a group? Unfortunately. If the subgroup is , then we would like there to exist an
in
so that
for any and
in
and
latex H$. Certaintly it would be true if the group were communative but remember that groups don’t necissarily have to be. We don’t even need communativity, we just need to slide that
to the left of the
and we don’t mind if in the process we turn the
into a different element of
. What we need is there to exist and
in
so that
or more concisly, for any and
in
,
This allows us to slide that right past the
. In this case we say the subgroup
is Normal in
. Just like in real life, being normal is a desirable property.
Actions
How can we use group theory in our everyday lives? We can’t, but it can be useful in other areas of mathematics. One of these ways is with actions.
We can think of an action as a way to multiply elements of a group by elements of a structureless set which will in turn give structure to the set. It satisfies some properties to make sure being a group matters:
An Action of a group on a set
is a function
from
into
(which will be written
instead of
because that’s annoying to write) which satisfies for any
and
in
and
in
.
Actions are used to solve the Rubik’s Cube. See math is valuable in real life.
I won’t talks anymore about actions beyond stating their definition because most of their introductory theory is very similar to what we have seen already with Homomorphisms. The excersises will provide a way to get an understanding of actions.
Excersises
These excersises might be too hard but I couldn’t find easier ones so deal with it.
1. Show that the intersection of two subgroups is a subgroup.
2. Find necissary and sufficient conditions for mod n with traditional multiplication to be a group.
3. (Legrend’s Theorem) For a group and subgroup of
,
. Show that the number of equivilance classes in the quotient of
by
divides the number of elements in
.
4. The order of an element of a group is the smallest positive integer
such that
. Show that the order of each element divides the number of elements in the group.
5. If a group has an even number of elements show that the number of elements of order 2 is even.
6. Show that if is a homomorphism from
to
and
is a homomorphism from
to
then the composition
is a homomorphism.
7. A group is abelian if its elements commute i.e.
for all
in
. If
is an abelian group and its elements are
, show that
8. Prove the Second Isomorphism Theorem:
Let be a group. Let
be a subgroup of
, and let
be a normal subgroup of
. Then the following hold:
- The product
is a subgroup of
,
- The intersection
is a normal subgroup of
, and
- The quotient groups
and
are isomorphic.
9. Suppose we have a group , a set
, and an action
of the group on the set. Show for any
that
(Note that |A| denotes the number of elements in a set )
10. Suppose we have a group , a set
, and an action
of the group on the set. An orbit of
under the action
is a set of the form
|where
. If
is the number of distinct orbits of
, Show that
11. (Hard) Prove Cauchy’s Theorem: If is a prime number and
divides the number of elements in a group
, then there exists a subgroup of
with exactly
elements.
12. (Hard) Prove Sylows 1st theorem: If is a prime number and $p^k$ divides the number of elements of group
, then the number of elements.
13. (Hard) Show that all Abelian groups are isomorphic to a unique product of cyclic groups.
14. (Really Really Really Hard) Show that if are finite groups and
is isomorphic to
then
and
are isomorphic.
(Funny/Infuriating Story: When I took this course last year, the teacher was trying to prove a theorem. I sketched a proof in my head using this claim (I thought is should be simple to prove and I had a sketch of the claim in my mind) and went back to doing something else. Like 30 minuets later I looked up and the professor was still doing the same proof. He was struggling and looked confused I raised my hand and offered my outline. The professor told me it wouldn’t work because this claim wasn’t true. I was puzzled because it seemed so intuitivly obvious. I tried to actually prove it but realized that the obvious technique did not work. After class I asked the professor if he could explain to me why it wasn’t true or offer a counterexample. He told me it wasn’t true because the obvious method to try to prove it didn’t work! He even went through the work of doing the obvious method which I told him I had already tried and when it didn’t work he exclained “See this doesn’t work. The claim isn’t true.” This was a a professor of mathematics. I went home and looked up the claim online and sure enough it was true.)