1: \begin{abstract}

2: Fix a finite field $\k$ of order $q$ and a word $w$ in a free group

3: $\F$ on $r$ generators. A $w$-random element in $\gln$ is obtained

4: by sampling $r$ independent uniformly random elements $g_{1},\ldots,g_{r}\in\gln$

5: and evaluating $w\left(g_{1},\ldots,g_{r}\right)$. Consider $\mathbb{E}_{w}\left[\fix\right]$,

6: the average number of vectors in $\k^{N}$ fixed by a $w$-random

7: element. We show that $\mathbb{E}_{w}\left[\fix\right]$ is a rational

8: function in $q^{N}$. Moreover, if $w=u^{d}$ with $u$ a non-power,

9: then the limit $\lim_{N\to\infty}\mathbb{E}_{w}\left[\fix\right]$

10: depends only on $d$ and not on $u$. These two phenomena generalize

11: to all stable characters of the groups $\left\{ \gln\right\} _{N}$. 

12: 

13: A main feature of this work is the connection we establish between

14: word measures on $\gln$ and the free group algebra $\k\left[\F\right]$.

15: A classical result of Cohn and Lewin \cite{cohn1964free,lewin1969free}

16: is that every one-sided ideal of $\k\left[\F\right]$ is a free $\k\left[\F\right]$-module

17: with a well-defined rank. We show that for $w$ a non-power, $\mathbb{E}_{w}\left[\fix\right]=2+\frac{C}{q^{N}}+O\left(\frac{1}{q^{2N}}\right)$,

18: where $C$ is the number of rank-2 right ideals $I\le\k\left[\F\right]$

19: which contain $w-1$ but not as a basis element. We describe a full

20: conjectural picture generalizing this result, featuring a new invariant

21: we call the $q$-primitivity rank of $w$.

22: 

23: In the process, we prove several new results about free group algebras.

24: For example, we show that if $T$ is any finite subtree of the Cayley

25: graph of $\F$, and $I\le\k\left[\F\right]$ is a right ideal with

26: a generating set supported on $T$, then $I$ admits a basis supported

27: on $T$. We also prove an analogue of Kaplansky's unit conjecture

28: for certain $\k\left[\F\right]$-modules. 

29: \end{abstract}