Is there an infinite $p$-group $G$ with infinite Frattini subgroup $\Phi(G)\not = G$?
In "Subgroups of Teichmuller Modular Groups" there is an example but I don't get it because I don't know much about manifolds. I hope someone can come up with an easier example.