Let II be an ideal of a commutative Noetherian complete local ring RR. In the present paper, we establish the equality dimR/(I+\AnnRM)=dimMdimR/(I+\AnnRM)=dimM for all II-cofinite RR-modules MM.
生成讲解博客的中文版本
生成AI智能校验的中文版本