# definition of prime ideal by Artin

Lemma.β Let $R$ be a commutative ring and $S$ a multiplicative semigroup consisting of a subset of $R$.β If there exist http://planetmath.org/node/371ideals of $R$ which are disjoint with $S$, then the set $\mathfrak{S}$ of all such ideals has a maximal element with respect to the set inclusion.

Proof.β Let $C$ be an arbitrary chain in $\mathfrak{S}$.β Then the union

 $\mathfrak{b}\;:=\;\bigcup_{\mathfrak{a}\in C}\mathfrak{a},$

which belongs to $\mathfrak{S}$, may be taken for the upper bound of $C$, since it clearly is an ideal of $R$ and disjoint with $S$.β Because $\mathfrak{S}$ thus is inductively ordered with respect to β$\subseteq$β, our assertion follows from Zornβs lemma.

Definition.β The maximal elements in the Lemma are of the commutative ring.

The ring $R$ itself is always a prime ideal ($S=\varnothing$).β If $R$ has no zero divisors, the zero ideal $(0)$ is a prime ideal ($S=R\!\smallsetminus\!\{0\}$).

If the ring $R$ has a non-zero unity element 1, the prime ideals corresponding the semigroup β$S=\{1\}$β are the maximal ideals of $R$.

## References

• 1 Emil Artin: Theory of Algebraic Numbers.β Lecture notes.β Mathematisches Institut, GΓΆttingen (1959).
Title definition of prime ideal by Artin DefinitionOfPrimeIdealByArtin 2013-03-22 18:44:31 2013-03-22 18:44:31 pahio (2872) pahio (2872) 9 pahio (2872) Definition msc 13C99 msc 06A06 EveryRingHasAMaximalIdeal prime ideal