|
|
|
Viewing Version
7
of
'prime ideal'
|
[ view 'prime ideal'
|
back to history
]
| Title of object: |
prime ideal |
| Canonical Name: |
PrimeIdeal |
| Type: |
Definition |
| Created on: |
2001-10-20 01:40:08 |
| Modified on: |
2002-07-25 19:33:45 |
| Classification: |
msc:13C99, msc:16D99 |
Revision comment (for changes between this and next version):
| Changes for correction #2541 ('Identity is not required'). |
Preamble:
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic} |
Content:
Let $R$ be a ring with identity. A two-sided proper ideal $\mathfrak{p}$ of a ring $R$ is called a prime ideal if the following equivalent conditions are met:
\begin{enumerate}
\item If $I$ and $J$ are left ideals and the product of ideals $IJ$ satisfies $IJ \subset \mathfrak{p}$, then $I \subset \mathfrak{p}$ or $J \subset \mathfrak{p}$.
\item If $I$ and $J$ are right ideals with $IJ \subset \mathfrak{p}$, then $I \subset \mathfrak{p}$ or $J \subset \mathfrak{p}$.
\item If $I$ and $J$ are two-sided ideals with $IJ \subset \mathfrak{p}$, then $I \subset \mathfrak{p}$ or $J\subset \mathfrak{p}$.
\item If $x$ and $y$ are elements of $R$ with $xRy \subset \mathfrak{p}$, then $x \in \mathfrak{p}$ or $y \in \mathfrak{p}$.
\item $R/\mathfrak{p}$ is a prime ring.
\end{enumerate}
When $R$ is commutative, an ideal $\mathfrak{p}$ of $R$ is prime if and only if for any $a,b \in R$, if $a\cdot b \in \mathfrak{p}$ then either $a \in \mathfrak{p}$ or $b \in \mathfrak{p}$.
One also has in this case that an ideal $\mathfrak{p} \subset R$ is prime if and only if the quotient ring $R/\mathfrak{p}$ is an integral domain. |
|
|
|
|
|
