1: \begin{abstract}

2: Given a finite group $\G$ and a field $K$, the {\it faithful dimension} of $\G$ over $K$ is defined to be the smallest integer $n$ such that $\G$ embeds into $\GL_n(K)$. 

3: We address the problem of determining 

4: the faithful dimension of a $p$-group of the form $\GG_q:=\exp(\g \otimes_\Z\F_q)$

5: associated to $\g_q:=\g \otimes_\Z\F_q$ in the Lazard correspondence, where 

6: $\g$ is  a nilpotent $\Z$-Lie algebra 

7: which is finitely generated as an abelian group.

8: We show that in general the faithful dimension of $\GG_p$ is a piecewise polynomial function of $p$ on a partition of primes into Frobenius sets. 

9: Furthermore, we prove that for $p$ sufficiently large, there exists a partition of $\mathbb N$ by sets from the Boolean algebra generated by arithmetic progressions, such on each part the faithful dimension of $\GG_q$ for $q:=p^f$ is equal to $f g(p^f)$ for a polynomial $g(T)$. 

10: We show that for many naturally arising $p$-groups, including a vast class of groups defined by partial orders, the faithful dimension is given  by a single formula of the latter form. The arguments rely on various tools from number theory, model theory, combinatorics and Lie theory. 

11: \end{abstract}

12: