Static modules and stable Clifford theory (Q916749)

Let M and V be right modules for the ring A, and let \(D=End_ A(M)\). The author defines V to be an M-static A-module if the natural map from \(Hom_ A(M,V)\otimes_ DM\) to V is an isomorphism of A-modules. Thus, for example, if V is a direct summand of a finite direct sum of copies of M, then V is M-static. This property is studied here, and used to show that a part of the stable Clifford theory developed by \textit{E. Cline} [J. Algebra 22, 350-364 (1972; Zbl 0282.16020)] and extended by \textit{E. C. Dade} [Math. Z. 174, 241-262 (1980; Zbl 0424.16001)] is valid outwith a group-graded context. For example, let \(\zeta: A\to B\) be a homomorphism of rings, and suppose \((M\otimes_ AB)|_ A\) is an M-static A- module, with M finitely generated. Let E denote \(End_ B(M\otimes_ AB)\), let Mod(B\(| M)\) be the subcategory of Mod(B) whose objects are those B-modules which are A-module direct summands of a direct sum of copies of M, and let Mod(E\(| D)\) be the subcategory of Mod(E) whose objects are projective D-modules. Then there is a natural equivalence Mod(B\(| M)\sim Mod(E| D)\). This and related results should be compared with [\textit{E. C. Dade}, op. cit., Theorem 7.4].