Is perhaps the most important technical tools in commutative algebra. In this post we are covering definitions and simple pro...