I am working my way through Adams's "Lectures on Exceptional Lie Groups", and I am not satisfied with the proof for his proposition 4.2 (which states the even subalgebra for the Clifford Algebra has 1 irreducible representation when and 2 irreducible representations when with certain specific weights).
The argument seems to be to relate representations of an Abelian subgroup and [where form the canonical basis for ] to representations of , the quotient of the group algebra modulo the identification of the square of the generators with -1.
I'm with Adams until he picks a complex 1-dimensional representation of , because he starts working with *COMPLEX* representations. But Adams triumphantly announces "We thus get a representation, of ..." then shows it is irreducible. I'm fine with it being irreducible from the character relations, that's fine.
Even supposing this is an irreducible representation for , I don't quite see how to obtain an irrep for ; I am guessing just extend it "in the obvious way"? Does this preserve irreducibility?