## The First Isomorphism Theorem

The meat of our last primer was a proof that quotient groups are well-defined. One important result that helps us compute groups is a very easy consequence of this well-definition.

Recall that if are groups and is a group homomorphism, then the image of is a subgroup of . Also the *kernel* of is the normal subgroup of consisting of the elements which are mapped to the identity under . Moreover, we proved that the quotient is a well-defined group, and that *every* normal subgroup is the kernel of the quotient map . These ideas work together to compute groups with the following theorem. Intuitively, it tells us that the existence of a homomorphism between two groups gives us a way to relate the two groups.

**Theorem:** Let be a group homomorphism. Then the quotient is isomorphic to the image of . That is,

As a quick corollary before the proof, if is surjective then .

*Proof. *We define an explicit map and prove it is an isomorphism. Let be an arbitrary coset and set . First of all, we need to prove that this definition does not depend on the choice of a coset representative. That is, if , then . But indeed, , since for any coset we have by definition if and only if .

It is similarly easy to verify that is a homomorphism:

It suffices now to show that is a bijection. It is trivially surjective (since anything in the image of is in a coset). It is injective since if , then and hence , so the coset is the identity element. So is an isomorphism.

Let’s use this theorem to compute some interesting things.

Denote by the group of symmetries of the regular -gon. That is, is the symmetry group of the regular octagon and is the symmetry group of the square (the notation is because this group always has order ). We want to relate to . To do this, let’s define a homomorphism by sending a one-eighth rotation of the octagon to a one-fourth rotation of the square , and using the same reflection for both (). It is easy to check that this is a surjective homomorphism, and moreover the kernel is . That is, .

Here is a more general example. If are groups of relatively prime order, then there are no nontrivial homomorphisms . In order to see this, note that as a simple consequence of Lagrange’s theorem. Indeed, by the first isomorphism theorem this quantity is equal to . So . That is, the order of divides the order of . But it also divides the order of because is a subgroup of . In other words, the order of is a common factor of the orders of and . By hypothesis, the only such number is 1, and so and is the trivial group.

We will use the first isomorphism theorem quite a bit on this blog. Because it is such a common tool, it is often used without explicitly stating the theorem.

## Generators

One extremely useful way to describe a subgroup is via a set of generators. The simplest example is for a single element.

**Definition: **Let be a group and . Then the *subgroup generated by* , denoted , is the smallest subgroup of containing . More generally, if then the subgroup generated by is the smallest subgroup containing .

This definition is not quite useful, but the useful version is easy to derive. On one hand, the identity element must always be in . Since and it’s a subgroup, we must have that . Moreover, all powers of must be in the subgroup, as must all powers of the inverse (equivalently, inverses of the powers). In fact that is all that is necessary. That is,

For finite groups, this list of elements will terminate. And in fact, the inverse of will be a power of as well. To see this, note that if we keep taking powers of , eventually one of those will be the identity element. Specifically, some power of must repeat, and if then . Hence .

For subgroups generated by more than one element, these subgroups are more difficult to write down. For example, if then may have a nontrivial relationship. That is, even though all possible products involving and are in the subgroup, it is very difficult to determine whether two such products are the same (in fact, one very general formulation of this problem is undecidable!). Often times one can find a set of generators which generates the entire group . In this case, we say is generated by those elements.

A familiar example is the symmetry group of the square. As it turns out this group is generated by , where is a quarter turn and is a reflection across some axis of symmetry. The relationship between the two elements is succinctly given by the equality . To see this, try holding our your hand with your palm facing away; rotate your hand clockwise, flip it so your fingers are pointing left, rotate again so your fingers are pointing up, and then flip to get back to where you started; note that the two flips had the same axis of symmetry (the up-down axis). The other (obvious) relationships are that and . If we want to describe the group in a compact form, we write

