Let $A$ be a domain. For every $A$-module $M$ consider its torsion submodule $M^{tor}$ made up of elements of $M$ which are annihilated by a non zero-element of $A$. If $f \colon M \to N$ is a homomorphism, then $f(M^{tor}) \subseteq N^{tor}$, so call $f^{tor} \colon M^{tor} \to N^{tor}$ the induced map. We have a covariant functor $^{tor}$ from the category of $A$-modules to itself. It is straightforward to verify that $^{tor}$ is an additive left-exact functor; so we can consider its right-derived functors $R^i$, for $i \geq 0$: if $Q^{\bullet}$ is an injective resolution of $M$, then $R^i(M) = H^i((Q^{\bullet})^{tor})$.
If $A$ is a PID then it is quite easy to compute $R^i(M)$ for finite $A$-module $M$, because it is easy to have injective resolutions. In fact it is well-known that $K$ and $K/A$ are injective $A$-modules, where $K$ is the field of fractions of $A$.
My questions are:
- Can one compute $R^i(M)$ if $A$ is not a PID or $M$ is not finite? Have these functors been studied?
- What is the relation between $R^i$ and $\mathrm{Tor}_j$?
- In the category of $A$-modules, are there other derived functors that have been studied and that are not $\mathrm{Tor}$ nor $\mathrm{Ext}$?