Every *-module is finitely generated (Q1337435)

A right module \(P\) over an associative ring \(R\) with identity is said to be a \(*\)-module if it represents an equivalence between \(\text{Gen}(P_ R)\) and \(\text{Cog}(P^*_{R'})\), where \(R' = \text{End}(P_ R)\), \(P^* = \text{Hom}_ R (P,Q)\) and \(Q\) is an injective cogenerator of \(\text{Mod-}R\). The main result states that every \(*\)-module is finitely generated (Th. 1). Recall, that a module \(P\) is a quasi-progenerator provided it is finitely generated, quasi-projective and it generates all of its submodules. In the case of a commutative ring it is proved that \(*\)-modules are just the quasi-progenerators (Cor. 5).