Facts about algebras when the coefficient ring is a simple ring

instance instFaithfulSMul_1 (R : Type u_1) (A : Type u_2) [CommRing R] [Semiring A] [Algebra R A] [IsSimpleRing R] [Nontrivial A] : FaithfulSMul R A