My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
March 30th, 2016, 12:13 PM   #1
Joined: Aug 2012

Posts: 5
Thanks: 0

Sylow subgroup of some factor group.


Let $G$ be a finite group. Let $K$ be a subgroup of $G$ and let $N$ be a normal subgroup of $G$. Let $P$ be a Sylow $p$-subgroup of $K$. Is $PN/N$ is a Sylow $p$-subgroup of $KN/N$?

Here is what I think.

Since $PN/N \cong P/(P \cap N)$, then $PN/N$ is a $p$-subgroup of $KN/N$.

Now $[KN/N:PN/N]=\frac{|KN|}{|N|} \frac{|N|}{|PN|}= \frac{|KN|}{|PN|}= \frac{|K||N|}{|K \cap N|} \frac{|P \cap N|}{|P||N|} = \frac{|K||P \cap N|}{|P||K \cap N|}=[K:P] \frac{|P \cap N|}{|K \cap N|}$.

Since $P$ is a Sylow $p$-subgroup of $K$, then $p$ does not divide $[K:P]$. Also, $p$ does not divide $\frac{|P \cap N|}{|K \cap N|}$ as $\frac{|P \cap N|}{|K \cap N|} \leq 1$ because $P \cap N$ is a subgroup of $K \cap N$. Therefore $p$ does not divide $[KN/N:PN/N]$.

Thus $PN/N$ is a Sylow $p$-subgroup of $KN/N$.

Am I right?

Thanks in advance
moont14263 is offline  

  My Math Forum > College Math Forum > Abstract Algebra

abstract algebra, factor, group, group theory, subgroup, sylow

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Sylow subgroup limes5 Abstract Algebra 2 December 31st, 2013 06:06 AM
Subgroup/Normal Subgroup/Factor Group Questions envision Abstract Algebra 1 October 4th, 2009 03:24 AM
Normal sylow subgroup of a group of order p^aq^b Spartan Math Abstract Algebra 6 September 21st, 2009 09:52 PM
p-Sylow subgroup congruence Erdos32212 Abstract Algebra 0 December 8th, 2008 06:15 PM
Sylow 2-subgroup of S_4 weier Abstract Algebra 1 November 20th, 2006 10:40 AM

Copyright © 2019 My Math Forum. All rights reserved.