This is an example of a *group presentation. *The left hand side is the list of generators, and the right hand side gives a list of *relators*, where each one is declared to be the identity element. In particular, the existence of a presentation with generators and relators implies that all possible relationships between the generators can be decuded from the list of relators (kind of like how all relationships between sine and cosine can be deduced from the fact that ). Indeed, this is the case for the symmetry group (and all dihedral groups); there are only three distinct equations describing the behavior of rotations and reflections.

Here’s a quick definition we will often refer to in the future: a group is called *cyclic* if it is generated by a single element. Here are some interesting exercises for the beginning reader to puzzle over, which are considered basic facts for experienced group theorists:

- Every subgroup of a cyclic group is cyclic.
- There is only one infinite cyclic group: .
- Every finite cyclic group is isomorphic to for some .

Finally, we will call a group *finitely generated* if it is generated by a finite set of elements and *finitely presented* if it has a presentation with finitely many generators and relators. Just to give the reader a good idea about how vast this class of groups is: many basic conjectured facts about finitely generated groups which have “only” one relator are still open problems. So trying to classify groups with two relators (or finitely many relators) is still a huge leap away from what we currently understand. As far as this author knows, this subject has been largely abandoned after a scant few results were proved.

## Products and Direct Sums

Just as one does in every field of math, in order to understand groups better we want to decompose them into smaller pieces which are easier to understand. Two of the main ways to do this are via direct products and direct sums.

**Definition:** Let be groups. The *product group* is defined to have the underlying set (pairs of elements), and the operation is defined by entrywise multiplication in the appropriate group.

Of course, one must verify that this operation actually defines a group according to the usual definition, but this is a simple exercise. One should note that there are two canonical subgroups of the direct product. Define by the projection onto the first coordinate (that is, ). This map is obviously a homomorphism, and its kernel is the subgroup of elements . That is, we can identify as a subgroup of . Identically, we see with that is a subgroup of .

Note that this allows us to make some very weird groups. For instance, by induction a single direct product allows us to define products of arbitrarily many groups. Note that reordering the terms of such a product does not change the isomorphism class of the group (e.g. ). Additionally, there is nothing that stops us from defining *infinite product* groups. The elements of such a group are sequences of elements from the corresponding multiplicands. For example, the group is the group of sequences of integers, where addition is defined termwise and the identity is the sequence of all zeroes.

Now infinite products can be particularly unwieldy, but we may still want to talk about groups constructed from infinitely many pieces. Although we have no motivation for this, one such example is the group of an elliptic curve. In order to tame the unwieldiness, we define the following construction which takes an infinite product, and allows only those elements which have finitely many non-identity terms.

**Definition: **Let be a family of groups. Define the *direct sum* of the , denoted by , to be the subgroup of of elements where all but finitely many are the identity in the corresponding .

[As a quick side note, this is mathematically incorrect: since the family of groups need not be countable, the may not be enumerable. One can fix this by defining the elements as *functions* on the index set instead of sequences, but we are too lazy to do this.]

Note that we can define a direct sum of only finitely many groups, and for example this would be denoted , but finite sums are trivially the same as finite products. In fact, in this primer and all foreseeable work on this blog, we will stick to finite direct sums of groups, and implicitly identify them with direct products.

Finally, in terms of notation we will write for a direct product of with itself times, and for the direct sum of with itself times. As we just mentioned, these two are identical, so we will just default to the former for simplicity of reading.

One might wonder: why do we even distinguish these two constructions? The answer is somewhat deep, and we will revisit the question when in our future series on category theory. For now, we can simply say that the distinction is in the case of infinite products and infinite sums, which we won’t discuss anyway except for in passing curiosity.

## The Classification of Finitely Generated Abelian Groups

Now we have finally laid enough groundwork to state the first big classification theorem of group theory. In words, it says that any finitely generated abelian group can be written as a direct sum of things isomorphic to and for various choices of . Moreover, the choices of are related to each other.

In particular, the theorem is stated as follows:

**Theorem:** Let be a finitely generated abelian group. Then is isomorphic to a group of the form:

