2A ring is primitive if it admits a faithful simple module. A two sided ideal is primitive if the quotient by it is a primitive ring.