Conjugacy classes of non-normal subgroups

group-theory

Let $G=P \ltimes Q=QM$ be a finite non-nilpotent group which is solvable. ($P$ and $Q$ are Sylow subgroups of $G$ such that $P$ is cylic and $|Q|=q^4$). Let $M=C_G(P)=N_G(P)=P \times (Q \cap M)$ is a non-cyclic maximal subgroups of $G$ which is abelian( $Q \cap M \trianglelefteq G$). Also we have $Q \cap M$ contains a non-cyclic subgroup $T \cong C_q \times C_q$ ($q$ is a prime) which is maximal in $Q \cap M$ and $Q \cap M$ is maximal in $Q$. Now i want to find at least three non-conjugate subgroups of $G$ which are non-normal and non-cyclic in $G$.

$\bf{My try:}$ By assumption, $M$ is non-normal non-cyclic subgroups of $G$. Also since $PT < N_G(P)$, we have $PT$ is non-normal non-cylic subgroups of $G$. Also we have $M \le C_G(Q \cap M)\le G$. If $M =C_G(Q \cap M) \trianglelefteq N_G(Q \cap M)=G$, then $M \trianglelefteq G$, a contradiction. So $Q \cap M \le Z(G)$. Since $G/Q$ is abelian, $G^{\prime} \le Q$.Thus we deduce from maximality of $M$ that $G=G^{\prime}M$, and so $Q=G^{\prime}(Q \cap M)$. Please help me to find another non-normal non-cyclic subgroup of $G$ which is not conjugate to $M$ and $PT$.

Best Answer

Since $Q \cap M \le Z(G)$, $Q$ must be abelian, so $Q = [P,Q] \times (Q \cap M)$, with $|[P,Q]| = q$.

Let $[P,Q] = \langle x \rangle$ and $T = \langle y,z \rangle$. Then we can take the subgroup $\langle xy,z \rangle$.

Related Question