“…However, in order to be able to work with the Λ-dual, they assume that X consists of (finitely generated) projective Λ-modules. In the case of Iwasawa cohomology that we study, the complex T need not be quasiisomorphic to a bounded complex of R[G F,S ]-modules that are projective and finitely generated over R. Moreover, if R is Gorenstein, then R serves as an R-dualizing complex, and our result reduces to a duality with respect to Λ itself, as in the result of Fukaya-Kato. We also note that Vauclair proved a noncommutative duality theorem for induced modules in the case that R = Z p and T is Z p -free, via a rather different method [Vau,Theorem 6.4].…”