Prime Ideals in Noncommutative Rings

Q: How do prime ideals interact with the centre?

Contraction works: p Z(R) is prime in Z(R), since aRb = abR for central a. Extension does not: a prime of Z(R) need not extend to a prime of R, and different primes of R often contract to the same prime of the centre.

Q: Can I localise at the complement of a prime ideal?

Only if R p satisfies the Ore condition, which is a genuine restriction; for Noetherian rings it holds for a class of primes studied under the name *localisable primes*. The failure of localisation is why noncommutative algebraic geometry cannot simply glue affine pieces.

Q: Why does the definition exclude p = R?

For the same reason 1 is not a prime number: with p = R the implication in (10.1) is vacuously true, and admitting it would break the statement that a radical ideal is the intersection of the primes above it. Note the contrast with semiprime ideals, where R is deliberately allowed as the empty intersection.

Executive Summary

Commutative algebra defines a prime ideal by an element condition: $a b \in 𝔭$ forces $a \in 𝔭$ or $b \in 𝔭$ . Transplanted verbatim to a noncommutative ring this condition is far too strong — it would make $M_{2} (k)$ fail to have $(0)$ prime, even though $M_{2} (k)$ is simple. Lam's definition $(10.1)$ tests ideals rather than elements, and $(10.2)$ shows that this single change produces a notion with five equivalent faces, one of which is again an element condition: $a R b \subseteq 𝔭$ .

Everything else in this section — $m$ -systems, the radical $\sqrt{𝔄}$ , semiprime ideals, the lower nilradical — is built on top of the $a R b$ test. It is the workhorse.

$𝔄 𝔅 \subseteq 𝔭$ Defining test

5Equivalent forms in (10.2)

$a R b \subseteq 𝔭$ Element form

MaximalAlways prime

Overview

Let $R$ be a ring with identity; ideal always means two-sided ideal unless the word left or right appears. For ideals $𝔄, 𝔅$ the product $𝔄 𝔅$ is the additive group generated by all $a b$ with $a \in 𝔄$ , $b \in 𝔅$ , and is again an ideal. Primeness is a statement about that product.

𝔭 \neq R and 𝔄 𝔅 \subseteq 𝔭 ⟹ 𝔄 \subseteq 𝔭 or 𝔅 \subseteq 𝔭

(10.1)

The definition of a prime ideal. Note that $𝔭 = R$ is excluded, exactly as in the commutative theory.

Two things are worth noticing immediately. First, the condition is symmetric in left and right: no side is preferred, so primeness is a genuinely two-sided notion and passes unchanged to $R^{op}$ . Second, it is a condition about the ideal lattice, so it is invariant under any isomorphism of ideal lattices — which is why $R$ is prime if and only if $M_{n} (R)$ is prime.

The quotient formulation is often the most convenient: $𝔭$ is prime exactly when $R / 𝔭$ is a prime ring, meaning that the zero ideal of $R / 𝔭$ is prime. Prime rings are the noncommutative substitute for integral domains, and they are the subject of Prime and Semiprime Rings.

Learning Objectives

State $(10.1)$ and explain why the element condition $a b \in 𝔭$ is not used.
Prove the chain of implications $(1) \Rightarrow (2) \Rightarrow (3) \Rightarrow (4) \Rightarrow (1)$ in $(10.2)$ .
Apply the $a R b$ test to decide whether $(0)$ is prime in $M_{n} (D)$ and in $T_{2} (k)$ .
Show that every maximal ideal of $R$ is prime.
Separate prime from completely prime with an explicit ring.
Determine the complete list of prime ideals of the upper triangular ring $T_{2} (k)$ .

Definitions

Definition(10.1)Prime ideal

An ideal $𝔭$ of a ring $R$ is prime if $𝔭 \neq R$ and, for all ideals $𝔄, 𝔅 \subseteq R$ , $𝔄 𝔅 \subseteq 𝔭$ implies $𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$ .

