Semiprime ideal

A two-sided ideal whose quotient ring has no nonzero nilpotent two-sided ideal, equivalently an intersection of prime ideals.

Version

v1 · 2026-10-31 · History

Domain-specific #

14577

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Algebra, Ring Theory → Mathematics

Aliases

Radical ideal (commutative case)

Core Idea

A semiprime ideal is a two-sided ideal \(I\) of a unital associative ring \(R\) for which the quotient \(R/I\) has no nonzero nilpotent two-sided ideal.^[1] Equivalently, if some power \(J^n\) of a two-sided ideal lies inside \(I\), then \(J\) already lies inside \(I\).^[1] It can also be described as an intersection of prime ideals.^[2] Under the inclusive convention, the unit ideal \(I=R\) is the intersection of an empty family of containing prime ideals.^[1] The ring \(R\) itself is semiprime when its zero ideal is semiprime.^[1]

In a commutative ring, this is the familiar radical ideal test: \(x^n\in I\) implies \(x\in I\).^[3] In a noncommutative ring the test concerns ideals, not individual elements.^[1] A semiprime ring may still have nonzero elements whose square is zero.^[1]

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree that any child-level picture collapses into an element-wise test (no element whose power lands inside) or vague club talk, which is exactly the misconception the concept rules out outside commutative rings.

 

No faithful explanation at this level. All three generators agree that without the notion of a two-sided ideal the explanation collapses into the element-wise test x^n in I implies x in I, which fails noncommutatively (M_2(k) has e_12 squaring to zero yet is semiprime).

Ideals Hiding No Nilpotent Ideals

In abstract algebra, a ring is a number-like system with addition and multiplication, and an ideal I is a special subset that absorbs multiplication from either side. I is semiprime if, whenever some whole ideal J has a power J^n that falls inside I, then J itself was already inside I. Equivalently, I is an intersection of prime ideals, or the quotient ring R/I has no nonzero ideal that becomes zero when raised to a power. It's important that this is about whole ideals, not single elements: in the 2-by-2 matrix ring, the zero ideal is semiprime even though some nonzero matrices square to zero. In commutative rings, though, it becomes the familiar element test: if x^n is in I then x is in I, and such ideals are called radical ideals.

 

A two-sided ideal I of an associative ring R is semiprime if R/I contains no nonzero nilpotent two-sided ideal. Equivalently, for every two-sided ideal J, J^n ⊆ I for some n ≥ 1 implies J ⊆ I. A third equivalent characterization is that I is an intersection of prime ideals of R. These are tests of one relation between a ring and an ideal, not separate notions. A ring is semiprime exactly when its zero ideal is semiprime. Outside commutative algebra, nilpotence of ideals must be distinguished from nilpotence of elements: M_2(k) has no nonzero nilpotent two-sided ideal, yet the matrix unit e_12 satisfies e_12² = 0. In commutative rings, semiprime is equivalent to the element condition x^n ∈ I ⇒ x ∈ I, and these are the radical ideals. Under the ideal-power definition and the convention that an empty intersection of primes is R, the unit ideal counts as semiprime, though some authors require semiprime ideals to be proper.

Scope of Application

This is a rule about two-sided ideals, their products and quotient rings.^[1] It applies to unital associative commutative rings such as \(\mathbb Z\) and noncommutative rings such as matrix rings.^[1] The unit ideal \(I=R\) passes the inclusive ideal-power definition, although some authors use a proper-ideal convention.^[1]

A semiprime ring that also meets the right Goldie finiteness and annihilator conditions has a semisimple Artinian classical right quotient ring.^[4] This is an additional theorem, not part of the semiprime definition.

Clarity

Ask whether a nonzero two-sided ideal in \(R/I\) can disappear after being multiplied by itself enough times. If it can, \(I\) is not semiprime.^[1] If none can, \(I\) is semiprime.^[1] When \(R\) is commutative, individual element powers provide a shortcut; in a general ring they do not.^[1][3]

Manages Complexity

The quotient test, ideal-power test and prime-intersection description let a reader use whichever structure is easiest to inspect.^[1][2] They describe the same ring-and-ideal pair. The prime radical of \(I\) is the intersection of all prime ideals above \(I\); \(I\) is semiprime precisely when it already equals that intersection.^[2]

