For a simple Lie algebra $\mathfrak{g}$ who contains a subalgebra isomorphic to $\mathfrak{sl}(2,\mathbb{R})$, I’m trying to show that a nontrivial irreducible representation $\pi:\mathfrak{g}\to\mathrm{End}(V)$ is faithful.
I tried to apply the fact that $\pi$ is isomorphic to $\vee^k\mathbb{C}^2$ for any irreducible complex representation of $\mathfrak{sl}(2,\mathbb{R})$ but failed. Can someone please give me some hints to guide me?