Skip to main content
2 of 2
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/

I think the same example works that I gave to your question https://math.stackexchange.com/questions/571949.

Let $H = C_p \wr C_p$, and $G = H_1 \times H_2$ with $H_1 \cong H_2 \cong H$. So $|H|=p^{p+1}$, $|G|=p^{2(p+1)}$.

The maximal abelian normal subgroup $A$ is the direct product of the base groups of $H_1$ and $H_2$, and is elementary abelian of order $p^{2p}$.

Now $H$ has class $p$ and hence so does $G$, which is property (b).

The centre of $H$ has order $p$ and $H/Z(H)$ has class $p-1$ and is generated by two elements of order $p$, so $H/Z(H)$ has exponent $p$ and hence the same applies to $G/Z(G)$, which gives property (a).

We take $x \in H_1$ and $y \in H_2$ to be elements outside of $A$. So $B=Z(\langle A,x \rangle)$ includes the base group of $H_2$, and hence $\langle B,y \rangle$ contains $H_2$ and has class $p$.

Derek Holt
  • 37.4k
  • 4
  • 96
  • 150