Difference between revisions of "Prime ideal"

(Created page with 'In ring theory we say that an ideal <math>P</math> of a ring <math>R</math> is '''prime''' if <math>P\ne R</math> and for any ideals <math>I,J\subseteq R</math> with …')
 
m (category)
Line 5: Line 5:
 
This second definition easily implies the the following important property of prime ideals in commutative rings with unity:
 
This second definition easily implies the the following important property of prime ideals in commutative rings with unity:
 
* Let <math>R</math> be a commutative ring with unity, then an ideal <math>P\subseteq R</math> is prime iff the [[quotient ring]] <math>R/P</math> is an [[integral domain]].
 
* Let <math>R</math> be a commutative ring with unity, then an ideal <math>P\subseteq R</math> is prime iff the [[quotient ring]] <math>R/P</math> is an [[integral domain]].
 +
 +
[[Category:Ring theory]]

Revision as of 19:42, 23 August 2009

In ring theory we say that an ideal $P$ of a ring $R$ is prime if $P\ne R$ and for any ideals $I,J\subseteq R$ with $IJ\subseteq P$ we have either $I\subseteq P$ or $J\subseteq P$.

If $R$ is commutative then the following simpler definition holds: An ideal $P\subseteq R$ is prime iff $P\ne R$ and for any $a,b\in R$ if $ab\in P$ then either $a\in P$ or $b\in P$.

This second definition easily implies the the following important property of prime ideals in commutative rings with unity:

Invalid username
Login to AoPS