My Math Forum Question about Quotient Groups

 Abstract Algebra Abstract Algebra Math Forum

 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

### mustgh.com\abstract

Click on a term to search for related topics.
 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post Crease124 Real Analysis 1 April 3rd, 2013 06:41 PM matheart Abstract Algebra 1 May 4th, 2011 11:53 PM matheart Abstract Algebra 1 May 1st, 2011 09:18 PM yetixhunting Abstract Algebra 5 April 9th, 2011 03:26 PM bigli Abstract Algebra 3 February 13th, 2009 11:24 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top