Category:Properties of ideals in commutative unital rings