The post Irreducible representations of a cyclic group over a field of prime order discusses the irreducible representations of a cyclic group of order $N$ over a finite field $\mathbb{F}_p$ where $N$ does not divide $p$.
Where can I find information about the irreducible representations in the case where $p$ does divide $N$?
(I'm interested in this because I'm wondering if, given a finite dimensional vector space $\mathbb{F}_{p}^{M}$ if there are examples of particularly simple invertible linear operators $T$ such that $T$ does not preserve a subspace. Since the vector space contains finitely many elements it seems that this is the same thing as an irreducible representation of a cyclic group.
However, based on the post I read above, where p does not divide N, it seems like T is just multiplication by a primitive element that generates the extension $\mathbb{F}_{q^{M}}$.)
Best Answer
The question of how to classify all finite-dimensional representations of $C_n$ over an arbitrary field $F$ can be studied using the structure theorem for finitely-generated modules over a principal ideal domain, in this case $F[x]$. The structure theorem asserts that any finitely-generated module is uniquely a finite direct sum of modules of the form $F[x]/p(x)^r$ where $p \in F[x]$ is irreducible and $r$ is a non-negative integer.
If $T$ is an operator acting on $F^k$ for some $n$, then $F^k$ becomes a finitely-generated module over $F[x]$ with $x$ acting by $T$. $T$ gives a representation of the cyclic group $C_n$ if and only if $T^n = 1$, in which case the summands $F[x]/q(x)^r$ in the decomposition of $F^k$ must have the property that $q(x)^r | x^n - 1$.
If $F$ has characteristic $0$ or has characteristic $p$ and $p \nmid n$, then $x^n - 1$ is separable over $F$, hence $r \le 1$ and $F^k$ is a direct sum of irreducible representations, all of which are of the form $F[T]/q(T)$ where $q$ is an irreducible factor of $x^n - 1$ over $F$.
If $F$ has characteristic $p$ and $p | n$, then writing $n = p^s m$ where $p \nmid m$ we have $$x^n - 1 = (x^m - 1)^{p^s}$$
from which it follows that $r \le p^s$ (but now it is possible to have $r > 1$). If $r > 1$, then the corresponding representation $F[T]/q(T)^r$ is indecomposable and not irreducible, where $q$ is an irreducible factor of $x^m - 1$ over $F$. The irreducible representations occur precisely when $r = 1$. In other words,
One can also see this more directly as follows. If $V$ is an irreducible representation of $C_{p^s m}$ over a field of characteristic $p$ and $T : V \to V$ is the action of a generator, then $$T^{p^s m} - 1 = (T^m - 1)^{p^s} = 0.$$
Thus $T^m - 1$ is an intertwining operator which is not invertible, so by Schur's lemma it is equal to zero.