Cartan 's theorem can also mean a specific theorem on highest weight vectors in the representation theory of a semisimple Lie group .
Cartan 's theorem can also mean a semisimple theorem on highest weight vectors in the representation theory of a specific Lie group .