an isomorphism? These questions have interest partly because if S and .S’(J, S) are Cohen-Macaulay, then so is gr, S := S/J@ J/J’... [ 16 1 and under these hypotheses if N is perfect and R @ .S(J, S) = .$(I, R), then R and .7(1. R) are Cohen-Macaulay too. Thus, gr,R is Cohen-Macaulay, and its torsion freeness and normality, for exmple, can be characterized in terms of analytic spreads, as in [ ...