1: \begin{abstract}

2: We prove sharp limit theorems on random walks on graphs with values in

3: finite groups. We then apply these results (together with some

4: elementary algebraic geometry, number theory, and representation

5: theory) to finite 

6: quotients of lattices in semisimple Lie groups (specifically

7: $\SL(n,\integers)$ and $\Sp(2n, \integers)$) to show that a ``random''

8: element in one of these lattices has irreducible characteristic

9: polynomials (over $\integers$). The term ``random'' can be defined in

10: at least two ways (in terms of height and also in terms of word length

11: in terms of a generating set) -- we show the result using both

12: definitions. 

13: 

14: We use the above results to show that a random (in terms of word

15: length) element of the mapping class group of a surface is

16: pseudo-Anosov, and that a a random free group automorphism is

17: irreducible with irreducible powers (or \emph{strongly irreducible}

18: \footnote{terminology due to Lee Mosher}).

19: \end{abstract}

20: