Let $R$ be a non trivial simple ring. I am trying to show that there is a faithful irreducible left $R$-module.
Is the ring $R$ considered as a left module over itself such a module? I think it's faithful since the ring map $R \to R_\ell: r\mapsto (r_\ell:a\mapsto ra))$ has zero kernel but I am not sure that it's irreducible. How do you show that it has no proper left ideals?