On the representation dimension of finite $p$-groups
For a finite group $G$, the representation dimension $\delta(G)$ is the least dimension of a faithful complex representation of $G$. We prove that $\delta(H\times K) = \delta(H) + \delta(K)$ whenever $H$ and $K$ are $p$-groups for a fixed prime $p$, and show by example that this additivity can fail more generally for nilpotent groups. We also determine $\delta(G)$ for several important classes of non-abelian $p$-groups, {\it viz.} VZ groups, Camina groups, and metacyclic groups; and compute $\delta(G)$ for all groups of order $p^6$ ($p\geq 5$), organized by their isoclinism family.