Prime ideal


In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers.[1][2] The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

A Hasse diagram of a portion of the lattice of ideals of the integers The purple nodes indicate prime ideals. The purple and green nodes are semiprime ideals, and the purple and blue nodes are primary ideals.

Primitive ideals are prime, and prime ideals are both primary and semiprime.

Prime ideals for commutative rings




An ideal P of a commutative ring R is prime if it has the following two properties:

  • If a and b are two elements of R such that their product ab is an element of P, then a is in P or b is in P,
  • P is not the whole ring R.

This generalizes the following property of prime numbers, known as Euclid's lemma: if p is a prime number and if p divides a product ab of two integers, then p divides a or p divides b. We can therefore say

A positive integer n is a prime number if and only if   is a prime ideal in  


  • A simple example: In the ring   the subset of even numbers is a prime ideal.
  • Given an integral domain  , any prime element   generates a principal prime ideal  . Eisenstein's criterion for integral domains (hence UFDs) is an effective tool for determining whether or not an element in a polynomial ring is irreducible. For example, take an irreducible polynomial   in a polynomial ring   over some field  .
  • If R denotes the ring   of polynomials in two variables with complex coefficients, then the ideal generated by the polynomial Y 2X 3X − 1 is a prime ideal (see elliptic curve).
  • In the ring   of all polynomials with integer coefficients, the ideal generated by 2 and X is a prime ideal. It consists of all those polynomials whose constant coefficient is even.
  • In any ring R, a maximal ideal is an ideal M that is maximal in the set of all proper ideals of R, i.e. M is contained in exactly two ideals of R, namely M itself and the whole ring R. Every maximal ideal is in fact prime. In a principal ideal domain every nonzero prime ideal is maximal, but this is not true in general. For the UFD  , Hilbert's Nullstellensatz states that every maximal ideal is of the form  
  • If M is a smooth manifold, R is the ring of smooth real functions on M, and x is a point in M, then the set of all smooth functions f with f (x) = 0 forms a prime ideal (even a maximal ideal) in R.


Although the first two rings are integral domains (in fact the first is a UFD) the last is not an integral domain since it is isomorphic to
showing that the ideal   is not prime. (See the first property listed below.)
  • Another non-example is the ideal   since we have
but neither   nor   are elements of the ideal.


  • An ideal I in the ring R (with unity) is prime if and only if the factor ring R/I is an integral domain. In particular, a commutative ring (with unity) is an integral domain if and only if (0) is a prime ideal. (Note that the zero ring has no prime ideals, because the ideal (0) is the whole ring.)
  • An ideal I is prime if and only if its set-theoretic complement is multiplicatively closed.[3]
  • Every nonzero ring contains at least one prime ideal (in fact it contains at least one maximal ideal), which is a direct consequence of Krull's theorem.
  • More generally, if S is any multiplicatively closed set in R, then a lemma essentially due to Krull shows that there exists an ideal of R maximal with respect to being disjoint from S, and moreover the ideal must be prime. This can be further generalized to noncommutative rings (see below).[4] In the case {S} = {1}, we have Krull's theorem, and this recovers the maximal ideals of R. Another prototypical m-system is the set, {x, x2, x3, x4, ...}, of all positive powers of a non-nilpotent element.
  • The preimage of a prime ideal under a ring homomorphism is a prime ideal. The analogous fact is not always true for maximal ideals, which is one reason algebraic geometers define the spectrum of a ring to be its set of prime rather than maximal ideals; one wants a homomorphism of rings to give a map between their spectra.
  • The set of all prime ideals (called the spectrum of a ring) contains minimal elements (called minimal prime ideals). Geometrically, these correspond to irreducible components of the spectrum.
  • The sum of two prime ideals is not necessarily prime. For an example, consider the ring   with prime ideals P = (x2 + y2 − 1) and Q = (x) (the ideals generated by x2 + y2 − 1 and x respectively). Their sum P + Q = (x2 + y2 − 1, x) = (y2 − 1, x) however is not prime: y2 − 1 = (y − 1)(y + 1) ∈ P + Q but its two factors are not. Alternatively, the quotient ring has zero divisors so it is not an integral domain and thus P + Q cannot be prime.
  • Not every ideal which cannot be factored into two ideals is a prime ideal; e.g.   cannot be factored but is not prime.
  • In a commutative ring R with at least two elements, if every proper ideal is prime, then the ring is a field. (If the ideal (0) is prime, then the ring R is an integral domain. If q is any non-zero element of R and the ideal (q2) is prime, then it contains q and then q is invertible.)
  • A nonzero principal ideal is prime if and only if it is generated by a prime element. In a UFD, every nonzero prime ideal contains a prime element.



