For a short explanation of this type of post, go here.
In this post I’m using Dummit and Foote  and Wikipedia for reference. As a minor disclaimer some of Dummit and Foote’s proofs are more general. I made a few extra assumptions that at least in my understanding still give us results that are sufficiently powerful for our purposes. As with all these theorems the proofs are simple. I have omitted large chunks, mostly the parts I consider verification, but if you’re following along I would recommend at least mentally checking off properties. Dummit and Foote actually introduce quotient groups using homomorphisms rather than defining normal subgroups and then quotient groups but while I think that’s a reasonable approach I don’t think it’s how most people first learned the concept. I went with the traditional approach of beginning with normal subgroups.
Anyway, let’s get on to the material. First a brief and common lemma will make my life a bit easier:
Lemma 1 When is a group and , we have
Proof: If then for some , and we have , so . Conversely if then for some we have so .
As a last comment, in case this notation isn’t standard, Dummit and Foote use to say is a subgroup of , to say is a normal subgroup of , and to say is isomorphic to .
Theorem 2 (The First Isomorphism Theorem) Let be a surjective homomorphism. Then and . For ease of writing we’ll let be .
Proof: First we’ll verify that .
- Closure: For we have , so .
- Identity: Since for any we have , and so .
- Inverses: For any we have , but since we also have that and so .
To show that we just need to show that where is well-defined, a homomorphism, injective, and surjective.
- Well-defined: If , then by lemma 1 and so , , , and finally , so which means that is well defined.
- Homomorphism: Since , is a homomorphism of groups.
- Injective: This amounts to reversing the proof that is well defined: We have , so we can conclude by lemma 1 and so is injective.
- Surjective: For any there exists a such that since is surjective, and so , so is surjective.
Dummit and Foote also point out an immediate consequence of this theorem that sort of sheds some light on its utility:
Corollary 3 If is a group homomorphism then is injective iff .
Proof: If isn’t surjective then we need only consider its image, so we can just assume that it is. If is injective then it’s a bijection so the statement is obvious. If then and so is an isomorphism, so it’s injective.
Where is , , is defined as , and is defined as . We can think of as , and while this doesn’t immediately appear helpful, in the case where we can see that this is actually a lot of information about , since it fixes , in this case . By relating to this composition we preclude the idea that it might be mapping elements in an unequal fashion because of Lagrange’s theorem. In my mind I think of this as saying that the set of homomorphisms on are in some sense equivalent to the set of normal subgroups, although this is mostly speculation.
The next two theorems heavily utilize the first, so hopefully the result makes sense. We’ll see some application
Theorem 4 (The Second Isomorphism Theorem) Let be a group and let with normal. Then , , and .
Proof: The first two claims are a matter of verification, so I’ll skip those. As a result of those claims those we know that is a normal subgroup of so is well defined. For the other quotient group is normal in by assumption and since it’s also normal in (note that this is not guaranteed for some where ).
Here’s an outline of what we’re going to do. We want to show that , and we know that . So it would be ideal if we could define a such that . If we do this then by the first isomorphism we’ll be done.
An obvious guess at how to define is to let . Since all our quotient groups are legitimate this is well-defined and everything, and it’s easy to show that it’s a surjective homomorphism. Really all that remains to be shown is that . The identity of is , so the kernel of is the set of elements where . By lemma 1 this implies that , and so the kernel of is the set of elements in but also in by definition, so . So we have a such that with , so by the first isomorphism theorem we’re done.
I was actively trying to apply the first isomorphism theorem in that proof. I’m sure there are more direct ways to prove it, but I don’t think this one is too bad. It basically illustrates a situation where if you define a homomorphism you can make some non-obvious statements about the structure of . In this case the second isomorphism theorem was here to tell me how to fit the pieces together to make the result seem nice, but the idea is more general. Here’s the relevant part of the lattice diagram of , where quotient groups formed by subgroups joined by the red lines are isomorphic.
Dummit and Foote also call this the diamond isomorphism theorem. The third isomorphism theorem, stated next, is another example of showing isomorphism by defining the appropriate homomorphism.
Theorem 5 (The Third Isomorphism Theorem) Let be a group with and . Then and .
Proof: Again I’ll leave it to the reader to verify the first part. The last part is more fitting pieces into the first isomorphism theorem. Let be defined by which can be verified as a surjective homomorphism. Then is the set of cosets of the form such that , by again by lemma 1 this implies that , so the kernel is the set of cosets of the form , better known as the elements of , and so by the first isomorphism theorem we’re done.
Putting aside the obvious jokes about canceling the , after the first isomorphism theorem we pretty much went back to our symbol-manipulating ways. We could work through some examples of groups but I think there is only limited utility in that. A real application of the theorems is more desirable, and these do come up in solvable groups if I recall correctly. This gives me an excuse to get sidetracked in the Galois theory proof that quintics are not solvable in radicals. Personally this is one of my favorite results in all of math, which is why I was looking for an excuse to go learn about it.
Some authors, Dummit and Foote included, have a fourth isomorphism theorem that for a group and normal subgroup shows a bijection between the subgroups of which contain and the subgroups . I don’t think this is any less useful than the other theorems, but I think enough algebra has been covered for our purposes. Next time I will write a little bit about definitions in topology, a subject I have no more than a week of formal education in, so despite the elementary level it will be a challenge. After that I will try to talk a little about Hilbert’s Nullstellensatz and basis theorem (which I am only marginally more educated in), and then we should be ready to at least attempt a foray into our end goal of algebraic geometry.
 Dummit and Foote. Abstract Algebra, third edition, pages 97-99. Published 2004.
Used for the statement of isomorphism theorems.