Computing values of centralizers in a non-solvable group with a given property

131 Views Asked by At

A finite group G satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n−1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. Let $G$ be a non-solvable group satisfying property $P_5$. Also suppose that $N$ be an abelian $p$-group of order $p^r$ with $p\notin \pi(G/N)$ and $N=C_G(N)$. Let $K=G/N\cong A_5$, $Y< K$ be a Frobenius group of order 12‎, ‎$x\in Y$ of order 3 and $P$ a Sylow 2-subgroup of $Y$‎. Then we conclude that $p, 2p, 3p \in \pi_e(G)$ and since $G$ satisfies in property $P_5$, it follows that $G$ has at most two class of elements of order 3p. Clearly all elements of order $3$ lie in one class. Suppose that $y$ and $z$ are elements of order $3p$. The question is whether $P$ acts fixed point freely on $N$ and how the values of $|C_N(x)|, |C_G(x)|$, $|C_G(y)|$ and $|C_G(z)|$ be computed?

1

There are 1 best solutions below

3
On

I don't believe that there are any groups $G$ satisfying these conditions. Let $g \in G$ with $|g|=3p$. Then the cyclic group $H = \langle g \rangle$ contains $2(p-1)$ elements of order $3p$. If any of these are conjugate in $G$, then they are conjugate in $N_G(H)$. But, by considering its image in $A_5$, we see that $|N_G(H)/C_G(H)| \le 2$, so there must be at least $p-1$ conjugacy classes of element sof order $3p$ in $G$.