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.

Suppose $H$ is the only subgroup of order $o(H)$ in the finite group $G$. Prove that $H$ is a normal subgroup of $G$.

I've been trying this problem for quite a while but to no avail. What I can't understand is, how do you relate the subgroup being normal/abnormal to its order?

This question is from I.N.Herstein's book Topics in Algebra Page 53, Problem no. 9. This is NOT a homework problem!! I'm studying this book on my own.

share|improve this question
10  
If $g\in G$, what is the order of the subgroup $gHg^{-1}$? What can you conclude from that? –  Mariano Suárez-Alvarez Jan 6 '12 at 22:38
    
i dont know :( ..what i can't understand is how do u link order with the group being normal/abnormal. –  Vishnu Jan 6 '12 at 22:45
    
Do not think what is the relation between normality and the order for a while: try to see what is the order of the subgroup $gHg^{-1}$? –  Mariano Suárez-Alvarez Jan 6 '12 at 22:47
2  
Notice that you are studying the book on your own does not change the fact that this is homework (you can assign homework to yourself!)... The point of knowing if a question is homework or not is to know if the best option to answer the question is to actually answer it or to give hints for you to answer it yourself. –  Mariano Suárez-Alvarez Jan 6 '12 at 22:50
    
Well said!..The reason i was specific that i was self-studying and this was not a 'homework' problem, was that i am BRAND NEW to this site (I joined 15 minutes back), and i read in some passing comment something like " is this a homework prob"..so i thought , maybe your aren't allowed to pose 'hw probs' here. That's all.Not that i m trying to evade making efforts on my own. ThankYou for your help! –  Vishnu Jan 6 '12 at 22:56

1 Answer 1

(sorry didn't see the comments - this is a spoiler :-) )

You need to prove that $\sigma_x(h) \in H \ \forall x \in G \ $ and $\ \forall h \in H$, where $\sigma_x(h)=x^{-1}hx$. You know that $\forall x \in G$, $\sigma_x$ is an automorphism of $G$, which implies that if $K$ is a subgroup of $G$ then also $\sigma_x(K)$ is a subgroup of $G$, of the same order of $K$ (because $\sigma_x$ is bijective). Therefore, since $H$ is the only subgroup of $G$ of its order, $\sigma_x(H)=H \ \ \forall x \in G$ and you are done.

share|improve this answer
    
Thanx Emilio..this might sound super silly, but i haven't reached the homomorphism/autommorphism section of the book yet. This problem is in the section just preceding the section titled 'Homomorphism'.But anyways, i'll check back after i learn what the terms mean :) ..ThankQ! –  Vishnu Jan 6 '12 at 23:00
3  
@Vishnu in that case you can think of it this way: prove that $\forall x \in G$ the function $\sigma_x$ defined above is bijective, and has the property that it maps subgroups into subgroups. Also: in case you were used to the definition $H \unlhd G$ iff $xH = Hx \forall x \in G$, you can also prove it is equivalent to $\sigma_x(h) \in H$ $\forall x \in G $. Hope this helps ;-) –  Emilio Ferrucci Jan 6 '12 at 23:12

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.