$(a)$: The ideal $R a R$ generated by $a$ . Because $1 \in R$ we have $a \in R a R$ , so $(a)$ is the smallest ideal containing $a$ .
$𝔄 𝔅$: Finite sums $\sum a_{i} b_{i}$ with $a_{i} \in 𝔄$ , $b_{i} \in 𝔅$ ; always $𝔄 𝔅 \subseteq 𝔄 \cap 𝔅$ when both are ideals.
Completely prime: $a b \in 𝔭 \Rightarrow a \in 𝔭$ or $b \in 𝔭$ ; equivalently $R / 𝔭$ is a domain. Strictly stronger than prime.
Prime ring: $R \neq 0$ with $(0)$ prime; equivalently $a R b = 0$ forces $a = 0$ or $b = 0$ .
$Spec R$: The set of prime ideals of $R$ . For noncommutative $R$ it is a set with an inclusion order and a Zariski-style topology, but it is not a functor in the commutative sense.

Rings have an identity and are not assumed commutative. The zero ring has no prime ideals, since the only ideal equals the ring.

Core Concepts

Why ideals rather than elements

Take $R = M_{2} (k)$ for a field $k$ . Then $e_{11} e_{22} = 0$ while neither matrix unit is zero, so $(0)$ would fail an element test. But $R$ is simple: its only ideals are $0$ and $R$ , and $R \cdot R = R not \subseteq 0$ , so $(0)$ satisfies $(10.1)$ . Declaring $M_{2} (k)$ to have no prime ideals at all would destroy the theory before it starts; the ideal-theoretic definition keeps simple rings prime, as they should be.

The general principle: in a noncommutative ring, zero-divisors are cheap and carry no structural information, whereas the vanishing of a whole product of ideals does.

From ideals back to elements

The gain of $(10.2)$ is that primeness can still be tested one element pair at a time — provided the test is $a R b \subseteq 𝔭$ rather than $a b \in 𝔭$ . Inserting the whole ring between $a$ and $b$ is precisely the repair that makes the condition insensitive to accidental zero products.

𝔄 𝔅 \subseteq 𝔭

(a) (b) \subseteq 𝔭

a R b \subseteq 𝔭

one-sided ideals

Reading the chain left to right is the content of the proof of $(10.2)$ : each condition looks weaker than the last, and the cycle closes because a left ideal is squeezed between $a$ and $R b$ .

Maximal ideals and the centre

Every maximal ideal is prime — proved below — so a nonzero ring always has prime ideals, by Zorn's Lemma. Contracting to the centre also behaves: if $𝔭$ is prime in $R$ then $𝔭 \cap Z (R)$ is a prime ideal of the commutative ring $Z (R)$ , because for central $a, b$ one has $a R b = a b R$ .

Key Results

Proposition(10.2)Characterisations of primeness

Let $R$ be a ring with identity and let $𝔭 ⊊ R$ be an ideal. The following are equivalent:

$𝔭$ is prime;
for $a, b \in R$ , $(a) (b) \subseteq 𝔭$ implies $a \in 𝔭$ or $b \in 𝔭$ ;
for $a, b \in R$ , $a R b \subseteq 𝔭$ implies $a \in 𝔭$ or $b \in 𝔭$ ;
for left ideals $𝔄, 𝔅$ of $R$ , $𝔄 𝔅 \subseteq 𝔭$ implies $𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$ ;
for right ideals $𝔄, 𝔅$ of $R$ , $𝔄 𝔅 \subseteq 𝔭$ implies $𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$ .

Proof

**(1) $\Rightarrow$ (2).** $(a)$ and $(b)$ are ideals, so this is a special case of the definition.

**(2) $\Rightarrow$ (3).** Suppose $a R b \subseteq 𝔭$ . Then $(a) (b) = (R a R) (R b R) = R a (R R) b R \subseteq R (a R b) R \subseteq R 𝔭 R \subseteq 𝔭$ , since $𝔭$ is an ideal. Now apply (2).

