Prime ideal(2)

From Encyclopedia of Mathematics
Revision as of 08:07, 6 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A two-sided ideal $ P $ of a ring $ R $ such that $ AB \subseteq P $, where $ A , B $ are ideals of $ R $, implies either $ A \subseteq P $ or $ B \subseteq P $. For an associative ring the following is an equivalent definition in terms of elements:

$$ a R b \subseteq P \Rightarrow a \in P \textrm{ or } b \in P , $$

where $ a , b $ are elements in $ R $. Every primitive ideal is a prime ideal.

Let $ R $ be an associative-commutative ring with an identity. Then an ideal $ P \subset R $ is prime if and only if $ ab \in P $ implies $ a \in P $ or $ b \in P $, i.e. if and only if the quotient ring $ R / P $ is an integral domain. In this case every maximal ideal is prime and the intersection of all prime ideals is the radical of the null ideal (i.e. is the set of nilpotent elements).

A generalization of the concept of a prime ideal is that of a primary ideal. In the theory of primary decomposition, the prime ideals play the same role as the prime numbers do in the decomposition of integers in powers of prime numbers, while the primary ideals play the role of powers of prime numbers.

An ideal $ P $ in a lattice $ L $ is called prime if

$$ ab \in P \Rightarrow a \in P \textrm{ or } b \in P . $$

An ideal $ P $ is prime if and only if $ F = L \setminus P $ is a prime filter, i.e. if $ a+ b \in F $ implies $ a \in F $ or $ b \in F $.


[1] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)
[2] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)
[3] O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975)
[4] L.A. Skornyakov, "Elements of lattice theory" , A. Hilger (1977) (Translated from Russian)
How to Cite This Entry:
Prime ideal(2). Encyclopedia of Mathematics. URL:
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article