iTutor Math Updates
- Details
- Written by Super User
- Hits: 225
I'm reading the chapter in my abstract algebra book about homomorphisms between two groups. It states as a theorem:
Let f : G --> H be a homomorphism. Then,
(i) The kernel of f is a normal subgroup of G.
(ii) The range of f is a subgroup of H.
I don't understand part (ii). How could that not work? The function f is defined to be from G to H, and being a homomorphism the function must be surjective but not necessarily injective. So it seems to me that the range of f has to be exactly the group H.
My only possible guess is that homomorphisms don't have to be surjective? Say the function from Z6 to Z3:
0 1 2 3 4 5
0 1 2 0 1 2
Here, every element of Z3 has at least one correspondence in Z6. Are they saying this might not always be true for one group that is a homomorphic image of another?