gr(■_n)与gr(ε_p)不具有pure维数

一个交换Noetherian环R称为是有pure维数n的正则Noetherian环,是指对R的任意极大理想,R_m的整体维数gl.dimR_m=n,这里R_m为R在极大理想■处的局部化。众所周知,若R是某域上的有限生成交换代数,且是整环,同时g1.dimR<∞,则R有pure维数;如果,