Let $G$ be the cyclic group of order 4 , given by the presentation
$$G = \left\langle a: a^4 = 1\right\rangle.$$
Let $F$ be $\mathbb{R}$. Let $V$ be a 2-dimensional vector space over $F$ with basis $\mathcal{B} = \left\{v_1, v_2\right\}$. It turns out that $V$ can be made into a left $FG$-module in which the generator $a \in G$ acts as
$$a \cdot v_1 = v_2 \quad \text { and } \quad a \cdot v_2 = -v_1.$$
Let $\rho: FG \rightarrow GL_2(F)$ be the representation of $G$ corresponding to this module. Show that $V$ is an irreducible $FG$-module.
I am working on a homework problem to show that a certain FG-module is irreducible and my professor told us to "look at the eigenvectors." I wasn't sure why we should do that, but I went ahead and found that the two eigenvalues were $\lambda = \pm i$ with associated eigenvectors $<-i, 1>$ and $<i, 1>$. I was hoping to see the connection after finding them, but I can't see why finding these eigenvectors should show that an FG-module is irreducible.
My question is this: What do eigenvalues have to do with modules?
Best Answer
Sure
As David wrote in the comments:
Now we are going to find the eigenspaces of our $\mathbb{R}G$-module $V$. You already did something like that:
However, these are not real eigenvectors, as Mariano said:
That is, our module action does not have eigenvectors when we restrict our numbers to $F=\mathbb{R}$; we have $(-i,1)\notin V$ and $\pm i\notin\mathbb{R}$.
Hence, we find that our action $\mathbb{R}G\to GL(V)$ does not have eigenvectors in $V$. Therefore, $V$ does not have a 1-dimensional submodule. Therefore, it is not reducible.