MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 2 characters in body; added 4 characters in body

Just want to add that $G$ has a quotient isomorphic to $H:=\mathbb Z_p \ltimes_\varphi \mathbb Z^{p-1}$ where $\varphi(1)\cdot v=Av$ for some $A \in SL_{p-1}(\mathbb Z)$ of order $p$; in particular, $G$ is infinite.

Indeed, such an $A$ exists: take $A$ to be a companion matrix to the polynomial $\frac{x^p-1}{x-1}$. Then any element in $H$ not contained in $ \mathbb Z_p {0} \times {0}$ \mathbb Z ^{p-1}$ has order $p$, so mapping $x$ to $(1,0)$ and $y$ to $(1,e_1)$ will give a well-defined homomorphism which can be shown to be surjective.

show/hide this revision's text 1

Just want to add that $G$ has a quotient isomorphic to $H:=\mathbb Z_p \ltimes_\varphi \mathbb Z^{p-1}$ where $\varphi(1)\cdot v=Av$ for some $A \in SL_{p-1}(\mathbb Z)$ of order $p$; in particular, $G$ is infinite.

Indeed, such an $A$ exists: take $A$ to be a companion matrix to the polynomial $\frac{x^p-1}{x-1}$. Then any element in $H$ not contained in $\mathbb Z_p \times {0}$ has order $p$, so mapping $x$ to $(1,0)$ and $y$ to $(1,e_1)$ will give a well-defined homomorphism which can be shown to be surjective.