Now, let's prove the "if" direction: if $P^{\infty} \cong R^{\infty}$, then $P$ is a progenerator.
Since $P$ is a finitely generated projective $R$-module, it is also a finitely generated $E$-module. Moreover, since $R$ is a right Noetherian ring, it follows
Show more…