One use of prime ideals occurs in algebraic geometry, where varieties are defined as the zero sets of ideals in polynomial rings. It turns out that the irreducible varieties correspond to prime ideals. In the modern abstract approach, one starts with an arbitrary commutative ring and turns the set of its prime ideals, also called its spectrum, into a topological space and can thus define generalizations of varieties called schemes, which find applications not only in geometry, but also in number theory.

The introduction of prime ideals in algebraic number theory was a major step forward: it was realized that the important property of unique factorisation expressed in the fundamental theorem of arithmetic does not hold in every ring of algebraic integers, but a substitute was found when Richard Dedekind replaced elements by ideals and prime elements by prime ideals; see Dedekind domain.

Prime ideals for noncommutative rings


The notion of a prime ideal can be generalized to noncommutative rings by using the commutative definition "ideal-wise". Wolfgang Krull advanced this idea in 1928.[5] The following content can be found in texts such as Goodearl's[6] and Lam's.[7] If R is a (possibly noncommutative) ring and P is a proper ideal of R, we say that P is prime if for any two ideals A and B of R:

  • If the product of ideals AB is contained in P, then at least one of A and B is contained in P.

It can be shown that this definition is equivalent to the commutative one in commutative rings. It is readily verified that if an ideal of a noncommutative ring R satisfies the commutative definition of prime, then it also satisfies the noncommutative version. An ideal P satisfying the commutative definition of prime is sometimes called a completely prime ideal to distinguish it from other merely prime ideals in the ring. Completely prime ideals are prime ideals, but the converse is not true. For example, the zero ideal in the ring of n × n matrices over a field is a prime ideal, but it is not completely prime.

This is close to the historical point of view of ideals as ideal numbers, as for the ring   "A is contained in P" is another way of saying "P divides A", and the unit ideal R represents unity.

Equivalent formulations of the ideal PR being prime include the following properties:

  • For all a and b in R, (a)(b) ⊆ P implies aP or bP.
  • For any two right ideals of R, ABP implies AP or BP.
  • For any two left ideals of R, ABP implies AP or BP.
  • For any elements a and b of R, if aRbP, then aP or bP.

Prime ideals in commutative rings are characterized by having multiplicatively closed complements in R, and with slight modification, a similar characterization can be formulated for prime ideals in noncommutative rings. A nonempty subset SR is called an m-system if for any a and b in S, there exists r in R such that arb is in S.[8] The following item can then be added to the list of equivalent conditions above:

  • The complement RP is an m-system.


  • Any primitive ideal is prime.
  • As with commutative rings, maximal ideals are prime, and also prime ideals contain minimal prime ideals.
  • A ring is a prime ring if and only if the zero ideal is a prime ideal, and moreover a ring is a domain if and only if the zero ideal is a completely prime ideal.
  • Another fact from commutative theory echoed in noncommutative theory is that if A is a nonzero R-module, and P is a maximal element in the poset of annihilator ideals of submodules of A, then P is prime.

