0
$\begingroup$

Let $R$ be commutative ring with identity, $M$ an $R$-module, and $I$ an ideal of $R$ . One defines $I$-torsion functor $Γ_I$ as: $\Gamma_I(M)=\bigcup_{n\in N} (0:_MI^n).$ When $R$ is Noetherian, it's known that $$\color{brown}{\Gamma_I(M)=\Gamma_{\sqrt I}(M)}.$$ When $R$ is non-Noetherian, there is a counterexample for it.

What conditions can be posed on ring (or ideals), to have $\Gamma_I(R)=\Gamma_{\sqrt I}(R),$ for every ideal of $R$?

Thank you.

$\endgroup$

1 Answer 1

2
$\begingroup$

This problem is studied in this article (see here for the arxiv version), mainly in case the supporting ideal is a monomial ideal in a polynomial ring.

ADDENDUM (2017): A completely different condition that ensures $\Gamma_I=\Gamma_{\sqrt{I}}$ for every ideal $I$ is that $R$ is absolutely flat.

$\endgroup$
2
  • $\begingroup$ Thank you @Fred. Does the article suggest conditions that the equality holds for every ideal of $R$? $\endgroup$
    – user 1
    Jun 16, 2015 at 7:42
  • $\begingroup$ No, not beside the obvious ones (cf. Corollary 1.3 and the following remark). $\endgroup$ Jun 16, 2015 at 12:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.