Representation theory over finite fields? This is mostly a reference request ... I think.
I am a bit familiar with representation theory of finite groups. Here I have seen a representation as a homomorphism $\rho: G \to GL(V)$ where $V$ is a complex vector space. But, I am guessing that this would also make sense of $V$ was a vector space over another field.
My basic question is if this is "a thing"?
If this is a thing, I would like to see a reference on this. Are there books/notes that do all the same things (invariant subspaces, irreducible, Frobenius Reciprocity, ...) but just work with a vector space over a finite field?
(If this is not a thing, then why not? What happens that makes this uninteresting?)

There is a thing called modular representation theory where one considers fields $F$ of positive characteristic $p$ and groups $G$ of order divisible by $p$. By the converse of Maschke's theorem, the group algebra $FG$ is not semisimple. This makes things more complicated. To make things a bit easier, most books assume that $F$ is algebraically closed (in particular, not finite). Even in this case, the irreducible representations of familiar groups like symmetric groups are not known in general (not even their degrees). You may take a lot at the books of Curtis-Reiner, Feit or Gow et al. ("Representation theory in arbitrary characteristic").
