## 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.)