Wedderburn components of group algebra over $\mathbb R$

Question

Let $G = \langle\sigma\rangle$ be the cyclic group of order $4$ and consider the group algebra $\mathbb RG$. By Maschke's theorem, $\mathbb RG$ is semisimple and so by Wedderburn's theorem, it is a product of matrix rings over some division rings.

For a tutorial problem, I'm required to determine the Wedderburn components. Since $\mathbb R$ is not algebraically closed, I don't know how to proceed. I think, based on the proof of Wedderburn's theorem, I need to start by finding the decomposition of $\mathbb RG$ into a sum of simple rings, but I don't even know how to do that. I know $\mathbb RG \cong \mathbb R \oplus \mathbb R\sigma \oplus \mathbb R\sigma^2 \oplus \mathbb R\sigma^3$ as $\mathbb R$-spaces but those summands aren't ideals of $\mathbb RG$ so I don't know where to go from here.

Answer 1

A couple of points

• The only division algebras that can occur in the Wedderburn decomposition of $\Bbb RG$ are $\Bbb R$, $\Bbb C$ and $\Bbb H$ (the quaternions).

• If $G$ is Abelian, $\Bbb RG$ is commuative, so we cannot have $\Bbb H$ appearing, nor can we have a matrix algebra of dimension greater than $1$.

So $\Bbb RG$ is a product of copies of $\Bbb R$ and $\Bbb C$ in this example. For each copy there will be a corresponding group homomorphism from $G$ to $\Bbb R^\times$ or $\Bbb C^\times$. What can they be?

Answer 2

Here is a somewhat different way to answer this sort of question: we have the isomorphisms (via CRT) \begin{align} \mathbb{R}[C_4]=\mathbb{R}[X]/(X^4-1)\simeq \mathbb{R}[X]/(X-1)\times\mathbb{R}[X]/(X+1)\times\mathbb{R}[X]/(X^2+1)\simeq \mathbb{R} \times \mathbb{R} \times \mathbb{C} \end{align}

This is a decomposition of $\mathbb{R}[C_4]$ into a product of fields, in particular of matrix rings, hence it must be the unique decomposition.