Difference between revisions of "Prime ideal"
m (category) |
m (stub) |
||
Line 6: | Line 6: | ||
* 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]]. | ||
+ | {{stub}} | ||
[[Category:Ring theory]] | [[Category:Ring theory]] |
Revision as of 18:46, 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.
This article is a stub. Help us out by expanding it.