- #1
OMM!
- 15
- 0
Homework Statement
[tex]G = D_6 = \left\{a,b: a^{3} = b^{2} = 1, b^{-1}ab = a^{-1}\right\}[/tex]
Must show that the group algebra: [tex]\mathbb{C}G = U_{1} \oplus U_{2} \oplus U_{3} \oplus U_{4}[/tex]
where U_{i} are irreducible CG-submodules.
Homework Equations
We have [tex]w = e^{2 \pi i/3}:[/tex]
[tex]v_0 = 1 + a + a^{2}; v_1 = 1 + w^{2}a + wa^{2}; v_2 = 1 + wa + w^{2}a^{2}.[/tex]
[tex] w_0 = bv_0; w_1 = bv_1; w_2 = bv_2 [/tex]
The Attempt at a Solution
I've shown that for i = 0,1,2: [tex]v_{i}a = w^{i}v_{i}[/tex]
And so clearly, [tex]sp(v_{i})[/tex] is a C<a>-Module, as va in sp(v_{i}) for all v_{i} in sp(v_{i}) and r in C<a> etc.
And I've also shown that [tex]w_{0}b = v_{0}, w_{1}b = v_{2}, w_{2}b = v_{1}[/tex]
To show that sp(v_0, bv_0), sp(v_1, bv_2), sp(v_2, bv_1) are C<b>-Modules.
And so all of these are CG-submodules of CG, as a and b are generators of the group G.
So now I need to show that there are 4 irreducible CG-submodules, presumably from the above, or if some of them aren't irreducible they reduce to the required submodules.
However, I'm a little stuck at this stage.