Local homology for linearly compact modules (Q1593692)

The authors extend the classical definition of local homology module \(H^I_i(M)\) with respect to an ideal \(I\) to the case of linearly compact \(R\)-modules, \(H^I_i(M)= \varprojlim_t \text{Tor}_i^R (R/I t;M)\). They prove that local homology coincides with derived module and they study magnitude and duality.