Abstract Reasoning

A nonzero nilpotent ideal always has a nonzero power whose square is zero.^[1] Thus checking for nonzero square-zero ideals in \(R/I\) suffices to check semiprimeness.^[1] This reduction turns a condition about every positive power into a sharp obstruction test.

Knowledge Transfer

The same ideal-power rule applies to unlike rings. In \(\mathbb Z\) it reduces to the element-power rule.^[3] In a matrix ring it still applies, but nilpotent elements do not by themselves imply that the ring fails the test.^[1][3] The rule transfers within ring theory because both settings have two-sided ideals and ideal multiplication.

Example

In \(R=\mathbb Z\), \(I=30\mathbb Z\) is semiprime: \(30\mathbb Z=(2)\cap(3)\cap(5)\), an intersection of prime ideals.^[3][2] By contrast, \(12\mathbb Z\) is not semiprime: $6$ is outside that ideal, but \(6^2=36\) is inside it.^[3]

For a contrasting noncommutative case, take \(I=0\) in \(M_2(k)\) over a field. This simple ring has no nonzero nilpotent two-sided ideal, so \(I\) is semiprime; nevertheless the nonzero matrix unit \(e_{12}\) satisfies \(e_{12}^2=0\).^[1]

Mapped back: the carrier is the ring, \(I\) is the tested two-sided ideal, and a nilpotent ideal in the quotient is the failure witness.^[1] The integer and matrix cases differ in whether an element-power shortcut is valid.^[1][3]

Relationships to Other Abstractions

Current abstraction Semiprime ideal Domain-specific

Parents (1) — outgoing typed relations

• Semiprime ideal presupposes Ring Domain-specific

  The semiprime-ideal predicate presupposes a ring whose multiplication defines ideals, their products, and the quotient R/I.

Hierarchy paths (5) — routes to 5 parentless roots

• Semiprime ideal → presupposes Ring → includes Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Semiprime ideal sits in a sparse region of the domain-specific corpus (80^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Commutative Rings & Arithmetic Structures (8 abstractions)

Nearest neighbors

• Semiprimitive ring — 0.83
• Different ideal — 0.82
• Inverse Element — 0.82
• Arf ring — 0.81
• Seminormal ring — 0.81

Computed from structural-signature embeddings · 2026-10-31

Not to Be Confused With

• Prime ideal: every prime ideal is semiprime, but an intersection such as \(30\mathbb Z\) need not be prime.^[2]
• No nilpotent elements: this stronger element-level condition is not the general noncommutative definition.^[1]
• Semiprimitive ring: it asks for a zero Jacobson radical; semiprimeness asks for a zero prime radical in the ring case.^[1]
• A nonempty complement n-system when \(I=R\): the complement is empty, so that recognition test requires \(I\) proper.^[1]

References

[1] T. Y. Lam, A First Course in Noncommutative Rings, 2^nd ed., Graduate Texts in Mathematics 131 (Springer, 2001), §10, Definition 10.6, Theorem 10.7, Definition 10.8, Proposition 10.9, the n-system paragraph following Proposition 10.9, Theorem 10.11, Corollary 10.12, Definitions 10.13 and 10.15, and Examples 10.17. Publisher record. The edition and locators were checked against a searchable full-book copy; the independent derivations in this entry state the needed one-sided and n-system qualifications. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v

[2] MIT OpenCourseWare, “18.706 Noncommutative Algebra Lecture 23 — Another Proof of Amitsur-Levitski, PI Algebras” (2023; course instructor Roman Bezrukavnikov), Lemma 23.19 and proof, PDF p. 5. Full course note. registry ↩a ↩b ↩c ↩d ↩e

[3] The Stacks Project Authors. “The spectrum of a ring,” Section 10.17 and Lemma 10.17.2. Part (7) gives the radical of a commutative ideal as the intersection of containing primes; the $30$ and $12$ calculations here are elementary deductions from that criterion. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g

[4] Richard G. Swan, “Goldie's Theorem,” §3, Definition 3.1 and Theorem 3.2, with proof. Author-hosted full text. registry ↩