The only examples I have encountered of infinite $p$-groups with trivial center employ non-elementary methods in their construction. For instance, Example 9.2.5 of Scott's *Group Theory* is a perfectly satisfactory example, but it requires the wreath product (which, though an invaluable group-theoretic tool, is not what I consider an "elementary method").


Does anyone know of an example (of an infinite $p$-group with trivial center) that can be constructed and proven to have the claimed properties in a way that is friendly to, say, students of a first course in group theory? Perhaps a large product of finite groups or an easy-to-describe matrix group?


(I also welcome arguments for the nonexistence of such an example!)



Simple(st) example of an infinite $p$-group with trivial center
Here is a matrix example, hopefully correct and also hopefully sufficiently simple:


Consider the group $U$ of $\infty\times \infty$ upper unipotent matrices with entries in
$\mathbb F\_p$, with all but finitely many entries equal to zero;
so they have the form 
$$\begin{pmatrix} 1 & a\_{1 2} & a\_{1 3} & \cdots \\\ 0 & 1 & a\_{2 3} & \cdots \\\ \vdots & \vdots & \vdots \end{pmatrix},$$
with $a\_{i,j} \in \mathbb F\_p$ and all but finitely many $a\_{i j } = 0$.


Note that $U$ admits a homomorphism onto the upper unipotent matrices $U\_n$ in $GL\_n(\mathbb F\_p)$
for any $n$, given by forgetting the $a\_{i,j}$ for $i$ or $j$ greater than $n$.
If $z$ is in the centre of $U$, then its image lies in the centre of $U\_n$ for each $n$.
But the centre of $U\_n$ has trivial image in $U\_{n-1}$, and so the centre of $U$ actually
has trivial image in each $U\_n$. Since $U$ evidently embeds into the projective limit of
the $U\_n$, we see that $U$ has trivial centre. (Intuitively, we've made the nilpotency class infinite, and so pushed the centre away to infinity.)