**(3) $\Rightarrow$ (4).** Let $𝔄, 𝔅$ be left ideals with $𝔄 𝔅 \subseteq 𝔭$ and suppose $𝔄 not \subseteq 𝔭$ ; fix $a \in 𝔄 ∖ 𝔭$ . For any $b \in 𝔅$ we have $R b \subseteq 𝔅$ , hence $a R b \subseteq 𝔄 𝔅 \subseteq 𝔭$ . By (3) and $a \notin 𝔭$ we get $b \in 𝔭$ . Thus $𝔅 \subseteq 𝔭$ .

**(4) $\Rightarrow$ (1).** Every ideal is in particular a left ideal.

For $(4')$ run the same argument on the other side: if $𝔄, 𝔅$ are right ideals, $a \in 𝔄 ∖ 𝔭$ and $b \in 𝔅$ , then $a R \subseteq 𝔄$ gives $a R b \subseteq 𝔄 𝔅 \subseteq 𝔭$ , so again $b \in 𝔭$ . Hence (3) $\Rightarrow$ $(4')$ $\Rightarrow$ (1) as well.

Proposition—Maximal ideals are prime

Let $𝔪$ be a maximal element of the set of proper ideals of a ring $R \neq 0$ . Then $𝔪$ is prime. In particular every nonzero ring possesses at least one prime ideal.

Proof

Let $𝔄, 𝔅$ be ideals with $𝔄 not \subseteq 𝔪$ and $𝔅 not \subseteq 𝔪$ . By maximality $𝔪 + 𝔄 = R = 𝔪 + 𝔅$ , so

R = R \cdot R = (𝔪 + 𝔄) (𝔪 + 𝔅) \subseteq 𝔪 + 𝔄 𝔅 .

If $𝔄 𝔅 \subseteq 𝔪$ this would give $R \subseteq 𝔪$ , contradicting properness. Hence $𝔄 𝔅 not \subseteq 𝔪$ , which is $(10.1)$ . Existence of a maximal ideal follows from Zorn's Lemma, the union of a chain of proper ideals being proper because it omits $1$ .

Corollary—Intersections detect primes

If $𝔭$ is prime and $𝔄 \cap 𝔅 \subseteq 𝔭$ for ideals $𝔄, 𝔅$ , then $𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$ . Indeed $𝔄 𝔅 \subseteq 𝔄 \cap 𝔅 \subseteq 𝔭$ , and $(10.1)$ applies. The same argument shows that a finite intersection of ideals is contained in $𝔭$ only if one of them is.

Counterexample—Prime does not imply completely prime

In $R = M_{2} (k)$ with $k$ a field, $(0)$ is prime — $R$ is simple — but $e_{11} e_{22} = 0$ with $e_{11}, e_{22} \neq 0$ , so $(0)$ is not completely prime and $R$ is not a domain. Conversely every completely prime ideal is prime: if $a R b \subseteq 𝔭$ then in particular $a b = a \cdot 1 \cdot b \in 𝔭$ .

Remark—Passing to quotients

For an ideal $𝔄 \subseteq 𝔭$ , the ideal $𝔭$ is prime in $R$ if and only if $𝔭 / 𝔄$ is prime in $R / 𝔄$ : the correspondence theorem is multiplicative on ideals. Consequently the prime ideals of $R$ containing $𝔄$ are in order-preserving bijection with the prime ideals of $R / 𝔄$ — the fact used repeatedly in The Radical of an Ideal as an Intersection of Primes.

Proof Techniques and Method

How these proofs work, and which move to reuse.

Move 1

Insert the ring

To convert an element statement into an ideal statement, sandwich: $(a) (b) = R a R R b R \subseteq R (a R b) R$ . Every implication (2) $\Rightarrow$ (3) in this section is this one line.

Move 2

Fix a witness outside

