Bourbaki

Corollary 2

Tag 05R7, permanent. Cite it as [Bourbaki, Tag 05R7].

Algebra, chapter II, § 6. Inverse and direct limits of modules

If (Eα,fβα)(E_\alpha, f_{\beta \alpha}) is a direct system of left AA*-modules and* E=lim⁡⟶EαE = \lim \longrightarrow E_\alpha, (Eα∗,tfβα)(E_\alpha^*, t f_{\beta \alpha}) is an inverse system of right AA*-modules and* lim⁡←Eα∗\lim \leftarrow E_\alpha^* is canonically isomorphic to E∗E^*.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 1998, Springer. Not translated.