Example

(1) The group defined by the presentation $\langle \tau; \tau^q = e \rangle$ is cyclic of order $q$.

(2) The group defined by the presentation $\langle x, y; xy = yx \rangle$ is isomorphic to $\mathbf{Z} \times \mathbf{Z}$.