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 …') |
(No difference)
|
Revision as of 19:41, 23 August 2009
In ring theory we say that an ideal of a ring is prime if and for any ideals with we have either or .
If is commutative then the following simpler definition holds: An ideal is prime iff and for any if then either or .
This second definition easily implies the the following important property of prime ideals in commutative rings with unity:
- Let be a commutative ring with unity, then an ideal is prime iff the quotient ring is an integral domain.