I need help on this one. I'm sure it's simple, but I'm coming to the end off an all-nighter and so my brain has shut down.
Problem: If and are positive integers and is a divisor of , then .
Define as . Show this map is well-defined, note, this is were you are going to use the fact that . Now argue that this is a homomorphism. This mapping is onto, and so . The kernel of the homomorphism will be the set (group) , I want to mention here another notation, we can write this also as , which looks a little neater. And so by fundamental homomorphism theorem .
Define by for all . This function is well-defined if and only if by homework problem 21.6 (you donít expect me to re-invent the wheel, do you?).
We claim that this defines a homomorphism. For if , then .
This mapping is onto, since for any we can find a such that because (should I explain this part more?). So that we have . Clearly the kernel of this homomorphism is .
Thus we can define a mapping, by for each .
This mapping is an isomorphism of onto by the Fundamental Homomorphism Theorem. So that
thanks for the link as well. i'll read through it when i have the time, or maybe we'll get to this in class and i can use it as supplementary material