设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n+(1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个...设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n+(1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i+j=n to (α_it^j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)展开更多
文摘设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n+(1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i+j=n to (α_it^j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)
