Commutative unital ring property implications
Commutative unital ring-ideal property implications