Why Can't a Proper Normal Subgroup Contain a Sylow Normalizer in a Group?

  • Context:
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Subgroup
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 replies · 2K views
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $P$ be a $p$-Sylow subgroup in $G$ and $N=N_G(P)$.

I want to show that there is no proper normal subgroup $H$ of $G$ that contains $N$.
We suppose that there is a proper normal subgroup $H$ of $G$ that contains $N$, $$N\leq H<G$$

Then $[G:N]=[G:H][H:N]$, with $[G:H]>1$.

How can we find a contradicion? (Wondering)

Do we use the definition of a normal subgroup? (Wondering)
 
on Phys.org
Do we maybe use Frattini Argument? (Wondering)

By Frattini Argument we have that $G=HN_G(P)$.

Since $H$ is a normal subgroup of $H$ and since $N_G(P)\leq H$, we have that $HN_G(P)\subseteq H \Rightarrow G\subseteq H$.

We have that $H\subseteq G$.

So, it holds that $G=H$. This is a contradiction, since $H$ is a proper subgroup of $G$. Is this correct? (Wondering)