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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove or disprove: if $f:G \rightarrow H$ is a surjective group homomorphism, then

1) $f(A)$ normal implies $A$ normal.

2) $S$ is a p-Sylow subgroup of $G$ implies $f(S)$ is a Sylow-p subgroup of $H$.

I believe 1 is false since I believe we need injectivity, but I cannot think of a counterexample...

I believe 2 is true but do not know how to show it...

share|cite|improve this question
up vote 0 down vote accepted


For (1) consider a projection $G \times G' \to G'$. What is the image of a subgroup in $G$?

For (2) use the fact that every surjection is of the form $G \to G/H$. Then $S$ goes to $SH/H \simeq S/(S \cap H)$. If $|S| = p^k$ then $|S \cap H| = p^t$ for some $t \leq k$. As $S \cap H$ is also a subgroup of $H$ we get that $p^t \ | \ |H|$ so what is the largest power of $p$ that can divide $|G/H|$?

share|cite|improve this answer
A few questions... what is G'? I am not familiar with such notation...also, for 2, doesn't S go to S/H, not SH/H? – Johnny Apple Aug 24 '13 at 5:21
$G'$ is just another group, it's like saying $G_1$. – Jim Aug 24 '13 at 5:24
The notation $S/H$ is generally reserved for when $H \leq S$. The image of $S$ and $SH$ are identical but $H \leq SH$. – Jim Aug 24 '13 at 5:25
The image of a subgroup of H is a singleton element of G' I believe under the projection – Johnny Apple Aug 24 '13 at 5:26
Is that normal? – Jim Aug 24 '13 at 5:28

Your Answer


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.