Let
be a commutative ring with 1. As you know,
(1) an ideal of
is a nonempty subset
of
such that
for all
, and
for all
;
(2) an ideal
is principal if
for some
;
(3) an ideal
is proper if
.
(4) a ideal
is prime if
is proper and
implies
or
;
(5) an ideal
is maximal (meaning maximal proper) if
is proper and there is no ideal
with
.