Homology of artinian and mini-max module. II (Q2253015): Difference between revisions

Let \(R\) be a commutative ring. It is well-know that if \(M\) and \(N\) are Noetherian modules over \(R\) then \(\mathrm{Ext}^i_R(M,N)\) and \(\mathrm{Tor}_i^R(M,N)\) are Noetherian for all \(i\). Not much is known on the other finiteness conditions (eg. artinian, mini-max, Matlis reflexive) of the modules \(\mathrm{Ext}^i_R(M,N)\) and \(\mathrm{Tor}_i^R(M,N)\). In [Commun. Algebra 22, No. 9, 3445--3552 (1994; Zbl 0811.18006)], \textit{R. Belshoff} shows that if \(R\) is local and Noetherian and, \(M\) and \(N\) are Matlis reflexive then \(\mathrm{Ext}^i_R(M,N)\) and \(\mathrm{Tor}_i^R(M,N)\) are Matlis reflexive for all \(i\). More general results in the local case are established by \textit{B. Kubik} et al. [J. Pure Appl. Algebra 215, No. 10, 2486--2503 (2011; Zbl 1232.13008)]. The current paper deals with the non- local case (Theorems I and II). In particular and among other things, the authors prove that if \(R\) is Noetherian, \(M\) is mini-max and, \(M'\) is Matlis reflexive then the \(R\)-modules \(\mathrm{Ext}^i_R(M,M'), \mathrm{Ext}^i_R(M',M)\) and \(\mathrm{Tor}_i^R(M,M')\) are Matlix reflexive for all \(i \geq 0\). They also prove the existence of natural isomorphisms \(\mathrm{Ext}^i_R(M,M')^{\vee} \cong \mathrm{Tor}_i^R(M,M'{}^{\vee})\) and \(\mathrm{Ext}^i_R(M',M)^{\vee} \cong \mathrm{Tor}_i^R(M', M^{\vee})\) for all \(i \geq 0\). They conclude their article by extending results to the non-Noetherian case (Theorem III), as well as giving results on the vanishing of \(\mathrm{Ext}\) and \(\mathrm{Tor}\).