2
$\begingroup$

Let $G$ be a finite group. $H \trianglelefteq G$ with $\vert H \vert = p$ the smallest prime dividing $\vert G \vert$. Show $G = HC_G(a)$ with $e \neq a \in H$. $C_G(a)$ is the Centralizer of $a$ in $G$.

To start it off, I know $HC_G(a)\leq G$ by normality of $H$ and subgroup property of $C_G(a)$. So I made the observation that

$\begin{align*} \vert HC_G(a) \vert &= \frac{\vert H \vert \vert C_G(a) \vert}{\vert H \cap C_G(a) \vert}\\&=\frac{\vert H \vert \vert C_G(a) \vert}{\vert C_H(a)\vert}\end{align*}$

But, from here on I never reach the result I'm looking for. Any help would be greatly appreciated!

Note: I posted a similar question earlier, except that one had the index of $H$ being prime, this has the order of $H$ being prime: Link

  • 0
    Well, all conjugates of $a$ are in $H$, so there are less than $p$ of them as $a \neq 1_{G}.$ . On the other hand, their number is $[G:C_{G}(a)]$ which is$a$divisor of $|G|$. Since $p$ is the smallest prime divisor of $|G|,$ we must have $[G:C_{G}(a)] = 1.$2012-11-05

1 Answers 1

1

Since $N_G(H)/C_G(H)$ injects in $Aut(H)\cong C_{p-1}$ and $p$ is the smallest prime dividing $|G|$, it follows that $N_G(H)=C_G(H)$. But $H$ is normal, so $G=N_G(H)$ and we conclude that $H \subseteq Z(G)$. In particular $G=C_G(a)$ for every $a \in H$.