1. 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?  2.

3. Originally Posted by anticorncob28 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?
I'm not sure, but I strongly suspect that it's not about the definition of a homomorphism, but about what the notation "f : G --> H" means. For this, I don't think that H is necessarily the image of G under f, but that the image of G is a subset of H.  4. anticorncob I think you are overthinking the theorem

First note that any group has 2 trivial subgroups - the identity and itself.

Second note that group homomorphisms may be injective, surjective or bijective (in the latter case they are, of course, called isomorphisms)

So given your homomorphism the image set (you called it the range - it's the same thing) may be all of or the identity or "anything in between"

So forget that "sub" in "subgroup" and concentrate on the "group" bit - you need to show, assuming the group operation is preserved, that the identity in maps to the identity in and likewise for inverses.

I can give proofs for both, but you would do well to try for your own

Good luck!  Posting Permissions
 You may not post new threads You may not post replies You may not post attachments You may not edit your posts   BB code is On Smilies are On [IMG] code is On [VIDEO] code is On HTML code is Off Trackbacks are Off Pingbacks are Off Refbacks are On Terms of Use Agreement