An ideal I is “unmixed” iff is constant (and equals , hence ) “unmixedness theorem” holds iff for any ideal I of the ring R Again Note that by Theorem 13.5, and in general .
_Page_136/equation.png)
is constant (and equals _Page_136/equation001.png)
, hence _Page_136/equation002.png)
)_Page_136/equation003.png)
_Page_136/equation004.png)
and in general _Page_136/equation005.png)
.