# Definition:Prime Ideal of Ring

Jump to navigation
Jump to search

## Definition

Let $R$ be a ring.

A **prime ideal** of $R$ is a proper ideal $P$ such that:

- $I \circ J \subseteq P \implies I \subseteq P \text { or } J \subseteq P$

for any ideals $I$ and $J$ of $R$.

## Commutative and Unitary Ring

When $\struct {R, +, \circ}$ is a commutative and unitary ring, the definition of a **prime ideal** can be given in a number of equivalent forms:

### Definition 1

A **prime ideal** of $R$ is a proper ideal $P$ such that:

- $\forall a, b \in R : a \circ b \in P \implies a \in P$ or $b \in P$

### Definition 2

A **prime ideal** of $R$ is a proper ideal $P$ of $R$ such that:

- $I \circ J \subseteq P \implies I \subseteq P \text { or } J \subseteq P$

for all ideals $I$ and $J$ of $R$.

### Definition 3

A **prime ideal** of $R$ is a proper ideal $P$ of $R$ such that:

- the complement $R \setminus P$ of $P$ in $R$ is closed under the ring product $\circ$.

## Also defined as

Some sources do not require the ideal $P$ to be proper.

## Also see

- Results about
**prime ideals of rings**can be found**here**.

### Special cases

- Definition:Prime Number
- Definition:Prime Element of Ring, as shown at Prime Element iff Generates Principal Prime Ideal

### Generalizations

- Definition:Prime Ideal (Order Theory), as shown at Prime Ideal of Ring iff Prime Ideal in Lattice of Ideals

## Sources

- 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): Chapter $\text {IV}$: Rings and Fields: $22$. New Rings from Old: Exercise $22.28$ - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next):**prime ideal**