Let R be a noetherian local ring with maximal ideal m and residue field k . If M is a finitely generated R -module then the local cohomology modules are known to be Artinian. Grothendieck [3], exposé 13, 1·2 made the following conjecture: If I is an ideal of R and M is a finitely generated R -module, then Hom R ( R / I , ) is finitely generated.
No takes yet. Share an insight, caveat, or question.
Huneke et al. (1991) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: