Foundations of Commutative Rings and Their Modules