AoPSWiki

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.

Personal tools

Search

Toolbox

Prime ideal

From AoPSWiki

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:

Let $R$ be a commutative ring with unity, then an ideal $P\subseteq R$ is prime iff the quotient ring $R/P$ is an integral domain.

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

Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Prime_ideal"

Categories: Stubs | Ring theory

Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.

© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us