Do there exists a finite capable p-group of class two with property:


1. $G=\langle x, y, Z(G)\rangle$, $|x|=|y|=p^n$ ,
2. $Z(G)$ is not cyclic.
3. $Z(G)$ is not subgroup of $\Phi(G)$, Frattini subgroup of $G$,
4. $G'$ is cyclic of order $p^n$,


A group $G$ is capable if there exists a group $H$ such that $G\cong\dfrac{H}{Z(H)}$


Thank you



Existence a finite capable p-group of class two
I am assuming $p$ is odd; a similar example is possible with $p=2$. 


Let $ H = \langle x,y \mid x^{p^n} = y^{p^n} = [y,x]^{p^n} = [y,x,y] = [y,x,x] = 1\rangle$. Let $K = C\_p\times C\_p$. Then both $H$ and $K$ are capable, and hence so is $G=H\times K$. Capability if $K$ is trivial, and follows from the classical theorem of Baer on capable finitely generated abelian groups; capability of $H$ is not difficult, and a witness to the capability of $H$ is the $3$-nilpotent product of two cyclic groups of order $p^n$; you can also derive it from the characterization of the capable $2$-generated $p$-groups of class $2$ in my joint paper with Robert Morse, *Certain homological functors of $2$-generator $p$-groups of class $2$*, in **Computational Group Theory and the Theory of Groups II**, Contemporary Mathematics 511, AMS 2010.


Both $H$ and $K$ are of class (at most) $2$, hence so is $G$. $Z(G) = \langle [y,x]\rangle\times K\cong C\_{p^n}\times C\_p\times C\_p$, so $Z(G)$ is not cyclic. Since $\Phi(G)=G^p[G,G]$, it follows that the generators of $K$ do not lie in $\Phi(G)$, so $Z(G)$ is not contained in $\Phi(G)$. And of course $G'=\langle [y,x]\rangle$ is cyclic.


