0
$\begingroup$

Let $N$ be a normal $p$-subgroup of finite centerless group $G$ such that $G/N\cong A_{5}$. Is it possible $G/N\cong \leq $Aut$(Z(N))$?

  • 0
    The answer is yes. It is not only possible, it is certain! Use the action by conjugation.2012-10-23

1 Answers 1

3

Let $p$ be a prime number and $Q$ be a finite group with no normal $p$-subgroups.

Define $N$ to be the direct sum of the simple $\mathbb{Z}/p\mathbb{Z}[Q]$-modules other than the trivial module. Then $Q$ acts faithfully on $N$, and no nonzero element of $N$ is centralized by all elements of $Q$. Notice $Z(N)=N$. Let $G$ be the semi-direct product of $Q$ acting on $N$.

Then $G$ is a finite centerless group with $G/N \cong Q$, and the map $gN \mapsto ( n \mapsto g^{-1} n g)$ is an injective homomorphism from $G/N$ into $\operatorname{Aut}(Z(N))$.

If $Q$ has normal $p$-subgroups, then $G$ is no-longer centerless, and we may need to choose a more complicated $N$ (still abelian, but possibly including the trivial module, and possibly not semi-simple) in order to embed $G/N$ in $\operatorname{Aut}(Z(N))$.

Of course for $A_5$ we need not worry about normal $p$-subgroups, and we can be pretty explicit about $N$. However, I don't understand what could motivate you to ask this question and suspect you meant to ask something else.