All rings that we consider in this section are commutative rings with unity.
We refer to [1]}, [2]} for general background on commutative algebra, in particular for primary decomposition, Cohen-Macaulay rings and Hilbert-Samuel multiplicities.
We briefly recall some of the relevant statements below for convenience.
