Let be a ring, and let be an ideal of . We say that is a left (right) primitive ideal if there exists a simple left (right) -module such that is the annihilator of in .
We say that is a left (right) primitive ring if the zero ideal is a left (right) primitive ideal of .
Note that is a left (right) primitive ideal if and only if is a left (right) primitive ring.