How does Schur's Lemma mean that the Dirac representation is reducible?

The reasoning is supposed to go as follows:

  1. $\gamma^5$ commutes with all algebra elements, hence with the whole image of the algebra representation.

  2. $\gamma^5$ has at least two different eigenvalues, meaning it is not a scalar multiple of the identity.

  3. If the representation of the $S^{\mu\nu}$ (that form the Lorentz algebra $\mathfrak{so}(1,3)$) were irreducible, $\gamma^5$ would be a scalar multiple of the identity by Schur's lemma, which would contradict 2.

  4. Therefore, the representation of the $S^{\mu\nu}$ must be reducible.

Caveat: The Dirac representation is irreducible as the representation of the Clifford algebra, see e.g. this question and its answers.


@ACuriousMind 's answer is impeccable, but since it appears you are forgetting the routine usage of the term "Schur's lemma" in physics, and you are glomming onto the more recondite mathematical corners of it (the "second lemma"), instead of the straightforward criterion of reducibility invoked (the "first lemma"), I might as well remind you where you really have used it before, when you learned about spin.

Suppose somebody gave you a 5-dimensional representation J of SU(2), where the 3 generators given satisfy the standard Lie algebra of angular momentum, and you wanted to know whether it is the spin 2 irreducible representation, 5 , or else a reducible representation, say the direct sum of spin 1 and spin 1/2, that is 32. What do you do, without transforming the Js to bring them to a recognizable form?

You evaluate the quadratic Casimir, C = J·J, which, by dint of the algebra, commutes with all three Js. So, by Schur's lemma, if your rep is irreducible, the spin 2, it is proportional to the identity, the proportionality constant being 2(2+1)=6. If, by contrast, it is a diagonal matrix with different eigenvalues, three of them 2=1·(1+1), and two of them 3/4=1/2(1/2+1), then by this criterion of reducibility your rep must be reducible: your operator C can be similarity-transformed to 2 I(3) ⊕ 3/4 I(2) , and so then J = Lσ/2, a block matrix with spin 1 gens L in the upper block and Pauli matrices in the lower, disjoint block.

Edit per request on ref: Dimitry Vvedenski's (Imperial College) Group Theory book has a neat coverage of both Schur Lemmas.