*in which we meet group homomorphisms.*

As a small add-on from last time, we started by proving that the subgroups of the integers are exactly the sets of multiples . We then had a detour on **functions** from **domain** (or source) to **codomain** (or target) . We saw how to compose functions, when they are the same, and what **injective**, **surjective** and **bijective** functions are. Our examples included the identity function and the inclusion map, as well as a few others. We noted (but didn’t prove) that bijective functions have inverses with and . Our main definition today was that of a **group homomorphism**: a function between two groups which preserves the group structure, meaning that for all . This means it does not matter whether we first combine two elements in and then send the result over to , or whether we send the elements separately to and combine them there. We call bijective group homomorphisms** isomorphisms**. Examples of homomorphisms include identity, inclusion of a subgroup, the exponential map , and the determinant of a matrix.

**Understanding today’s lecture**

Practice Sheet C is the last one you’ll get from me, so you should get used to making easy exercises like that for yourself if you need them. Playing around with functions seeing if they are homomorphisms or not is very useful. And you can also keep asking yourself if you meet a function “is it injective, surjective, bijective?” Perhaps you might investigate what the difference is between and . Are they the same function/homomorphism or do they have different properties? Does it matter which one we use? Sheet C asks you something about a **constant function**: that is a function that sends all the elements in the domain to the *same* element in the codomain, i.e. everything gets mapped to the same single element.

**Going a little deeper**

The style of proof we saw for the fact that the subgroups of are exactly is one we will meet again. It crucially uses the fact that any subset of natural numbers has a *smallest *element. This is a very special property of the natural numbers, and you will see more about it in Numbers and Sets, I expect. Look out for (or google) the Peano Axioms or why Proof by Induction works.

In modern mathematics, it is always important to know “what kind of functions belong to what kind of objects”. So when we study groups, one of the first questions we should ask ourselves is: what functions belong to groups, i.e. what functions preserve the group structure? We have asked a group homomorphism to preserve the group operation. But is that the only thing that makes a group a group? What about the identity and inverses? You might think about this before next time.

**Preparing for Lecture 4:**

Next time we will prove some properties of group homomorphisms, and learn about images and kernels. These are special subgroups related to a group homomorphism. If you haven’t done the exercise “The composite of bijective functions is bijective.” yet, now would be a good time to try it. Can you think of some properties you would like group homomorphisms to have so that we can truly say “they preserve the group structure”?