Where are (not necessarily distinct) primes. Moreover, is completely determined by the choices of primes and exponents above.

In particular, we name these numbers as follows. The part of the equation is called the *free* part, the exponent is called the *rank* of , and the numbers are called the *primary factors.*

The proof of this theorem is beyond the scope of this blog, but any standard algebra text will have it. All we are saying here that every finitely generated abelian group can be broken up into the part that has infinite order (the free part) and the part that has finite order (often called the *torsion* part), and that these parts are largely disjoint from each other. For finite groups this is a huge step forward: to classify all finite groups one now only needs to worry about nonabelian groups (although this is still a huge feat in its own).

A quick application of this theorem is as follows:

**Corollary: **Let be a finitely generated abelian group which has no elements of finite order. Then has no nontrivial relators except for those enforcing commutativity.

*Proof. *Indeed, for some , and it has a presentation , which has no nontrivial relators.

Borrowing the free terminology, such groups without relators are called *free abelian groups*. Indeed, there are also nonabelian “free” groups, and this is the last topic we will cover in this primer.

## Free Groups, and a Universal Property

Equivalently to “a group with no relators,” we can define a *free group *as a group which has presentation for some potentially infinite family of elements . If the number of generators is finite, say there are of them, then we call it *the free group on * *generators*.

The interesting thing here is that all possible products of the generating elements are completely distinct. For example, the free group on two generators contains the elements , along with infinitely many others. The only way that two elements can be the same is if they can be transformed into each other by a sequence of inserting or deleting strings which are trivially the identity. For example, , but only because of our cancellations of , which holds in every group.

There is another way to get free groups, and that is by taking *free products*. In particular, the group is the free group on a single generator. Given two copies of , we’d like to combine them in some way to get . More generally, given any two groups we’d like to define their *free product* to be the group which contains all possible words using elements in or , which has no nontrivial relators, except for those already existing among the elements of and before taking a product.

Rigorously, this is very easy to do with group presentations. Give presentations for and , and define the free product by giving a presentation

For instance, the free product has presentation . One interesting fact is that even if are finite, as long as one is nontrivial then the free product will be an infinite group. Another interesting fact, which we’ll explore in future posts on category theory, is that the free product of groups is “the same thing” as the disjoint union of sets. That is, these two operations play the same role in their respective categories.

This “role” is called the *universal property* of the free product. We will use this directly in our post on the fundamental group, and in general it just says that homomorphisms provided on the two pieces of the free product extend uniquely to a homomorphism of the product. The simpler form is the universal property of the free group, which says that the free group is the “most general possible” group which is generated by these generators.

**Theorem (Universal Property of the Free Group): **Let be a set of elements, and let be the free group generated by the elements of . Then any set-function where is a group extends uniquely to a group homomorphism .

That is, deciding where the generators should go in carries with it all of the information needed to define a homomorphism , and it is uniquely determined in this way. To see this, simply see that once are determined, so are

The corresponding property for free products is similar:

**Theorem (Universal Property of the Free Product):** Let be groups, and let be group homomorphisms. Then there is a unique group homomorphism from the free product of the to , i.e. .

The idea is the same as for the first universal property: the free product is the most general group containing the as subgroups, and so any group homomorphism from the product to another group is completely determined by what happens to each of the multiplicand groups.

Moreover, we can take a free product and add in extra relators in some reasonable way. This is called an *amalgamated free product*, and it has similar properties which we won’t bother to state here. The important part for us is that this shows up in topology and in our special ways to associate a topological space with a group.

After these two short primers, we have covered a decent chunk of group theory. Nevertheless, we have left out a lot of the important exercises and intuition that goes into this subject. In the future, we will derive group-theoretic propositions we need as we go (in the middle of other posts). On the other hand, we will continually use groups (and abelian groups, among others) as an example of a category in our exploration of category theory. Finally, when we study rings and fields we will first lay them out as abelian groups with further structural constraints. This will shorten our definitions to a manageable form.