Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f$ be a homomorphism from $G$ to $G'$.

1) If order of a subgroup of $H$ of $G$ is $n$, then order of $f(H)$ divides $n$?

2) If the order of Kernel $f$ = $n$, then $f$ is a $n\times 1$ mapping from $G$ onto $f(G)$.

Please suggest how to proceed. Any feedback would be appreciated.

share|improve this question
    
I've converted the math in your post to LaTeX. Apologies if I changed your intended meaning in any way. –  Zev Chonoles Aug 17 '11 at 16:54
    
I know that $G'$ is a common symbol for "some other group different from $G$". Unfortunately, it is also a common symbol for the commutator subgroup of $G$. I would suggest using some different symbol. –  Arturo Magidin Aug 17 '11 at 18:33
    
Would you mind changing the title to something more descriptive? –  Jason DeVito Aug 17 '11 at 18:38
add comment

2 Answers

1) Hint: Use the first isomorphism theorem.

2) Hint: Show that every member of a coset x + ker(f) gets mapped to the same point. How many elements are in each coset?

share|improve this answer
add comment

I'll leave out some justifications, so that you can get some practice. I'm assuming that you don't have any of the usual theorems at your disposal.

I might try to do (2) first. For that, let $K = \operatorname{Ker} f$. If there is an $x \in G$ such that $f(x) = y$, you want to show that $f^{-1}(y)$ has $n$ elements. But already we have $n$ elements in the coset $xK = \{xk : k \in K\}$, and these all map to $y$ (check these two assertions). We now have to show that in fact $f^{-1}(y) = xK$. If $z \in f^{-1}(y)$, then you should be able to show, starting from the equation $f(x) = f(z)$ and using properties of group homomorphisms, that $z \in xK$.

Now for (1). We can restrict $f$ to a surjective homomorphism $g\colon H \to f(H)$. If the kernel of $g$ has order $m$, then by the above $g$ is an $m$-to-one map. Can you take it from there?

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.