Recall that a homomorphism was a structure preserving function that need not be injective or surjective (unlike an isomorphism). Structure preserving is completely captured algebraically by the identity holding for all .
Let be a homomorphism, and and be the identity elements of G and H respectively. Then
- ; and
- for all .
These are both standard results. Before continuing: have a go at proving these.
What do we know of ? The property that uniquely defines it is that for every . Thus and so is an element such that, for every , . We could proceed in several ways, but here are two.
First way: and so .
Second way: observe that, since it holds for all , we may set . Then . From earlier, the only idempotent (an element such that ) in a group is its unique identity element. Hence .
For the other proof, note that for any
so that is the (unique) inverse of .
Exercise: use these results to show, given any such that we have that . Then consider what you’ve shown (hint: the first equality is equivalent to ).
Of course, the above also applies to isomorphisms, since these are homomorphisms with the additional property that they are injective and surjective. Let’s consider these two definitions. Another word for injective is one-to-one. I think this really captures the definition. It means that each element in G is sent to one element in H. But it needn’t be surjective. A surjective map is one that ‘hits’ every point in H (every point in H has at least one preimage in G). Try and come up with an injective function from to that is not surjective. Using addition with , is your map a homomorphism? Can you find one?
Definition a monomorphism is an injective homomorphism.
Note that mono means one (in the same way as in sound systems: it’s the opposite to stereo sound) and so monomorphism meaning a one-to-one homomorphism makes sense. Also an injection can be thought of as an embedding: if G injects into H then every point of G is put somewhere different within H. Thus H can ‘cover’ G.
You can also have surjective functions that are not injective, for example from to . There’s a reason I haven’t asked you to find a surjective homomorphism from to that isn’t injective, which we’ll see in a bit. In the same way as injections are like embeddings, a surjection can be thought of as a covering. If G surjects onto H, then G can ‘cover’ every point in H. You can visualise this as G ‘covering up’ H. Note that this is the dual (opposite) to being injective. These visualisations fit with the standard notation: if is injective we write and if it is surjective we write .
Definition an epimorphism is a surjective homomorphism.
These ideas hint at a definition that we will not use, but I include for interest.
Definition Let G be a group. Then it is Hopfian if every surjective homomorphism from G to G is injective. It is co-Hopfian if every injective homomorphism from G to G is surjective.
This is quite a difficult definition. But in order to understand it, let’s have a play.
Example 1. If G is finite, then it is Hopfian and co-Hopfian. Why? This comes from a broader fact. If X is a finite set and is a function from X to X, then injective implies that is surjective. Moreover surjective implies that injective. Since a homomorphism is a function with an extra property (structure preserving) we obtain the result.
Example 2. is Hopfian but not co-Hopfian. The second statement follows from the exercise above: we can find an injective homomorphism that is not surjective. Think about this for a bit. Spoiler: this function is a monomorphism from to . The fact that is not co-Hopfian is the reason I didn’t ask you to find a surjective homomorphism from to that wasn’t injective: there isn’t one!
I think I’ll give some more examples and proofs in a later post, since these definitions are more of a distraction from what we’re really looking at.
It’s worth noting at this point that if is a homomorphism, then needn’t be isomorphic to a subgroup of G. In order to justify this we need just one example. is a nice group, so let’s play with that. What do subgroups of look like? Are they all cyclic? Before continuing: find a homomorphism from to a finite group.
So what’s the answer? Imagine if and , the identity element of G. Since is a homomorphism, we have (for every ) that . Moreover
So if , then we have that consists of 3 elements: . What’s the group? It’s cyclic. It has order 3. Hence it is . But be careful! We don’t know what G is. For example G could be for any group H, since then
, and .
Can you see how general the above example is? Which other cyclic groups does surject onto?
In the next post we’ll consider whether there is an epimorphism from to .