Prime ideal

Revision as of 17:08, 7 April 2012 by Minsoens (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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:

This article is a stub. Help us out by expanding it.

Invalid username
Login to AoPS