No label defined (Q4025948)

[For the entire collection see Zbl 0745.00066.] Let \(R\) denote a ring. Recall that a short exact sequence \(0 \to X @>u>> Y @>v>> Z \to 0\) of \(R\)-modules is an Auslander-Reiten sequence in case a) it does not split, b) each \(h: X \to M\) which is not a splittable monomorphism factors through \(u\), c) each \(g: N\to Z\) which is not a splittable epimorphism factors through \(v\). These conditions imply that the term \(X\) up to isomorphism is uniquely determined by \(Z\) and vice versa. \textit{M. Auslander} [Representation Theory of Algebras, Proc. Phila. Conf. 1978, Lect. Notes Pure Appl. Math. 37, 1-244 (1978; Zbl 0383.16015)] proved the following very general existence result: For each finitely presented \(R\)-module \(Z\) with local endomorphism ring there exists an Auslander-Reiten sequence \(0 \to X @>u>> Y @>v>> Z \to 0\); furthermore he gave a precise description of \(X\) in terms of \(Z\). In the present note it is shown that in essence Auslander's theorem can be proved by means of model theory. In particular, \(X\) is constructed from \(Z\) with tools of model theory, especially \textit{M. Ziegler's} results on pure injective modules [Ann. Pure Appl. Logic 26, 149-213 (1984; Zbl 0593.16019)]. Furthermore, a model theoretic description of the first term \(X_ 0\) is given in case there exists an exact sequence \(0 \to X_ 0 @>u>> Y_ 0 @>v>> Z \to 0\) of finitely presented modules satisfying a), but b) and c) only for finitely presented modules. [It has been shown by the reviewer that \(X_ 0 \not\cong X\) can happen].