The minimal ideal of a commutative semigroup, when it exists, is a group.

• 交换半群的极小理想如果存在的话是个群。