1
$\begingroup$

By definition, a primitive ideal $P$ exists if there is a simple $R$-module $S$ such that $Ann(S)$=$P$. I saw another statement as follows:

"$P$ is a primitive ideal of a ring if there is a left maximal ideal $L$ such that $P \subsetneq L \ $ and for any ideal $A$ of $R$, $A \subsetneq L\ $, then $A\subseteq P$ "

If this claim is right please note me some good references. Thanks.

  • 1
    @Basil: I would suggest correcting it, and then posting the reference/proof you found as an answer.2011-10-30

1 Answers 1

1

this is a community wiki answer intended to get this out of the unanswered queue.


As discovered in the comments, the user later discovered the statement as written is flawed, and that the most likely intended statement was that a primitive ideal is an ideal maximal with respect to containment in a maximal left ideal.