Isomorphisms between endomorphism rings of progenerators

Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Module categories in associative algebras (16D90) Endomorphism rings; matrix rings (16S50) Automorphisms and endomorphisms (16W20) Homological algebra in category theory, derived categories and functors (18G99)

Review text

Wedderburn proved that if \(\Phi:\text{End}_{D_ 1}(V_ 1)\to\text{End}_{D_ 2}(V_ 2)\) is a ring isomorphism, where each \(V_ i\) is a finite dimensional vector space over a division ring \(D_ i\), then there exists an isomorphism \(\alpha: D_ 1\to D_ 2\) and an \(\alpha\)-semilinear isomorphism \(g: V_ 1\to V_ 2\) such that \(\Phi (f)=gfg^{- 1}\) for all \(f\in\text{End}_{D_ 1}(V_ 1)\). This result has been generalized by Wolfson, Morita, and Jategaonkar. The author considers the same problem from a categorical point of view and proves this Theorem: Let \(\Lambda\) and \(\Delta\) be rings with progenerators \(P\) and \(Q\) in the module categories \({\mathcal M}_{\Lambda}\) and \({\mathcal M}_{\Delta}\) respectively. If \(\Phi:\Lambda'\to\Delta'\) is a ring isomorphism (where \(\Lambda'=\text{End}_{\Lambda}P)\) and \(\Delta'=\text{End}_{\Delta}(Q))\), then there exists a category equivalence \(F_{\Phi}: {\mathcal M}_{\Lambda}\to {\mathcal M}_{\Delta}\) unique up to natural isomorphism such that \(F_{\Phi}(P)=Q\) and \(F_{\Phi}(f)=\Phi(f)\) for all \(f\in\Lambda'\). Since free modules are progenerators, this theorem includes isomorphisms between matrix rings. From Morita theory there is an exact sequence relating the automorphisms of \(\text{End}_{\Lambda}(P)\), where \(P\) is a \(\Lambda\)-progenerator to the autoequivalences of the category \({\mathcal M}_{\Lambda}\). Using this exact sequence and the preceding theorem, the author shows how semilinear maps are related to category equivalences and generalizes the results of Wedderburn, Wolfson, Morita, and Jategaonkar with a single method of proof. In cases where the semilinear description fails he shows that it is often possible to extend the isomorphism to a larger setting where it is induced by a semilinear.

Recommendations

Cites work

Cited in

(29)

This page was built for publication: Isomorphisms between endomorphism rings of progenerators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759822)