Prime-dimensional faithful irreducible module forces simplicity
ID: prime-dimensional-faithful-irreducible-module-forces-simplicity
Let a semisimple complex Lie algebra act faithfully and irreducibly on a space of prime dimension. Complete reducibility for splits into isotypic components. The commuting other ideals preserve these components, so irreducibility leaves just one, of the form . Repeating with the other factors gives , with each an irreducible module for its simple ideal.
Faithfulness makes every factor nontrivial. A nonabelian simple Lie algebra has only the trivial one-dimensional module, so . Their product is the prime , forcing just one simple ideal. Hence is simple. This is a representation-dimension obstruction, independent of the classification of root systems.
New to topics? Read the docs here!