Sylow subgroup of some factor group

[moont14263]

Hi. I have the following question:

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

Here is what I think.

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

Now [itex][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|}=[/itex] [itex][K:P]\frac{|P \cap N|}{|K \cap N|}[/itex]Since [itex]P[/itex] is a Sylow [itex]p[/itex]-subgroup of [itex]K[/itex], then [itex]p[/itex] does not divide [itex][K:P][/itex]. Also, [itex]p[/itex] does not divide [itex]\frac{|P \cap N|}{|K \cap N|}[/itex] as [itex]\frac{|P \cap N|}{|K \cap N|} \leq 1[/itex] because [itex]P \cap N[/itex] is a subgroup of [itex]K \cap N[/itex]. Therefore [itex]p[/itex] does not divide [itex][KN/N:PN/N][/itex].

Thus [itex]PN/N[/itex] is a Sylow [itex]p[/itex]-subgroup of [itex]KN/N[/itex].

Am I right?

Thanks in advance

 

[andrewkirk]

Looks broadly OK to me. I just have a few questions.

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

1. How do we know that ##PN/N## is a ##p##-group?

$$\frac{|KN|}{|PN|}= \frac{|K||N|}{|K \cap N|} \frac{|P \cap N|}{|P||N|}$$

2. This step seems to be doing a number of things, the validity of none of which is obvious to me. Can you justify it? I can get to the RHS from ##[KN/N:PN/N]##, but not by the route shown above. I would use the 2nd isomorphism theorem and the fact that, for finite groups, ##[A:B]= \frac{|A|}{|B|}##.

$$\frac{|K||P \cap N|}{|P||K \cap N|}=[K:P]\frac{|P \cap N|}{|K \cap N|}$$Since [itex]P[/itex] is a Sylow [itex]p[/itex]-subgroup of [itex]K[/itex], then [itex]p[/itex] does not divide [itex][K:P][/itex].

3. You can stop before the equals sign and just observe that, since [itex]P[/itex] is a Sylow [itex]p[/itex]-subgroup of [itex]K[/itex], [itex]p[/itex] does not divide [itex]\frac{|K|}{|P|}[/itex], since the multiplicity of ##p## in the order of ##|P|## must equal the multiplicity of ##p## in the order of ##|K|##.

 

[moont14263]

This question has been answered in this link http://math.stackexchange.com/questions/1720619/sylow-subgroup-of-some-factor-group

 

[jim mcnamara]

You are free to do what you want. But this is a cross-post. Asking the same question at several different sites. This means Bungo and Andrew both worked out an answer. If you believe it is your right to do this, the net result of persistent cross-posting is a strong possibility that folks will skip your posts next time they see them.

I already know I will. Bye.