A note on maximal ideals in ordered semigroups

In commutative rings having an identity element, every maximal ideal is a prime ideal, but the converse statement does not hold, in general. According to the present note, similar results for ordered semigroups and semigroups-without order-also hold. In fact, we prove that in commutative ordered semigroups with identity each maximal ideal is a prime ideal, the converse statement does not hold, in general.