Let G be a finite group. P is a Sylow p-subgroup of G and K is normal in G also H is a subgroup of G with (|K|,|H|)=1.(adsbygoogle = window.adsbygoogle || []).push({});

1) If p divides |H| then P[itex]\cap[/itex]HK is a subgroup of H.

2) Is (1) when K is not normal in G.

This is my try of (1);

Let y be an element of P[itex]\cap[/itex]HK, --> |y| divides |HK|=|H|*|K|--> |y| divides |H|--> y is an element of H as the order of y does not divide the order of K. What I am saying is that the elements of p power order of the intersection come from the Sylow p-subgroups of H.

For (2);

I know that |HK|=|H|*|K| but HK may not be a subgroup of G. And in this case also the intersection may not be a subgroup of G.

Help,me please.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Product of two subgroups and intersection with p-subgroup

Loading...

Similar Threads for Product subgroups intersection | Date |
---|---|

I Direct Products of Modules ... Canonical Injections ... | Apr 3, 2018 |

Quotient of group by a semidirect product of subgroups | Feb 18, 2016 |

The product of Sylow subgroups | Jan 28, 2012 |

Maximal subgroup of a product of groups? | Dec 24, 2011 |

Is direct product of subgroups a subgroup? | Jun 24, 2010 |

**Physics Forums - The Fusion of Science and Community**