Let be a regular local ring of dimension with algebraically closed residue field . Let be a regular sequence in such that for all and . Set with . Notice is an Artinian complete intersection of codimension . We show that there exists such that there exists integer (depending only on ) with dividing for every finitely generated -module with (here denotes the length of and denotes the support variety of ). As an application we prove that if be a field and with and . Let be a prime number and assume divides two of the . Then divides for any -module with bounded betti numbers.

生成讲解博客的中文版本

生成AI智能校验的中文版本