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