Text this: Ideal Theory of Commutative Rings and Monoids