On an isomorphism (Q798719)

Let A, B, C be modules over the Dedekind domain R. Then there is a well known isomorphism \(Tor(A,B)\otimes C\otimes Tor(A\otimes B,C)\cong A\otimes Tor(B,C)\diamond Tor(A,B\otimes C).\) The author describes the structure of both sides in terms of the P-primary components of the modules A,B,C, where P runs through the prime ideals of R, and their basic submodules.