* The positive integers with addition. |
* The positive integers with addition. |
The intersection of two ideals is also an ideal, so a semigroup can have at most one minimal ideal. All nonempty finite semigroups have a minimal ideal. An example of semigroup with no minimal ideal is the set of positive integers under addition. The minimal ideal of a commutative semigroup, when it exists, is a group. |