
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
April 8th, 2011, 12:56 PM  #1 
Newbie Joined: Apr 2011 Posts: 5 Thanks: 0  Question about Quotient Groups
Here is the question: "Let H and K be normal subgroups of G such that [G : H] = 5 and [G : K] = 3. Prove that for all g in G, (g^15) is in the intersection of H and K." ========= I am told that I should start off this proof by showing (g^5) is in H by using the definition of quotient groups and Lagrange's Theorem. Then, I assume I would use the same argument to show that (g^3) is in K? Once I have done this, i want to combine both statements to show that (g^15) is in the intersection of H and K. But I don't even know where to begin! Thank you in advance for the assistance! J.R.B. 
April 8th, 2011, 02:23 PM  #2 
Newbie Joined: May 2010 Posts: 12 Thanks: 0  Re: Question about Quotient Groups
Start with the quotient group G/H. For any g in G, the coset (g^15)H = (gH)^15. But what is the order of the element gH in G/H? With that it mind, which coset must (gH)^15 equal?

April 8th, 2011, 02:36 PM  #3 
Newbie Joined: Apr 2011 Posts: 5 Thanks: 0  Re: Question about Quotient Groups
From mtdim: "For any g in G, the coset (g^15)H = (gH)^15" But the order of an element in G/H is 5, since [G:H] = G/H = 5. (This must also imply that the order of an element in G/K is 3, since [G:K] = G/K = 3.) Thus, since 5 divides 15, (gH)^15 = (g^15)H = ((g^5)^3)H = eH (e is the identity) so g^15 is in H. Also, since 3 divides 15, (gK)^15 = (g^15)K = ((g^3)^5)K = eK (e is the identity) so g^15 is in K. So if (g^15) is in H and K, (g^15) is in H intersect K? Is the proof done? 
April 8th, 2011, 03:00 PM  #4 
Newbie Joined: May 2010 Posts: 12 Thanks: 0  Re: Question about Quotient Groups
Not quite. You can't say ((g^5)^3)H = eH because you do not know the order of g in G. What you do know is that the order of any element of G/H must divide 5. So you can say: (g^15)H = (gH)^15 = eH because the order of gH must divide 15 (since it divides 5). Thus, g^15 must be in H. You can do a similar argument to show g^15 is in K. The basic idea is that you don't really have any information about G, you only have information about G/H and G/K. You must look at this in terms of those quotient groups. 

Tags 
groups, question, quotient 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Question on groups/Quotient spaces.  Crease124  Real Analysis  1  April 3rd, 2013 06:41 PM 
First Homomorphism Thm on Quotient Groups  matheart  Abstract Algebra  1  May 4th, 2011 11:53 PM 
Epimorphism on quotient groups :d  matheart  Abstract Algebra  1  May 1st, 2011 09:18 PM 
Another Question about Quotient Groups  yetixhunting  Abstract Algebra  5  April 9th, 2011 03:26 PM 
quotient groups  bigli  Abstract Algebra  3  February 13th, 2009 11:24 AM 