Baer-Kaplansky classes in Grothendieck categories and applications (Q2424138)

The notion of Baer-Kaplansky class was introduced in [\textit{G. Ivanov} and \textit{P. Vámos}, Rocky Mt. J. Math. 32, No. 4, 1485--1492 (2002; Zbl 1042.13005)] in the following way: Let \({\mathcal C}\) be a preadditive category and let \({\mathcal M}\) be a class of objects of \({\mathcal C}\). Then, \({\mathcal M}\) is called a Baer-Kaplansky class if for any two objects \(M\), \(N\) in \({\mathcal M}\) with isomorphic rings of endomorphisms one has that \(M\) is isomorphic to \(N\). The main motivation of this paper is the study of Baer-Kaplansky classes in Grothendieck categories. Let \({\mathcal C}\) be a Grothendieck category. Let \(M\) and \(N\) be objects in \({\mathcal C}\) satisfying 1) The object \(M\) has a direct sum decomposition into indecomposable objects. 2) There exists an IP-isomorphism \(\Phi: \mathrm{End}_{{\mathcal C}}(M)\rightarrow \mathrm{End}_{{\mathcal C}}(N)\). In Section 2, the authors prove that under the previous conditions, \(M\) is isomorphic to a pure subobject of \(N\). As a consequence, if \(({\mathcal A}, {\mathcal B})\) is a cotorsion pair in \({\mathcal C}\), \(M\in {\mathcal B}\) and the quotient \(N/M \) is in \({\mathcal A}\), then the objects \(M \) and \(N\) are isomorphic. Moreover, in this section they show that for any class \({\mathcal M}\) of objects of \({\mathcal C}\) closed under summands, such that every object of \({\mathcal M}\) has a direct sum decomposition into indecomposable summands and the finite embedding property, \({\mathcal M}\) is Baer-Kaplansky if and only if the class of indecomposable objects of \({\mathcal M}\) is Baer-Kaplansky. In the third section the authors consider finitely accessible additive categories proving that for a Krull-Schmidt finitely accessible additive category \({\mathcal C}\), the class of finitely presented indecomposable objects of \({\mathcal C}\) is Baer-Kaplansky if and only if so is the class of pure-projective indecomposable objects of \({\mathcal C}\). In Section 4 the focus of attention is the study of Baer-Kaplansky classes in the exactly definable additive categories setting. The main result in this section asserts that for a pure semisimple exactly definable additive category \({\mathcal C}\), the class of finitely presented objects of \({\mathcal C}\) is Baer-Kaplansky if and only if the class of finitely presented indecomposable objects of \({\mathcal C}\) is Baer-Kaplansky. Finally, in the last section the authors give similar results in categories \(\sigma[M]\).