scientific article; zbMATH DE number 124325

Publication date 21 February 1993

Auslander-Reiten sequence existence finitely presented \(R\)-module injective modules local endomorphism ring

Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70)

Review text

[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].

Recommendations

Cited in

(11)

This page was built for publication:

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