Let (A,m)(A,m) be a Noetherian local ring and let I⊆mI⊆m be an ideal in AA. Let ℓ(I)ℓ(I) be the analytic spread of II. Let GI(A)=⨁n≥0In/In+1GI(A)=⨁n≥0In/In+1 be the associated graded ring of II and let its depth be tt. We prove depth A/In≥t−ℓ(I)depth A/In≥t−ℓ(I) for all n≥1n≥1.
生成讲解博客的中文版本
生成AI智能校验的中文版本