To prove $𝔅 \subseteq 𝔭$ , pick a single $a \in 𝔄 ∖ 𝔭$ and test each $b \in 𝔅$ against it. One witness suffices — this is why one-sided ideals can be handled without a one-sided hypothesis.

Move 3

Comaximality squares

If $𝔪 + 𝔄 = R = 𝔪 + 𝔅$ then $R = R^{2} \subseteq 𝔪 + 𝔄 𝔅$ . Expanding a product of sums of ideals and absorbing every term that meets $𝔪$ is the standard route from maximality to primeness.

A fourth move, deferred to the next page, replaces existence arguments by Zorn's Lemma applied to ideals disjoint from an $m$ -system; that is how prime ideals are produced rather than merely recognised.

Worked Example

The prime ideals of the upper triangular ring

Let $k$ be a field and let $R = T_{2} (k)$ be the ring of upper triangular $2 \times 2$ matrices over $k$ . Write $e_{i j}$ for the matrix units. The complete list of ideals of $R$ is

0 ⊊ 𝔍 = k e_{12} ⊊ {\begin{cases} ℑ_{1} = k e_{11} \oplus k e_{12} \\ ℑ_{2} = k e_{12} \oplus k e_{22} \end{cases} ⊊ R,

(E.1)

$ℑ_{1}$ consists of the matrices with zero second row, $ℑ_{2}$ of those with zero first column.

Step 1: the zero ideal is not prime

Compute $e_{22} R e_{11}$ . For $X = (\begin{matrix} a & b \\ 0 & c \end{matrix})$ we get $e_{22} X = (\begin{matrix} 0 & 0 \\ 0 & c \end{matrix})$ and hence $e_{22} X e_{11} = 0$ . So $e_{22} R e_{11} = 0$ with both elements nonzero: by $(10.2) (3)$ , $(0)$ is not prime. $T_{2} (k)$ is not a prime ring.

Step 2: the two maximal ideals are prime

$R / ℑ_{1} ≅ k$ via $X \mapsto c$ and $R / ℑ_{2} ≅ k$ via $X \mapsto a$ . Both quotients are fields, so $ℑ_{1}$ and $ℑ_{2}$ are maximal, hence prime by the proposition above.

Step 3: $𝔍$ is not prime

A direct product: $(\begin{matrix} a & b \\ 0 & 0 \end{matrix}) (\begin{matrix} 0 & y \\ 0 & z \end{matrix}) = (\begin{matrix} 0 & a y + b z \\ 0 & 0 \end{matrix})$ , so $ℑ_{1} ℑ_{2} \subseteq 𝔍$ while neither $ℑ_{1}$ nor $ℑ_{2}$ lies in $𝔍$ . Hence $𝔍$ fails $(10.1)$ .

Sanity check on the $a R b$ test at $ℑ_{1}$ : take $a = e_{22} \notin ℑ_{1}$ and $b = e_{22} \notin ℑ_{1}$ ; then $e_{22} e_{22} e_{22} = e_{22} \notin ℑ_{1}$ , so $e_{22} R e_{22} not \subseteq ℑ_{1}$ , consistent with primeness.

Comparison and Classification

Element tests and what they define
Test on an ideal $𝔭 \neq R$	Commutative meaning	Noncommutative name	Quotient $R / 𝔭$
$a b \in 𝔭 \Rightarrow a \in 𝔭$ or $b \in 𝔭$	prime	completely prime	domain
$a R b \subseteq 𝔭 \Rightarrow a \in 𝔭$ or $b \in 𝔭$	prime	prime	prime ring
$𝔄 𝔅 \subseteq 𝔭 \Rightarrow 𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$	prime	prime	prime ring
$a^{2} \in 𝔭 \Rightarrow a \in 𝔭$	radical	not equivalent to semiprime	reduced
$a R a \subseteq 𝔭 \Rightarrow a \in 𝔭$	radical	semiprime	semiprime ring

Is the zero ideal prime, completely prime, semiprime?
	prime	completely prime	semiprime
$ℤ$	yes	yes	yes
$M_{2} (ℚ)$	yes	no	yes
$k ⟨ x, y ⟩$ (free algebra)	yes	yes	yes
$T_{2} (k)$	no	no	no
$k \times k$	no	no	yes
$ℤ / 6 ℤ$	no	no	yes
$k [x] / (x^{2})$	no	no	no

Is the zero ideal prime, completely prime, semiprime?

The second and fourth rows are the two lessons: a prime ring may be riddled with zero-divisors, and a ring with no nonzero nilpotent ideals need not be prime.

Relationship Map

Maximal idealPrime idealSemiprime idealContains

{Nil}_{*} R

Each arrow is strict. In $ℤ$ the ideal $(0)$ is prime but not maximal; in $T_{2} (k)$ the ideal $k e_{12}$ is semiprime but not prime, being the intersection of the two maximal ideals; and the zero ideal of $T_{2} (k)$ is not even semiprime, since $(k e_{12})^{2} = 0$ .

$𝔭$ prime — equivalent formulations
- ideal-theoretic
  - $𝔄 𝔅 \subseteq 𝔭 \Rightarrow 𝔄 \subseteq 𝔭$ or $𝔅 \subseteq 𝔭$
  - same for left ideals
  - same for right ideals
- element-theoretic
  - $(a) (b) \subseteq 𝔭 \Rightarrow a \in 𝔭$ or $b \in 𝔭$
  - $a R b \subseteq 𝔭 \Rightarrow a \in 𝔭$ or $b \in 𝔭$
- complement-theoretic
  - $R ∖ 𝔭$ is an $m$ -system
  - $𝔭$ is maximal among ideals missing some $m$ -system
- quotient-theoretic
  - $R / 𝔭$ is a prime ring

The complement-theoretic line is developed in m-Systems and the Characterisation of Prime Ideals; the quotient line is used throughout Prime and Semiprime Rings.

Applications and Industry Use

Applications here means where this structure is used — inside mathematics and in the engineering and computing disciplines that consume it.

Noetherian ring theory

Goldie's theorem

A semiprime right Goldie ring has a semisimple artinian classical right ring of quotients, and a prime Goldie ring has a simple artinian one. Primeness is the hypothesis that makes the quotient ring simple rather than merely semisimple.

Representation theory

Primitive spectra

For enveloping algebras of Lie algebras and for quantised coordinate rings, classifying the prime and primitive ideals is the substitute for describing a variety. The prime spectrum carries the geometry when there are no points.

Symbolic computation

Ideal arithmetic

Non-commutative Gröbner basis packages (Plural in Singular, GBNP in GAP) compute products and intersections of two-sided ideals — the operations that the definition of primeness is phrased in.

Operator algebras

Prime C*-algebras

A C*-algebra is prime exactly when any two nonzero closed two-sided ideals intersect nontrivially; primeness is the algebraic shadow of irreducibility of the associated representation theory.

Honest summary: prime ideals are infrastructure. Their engineering payoff is indirect and arrives through Goldie's theorem, through the classification of simple modules, and through the computer algebra that both of these enable.

Standards and Notation

Standards here covers notation, symbol and markup standards, and reference implementations, rather than material or design codes.

Ideal symbols

𝔭, 𝔮

for primes;

𝔄, 𝔅

for general ideals (Lam). Many authors use

P, Q, I, J

Generated ideal

(a) = R a R

; some texts write

⟨ a ⟩

R a R

explicitly to stress the two-sided span.

Spectrum

Spec R

for prime ideals,

Prim R

for primitive ideals; the two coincide far less often than in the commutative case.

Ideal notation

𝔄 ⊴ R

for a two-sided ideal;

𝔄 \subseteq_{R} R

for a left ideal.

MarkupPresentation MathML per ISO/IEC 40314; set and operator symbols per ISO 80000-2.

ImplementationsGAP (GBNP), Singular:Plural, Magma for two-sided ideal arithmetic in finitely presented algebras.

Failure Modes and Common Mistakes

Do not assume a prime ring has no zero-divisors — $M_{2} (k)$ is the standing counterexample.
Do not assume every prime ideal is maximal, or that maximal left ideals are prime: primeness is a property of two-sided ideals only.
Do not expect a workable localisation $R_{𝔭}$ at a prime. Inverting $R ∖ 𝔭$ requires an Ore condition, which generally fails; this is the deepest difference from commutative algebra.
Do not confuse prime ideal with prime element; the latter has no standard noncommutative meaning.
Do not conclude from $𝔄 𝔅 \subseteq 𝔭$ and $𝔄 not \subseteq 𝔭$ that $𝔅 \subseteq 𝔭$ unless $𝔄$ and $𝔅$ really are ideals — for arbitrary additive subgroups the implication is false.

Historical Notes and Lessons Learned

1929Krull's prime idealsKrull consolidates the theory of prime ideals in commutative rings, including the characterisation of the radical of an ideal as an intersection of primes.
1943Baer's radical idealsBaer studies radical ideals in general rings and introduces what becomes the lower nilradical, forcing a usable noncommutative notion of prime.
1949McCoy's prime ideals in general ringsMcCoy gives the definition by products of ideals together with the m-system machinery, and proves the intersection theorem in full generality.
1951Levitzki on the lower radicalLevitzki relates prime ideals to the lower radical and to nil one-sided ideals, tying the two strands of the theory together.
1958–1960Goldie's theoremsGoldie characterises the rings with a semisimple artinian classical quotient ring, making semiprime and prime rings central objects of noncommutative Noetherian theory.

The methodological lesson is the same one that produced the Jacobson radical: when a commutative definition breaks, do not weaken it — restate it at the level of ideals, where the noncommutativity has nowhere to hide, then look for the element-level shadow it casts. Here that shadow is $a R b$ .

Quick Reference

Definition

𝔭 \neq R

and

𝔄 𝔅 \subseteq 𝔭 \Rightarrow 𝔄 \subseteq 𝔭

𝔅 \subseteq 𝔭

Working test

a R b \subseteq 𝔭 \Rightarrow a \in 𝔭

b \in 𝔭

Quotient

𝔭

prime

\Leftrightarrow

R / 𝔭

a prime ring

Always primeevery maximal ideal; hence primes exist in any nonzero ring

Sidesprime in

R

\Leftrightarrow

prime in

R^{op}

Stronger notioncompletely prime:

a b \in 𝔭 \Rightarrow a \in 𝔭

b \in 𝔭

Matrix rings

𝔭

prime in

R

\Leftrightarrow

M_{n} (𝔭)

prime in

M_{n} (R)

Centre

𝔭

prime

\Rightarrow

𝔭 \cap Z (R)

prime in

Z (R)

Deciding primeness in practice
If the ring is…	Use	Reference
simple	$(0)$ is prime automatically	(10.2), paragraph after
commutative	the usual test $a b \in 𝔭$	(10.2)(3) with $a R b = a b R$
a matrix ring $M_{n} (S)$	reduce to primes of $S$	(10.20)
given by generators	test $a R b \subseteq 𝔭$ on generators	(10.2)(3)
a quotient $R / 𝔄$	primes of $R / 𝔄$ = primes of $R$ containing $𝔄$	correspondence

Frequently Asked Questions

Why not simply define

𝔭

to be prime when

R / 𝔭

has no zero-divisors?

Because that notion — completely prime — is too rare to support a theory. Matrix rings over fields would have no prime ideals whatsoever, the intersection theorem $(10.7)$ would fail, and there would be no sensible lower nilradical. Completely prime ideals remain useful, but as a special class inside the primes rather than as the basic notion.

Is a prime ideal of

R

prime as a left ideal, or maximal among something?

Neither. Primeness is defined only for two-sided ideals and refers to products of ideals; there is no useful notion of a prime left ideal in this sense. Prime ideals are, however, exactly the ideals maximal with respect to being disjoint from some $m$ -system, which is the closest available maximality description.

Does every prime ideal contain a minimal prime?

Yes. A Zorn's Lemma argument on chains of primes descending from $𝔭$ works because the intersection of a descending chain of prime ideals is prime: if $𝔄 𝔅$ lies in the intersection but neither factor does, some member of the chain fails primeness. Minimal primes exist over any ideal.

How do prime ideals interact with the centre?

Contraction works: $𝔭 \cap Z (R)$ is prime in $Z (R)$ , since $a R b = a b R$ for central $a$ . Extension does not: a prime of $Z (R)$ need not extend to a prime of $R$ , and different primes of $R$ often contract to the same prime of the centre.

Can I localise at the complement of a prime ideal?

Only if $R ∖ 𝔭$ satisfies the Ore condition, which is a genuine restriction; for Noetherian rings it holds for a class of primes studied under the name localisable primes. The failure of localisation is why noncommutative algebraic geometry cannot simply glue affine pieces.

Why does the definition exclude

𝔭 = R

For the same reason $1$ is not a prime number: with $𝔭 = R$ the implication in $(10.1)$ is vacuously true, and admitting it would break the statement that a radical ideal is the intersection of the primes above it. Note the contrast with semiprime ideals, where $R$ is deliberately allowed as the empty intersection.

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, §10 (pp. 163–181).
N. H. McCoy, “Prime ideals in general rings”, American Journal of Mathematics 71 (1949), 823–833.
K. R. Goodearl and R. B. Warfield, Jr., An Introduction to Noncommutative Noetherian Rings, 2nd edition, London Mathematical Society Student Texts 61, Cambridge University Press, 2004, Chapters 3 and 6.
L. H. Rowen, Ring Theory, Volume I, Academic Press, 1988, Chapter 2.
N. Jacobson, Structure of Rings, American Mathematical Society Colloquium Publications 37, revised edition, 1964.

AI Suggested Questions

Show that the intersection of a descending chain of prime ideals is prime, and deduce the existence of minimal primes.
Give an example of a prime ideal of a noncommutative ring whose contraction to a subring is not prime.
Which prime ideals of a Noetherian ring are localisable, and what is the Ore condition needed?
Compute the prime ideals of the Weyl algebra $A_{1} (k)$ in characteristic zero and in characteristic $p$ .
How does the prime spectrum of $M_{n} (R)$ compare with that of $R$ , as ordered sets and as topological spaces?
Explain the relationship between prime ideals and primitive ideals, and give a prime ideal that is not primitive.
State Goldie's theorem precisely and show where primeness rather than semiprimeness is used.

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

Why ideals rather than elements

From ideals back to elements

Maximal ideals and the centre

06Key Results

07Proof Techniques and Method

Insert the ring

Fix a witness outside

Comaximality squares

08Worked Example

The prime ideals of the upper triangular ring

Step 1: the zero ideal is not prime

Step 2: the two maximal ideals are prime

Step 3: 𝔍 is not prime

09Comparison and Classification

10Relationship Map

11Applications and Industry Use

Goldie's theorem

Primitive spectra

Ideal arithmetic

Prime C*-algebras

12Standards and Notation

13Failure Modes and Common Mistakes

14Historical Notes and Lessons Learned

15Quick Reference

16Frequently Asked Questions

17Related KEVOS Topics

18References

19AI Suggested Questions

Continue learning

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Key Results

Proof Techniques and Method

Worked Example

Step 3: $𝔍$ is not prime

Comparison and Classification

Relationship Map

Applications and Industry Use

Standards and Notation

Failure Modes and Common Mistakes

Historical Notes and Lessons Learned

Quick Reference

Frequently Asked Questions

Related KEVOS Topics

References

AI Suggested Questions