View source for Prime ideal(2)

<!--
p0745201.png
$#A+1 = 24 n = 0
$#C+1 = 24 : ~/encyclopedia/old_files/data/P074/P.0704520 Prime ideal
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A two-sided [[Ideal|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|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|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|primary ideal]]. In the theory of [[Primary decomposition|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|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 $.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,   "Elements of mathematics. Commutative algebra" , Addison-Wesley  (1972)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Jacobson,   "Structure of rings" , Amer. Math. Soc.  (1956)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  O. Zariski,   P. Samuel,   "Commutative algebra" , '''1''' , Springer  (1975)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.A. Skornyakov,   "Elements of lattice theory" , A. Hilger  (1977)  (Translated from Russian)</TD></TR></table>