Important facts

  • Prime avoidance lemma. If R is a commutative ring, and A is a subring (possibly without unity), and I1, ..., In is a collection of ideals of R with at most two members not prime, then if A is not contained in any Ij, it is also not contained in the union of I1, ..., In.[9] In particular, A could be an ideal of R.
  • If S is any m-system in R, then a lemma essentially due to Krull shows that there exists an ideal I of R maximal with respect to being disjoint from S, and moreover the ideal I must be prime (the primality I can be proved as follows: if  , then there exist elements   such that   by the maximal property of I. Now, if  , then  , which is a contradiction).[4] In the case {S} = {1}, we have Krull's theorem, and this recovers the maximal ideals of R. Another prototypical m-system is the set, {x, x2, x3, x4, ...}, of all positive powers of a non-nilpotent element.
  • For a prime ideal P, the complement RP has another property beyond being an m-system. If xy is in RP, then both x and y must be in RP, since P is an ideal. A set that contains the divisors of its elements is called saturated.
  • For a commutative ring R, there is a kind of converse for the previous statement: If S is any nonempty saturated and multiplicatively closed subset of R, the complement RS is a union of prime ideals of R.[10]
  • The intersection of members of a descending chain of prime ideals is a prime ideal, and in a commutative ring the union of members of an ascending chain of prime ideals is a prime ideal. With Zorn's Lemma, these observations imply that the poset of prime ideals of a commutative ring (partially ordered by inclusion) has maximal and minimal elements.

Connection to maximality


Prime ideals can frequently be produced as maximal elements of certain collections of ideals. For example:

  • An ideal maximal with respect to having empty intersection with a fixed m-system is prime.
  • An ideal maximal among annihilators of submodules of a fixed R-module M is prime.
  • In a commutative ring, an ideal maximal with respect to being non-principal is prime.[11]
  • In a commutative ring, an ideal maximal with respect to being not countably generated is prime.[12]

See also



  1. ^ Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.
  2. ^ Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.
  3. ^ Reid, Miles (1996). Undergraduate Commutative Algebra. Cambridge University Press. ISBN 0-521-45889-7.
  4. ^ a b Lam First Course in Noncommutative Rings, p. 156
  5. ^ Krull, Wolfgang, Primidealketten in allgemeinen Ringbereichen, Sitzungsberichte Heidelberg. Akad. Wissenschaft (1928), 7. Abhandl.,3-14.
  6. ^ Goodearl, An Introduction to Noncommutative Noetherian Rings
  7. ^ Lam, First Course in Noncommutative Rings
  8. ^ Obviously, multiplicatively closed sets are m-systems.
  9. ^ Jacobson Basic Algebra II, p. 390
  10. ^ Kaplansky Commutative rings, p. 2
  11. ^ Kaplansky Commutative rings, p. 10, Ex 10.
  12. ^ Kaplansky Commutative rings, p. 10, Ex 11.

Further reading

  • Goodearl, K. R.; Warfield, R. B. Jr. (2004), An introduction to noncommutative Noetherian rings, London Mathematical Society Student Texts, vol. 61 (2 ed.), Cambridge: Cambridge University Press, pp. xxiv+344, doi:10.1017/CBO9780511841699, ISBN 0-521-54537-4, MR 2080008
  • Jacobson, Nathan (1989), Basic algebra. II (2 ed.), New York: W. H. Freeman and Company, pp. xviii+686, ISBN 0-7167-1933-9, MR 1009787
  • Kaplansky, Irving (1970), Commutative rings, Boston, Mass.: Allyn and Bacon Inc., pp. x+180, MR 0254021
  • Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, vol. 131 (2nd ed.), New York: Springer-Verlag, pp. xx+385, doi:10.1007/978-1-4419-8616-0, ISBN 0-387-95183-0, MR 1838439, Zbl 0980.16001
  • Lam, T. Y.; Reyes, Manuel L. (2008), "A prime ideal principle in commutative algebra", J. Algebra, 319 (7): 3006–3027, doi:10.1016/j.jalgebra.2007.07.016, ISSN 0021-8693, MR 2397420, Zbl 1168.13002
  • "Prime ideal", Encyclopedia of Mathematics, EMS Press, 2001 [1994]