Yes: since a group of order $p^2$ ($p$ prime) is abelian, we can use the structure theorem for finite abelian groups. A group of order $9$ is either cyclic, isomorphic to $\mathbf Z/9\mathbf Z$ or isomorphic to $\mathbf Z/3\mathbf Z\times\mathbf Z/3\mathbf Z $ .