3
$\begingroup$

Let $G$ be a group where $|G|=p^nm$ and $p$ is the smallest prime dividing $|G|$. Suppose that $P \in \operatorname{Syl}_p(G)$ is cylic. Then $C_G(P)=N_G(P)$

Now I know $|N_G(P)/C_G(P)|$ must divide $|\operatorname{Aut}_G(P)| = p^{n-1}(p-1)$ but I can't seem to show why $|N_G(P)/C_G(P)|$ divides $m$?

$\endgroup$
  • 1
    $\begingroup$ Since $p$ is the smallest prime dividing $|G|$ and the argument you suggest we get $N_G(P)$ is a $p$-group since $([N_G(P):C_G(P),p-1)=1$. Then $P=N_G(P)$ and since $P$ is cyclic, $C_G(P)=P$. $\endgroup$ – Levent Jul 4 '16 at 2:35
  • $\begingroup$ Thanks. I still I don't see the part where $N_G(P)$ is a $p$-group. Could you please expand on that? $\endgroup$ – R Maharaj Jul 4 '16 at 2:46
3
$\begingroup$

Since $p$ is the smallest prime dividing $|G|$, we get $([N_G(P):C_G(P)],p-1)=1$, so $[N_G(P):C_G(P)]$ divides $p^{n-1}$. Clearly, $P\subseteq C_G(P)$ since $P$ is abelian, then $[N_G(P):C_G(P)]$ cannot be divisible by $p$. These two facts together implies $C_G(P)=N_G(P)$.

$\endgroup$
  • $\begingroup$ I am still having a problem with seeing that $([N_G(P) : C_G(P)] , p-1) =1$ $\endgroup$ – R Maharaj Jul 4 '16 at 3:17
  • 1
    $\begingroup$ Well, $p$ is the smallest prime dividing $|G|$, so if you take a prime $q$ dividing $[N_G(P):C_G(P)]$, necessarily $q>p$. Therefore the index is coprime to $p$. $\endgroup$ – Levent Jul 4 '16 at 3:20
  • $\begingroup$ aha! I see. On that note, how does $|G|$ relate to $|\operatorname{Aut}(G)|$? $\endgroup$ – R Maharaj Jul 4 '16 at 3:26
  • 1
    $\begingroup$ All you can say is $[G:Z(G)]$ divides $|Aut(G)|$, nothing more as I know in the general case. They are not that related. $\endgroup$ – Levent Jul 4 '16 at 3:28
  • 1
    $\begingroup$ @RMaharaj It's rather non-trivial, I've done some stuff with that question as part of looking into the Automorphism Series conjecture of Simon Thomas (1960). $\endgroup$ – Justin Benfield Jul 4 '16 at 3:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.