Primitive ideal

The primitive spectrum of a ring is a non-commutative analog^{[note 1]} of the prime spectrum of a commutative ring.

Let A be a ring and ${\displaystyle \operatorname {Prim} (A)}$ the set of all primitive ideals of A. Then there is a topology on ${\displaystyle \operatorname {Prim} (A)}$, called the Jacobson topology, defined so that the closure of a subset T is the set of primitive ideals of A containing the intersection of elements of T.

Now, suppose A is an associative algebra over a field. Then, by definition, a primitive ideal is the kernel of an irreducible representation ${\displaystyle \pi }$ of A and thus there is a surjection

${\displaystyle \pi \mapsto \ker \pi :{\widehat {A}}\to \operatorname {Prim} (A).}$

Example: the spectrum of a unital C*-algebra.

• Noncommutative algebraic geometry § History
• Dixmier mapping