cyclic finitely presented modulesdirect summandsdirect sumselimination of quantifiersfinitely presented modulesfinitely presented right modulesleft perfect local \(W1\)-ringslocal \(W1\)-ringsNoetherian ringspositive primitive formulasright \(W1\)-ringsserial rings
Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Noncommutative local and semilocal rings, perfect rings (16L30) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)
This paper considers a question posed by \textit{R. B. Warfield jun.} [J. Algebra 37, 187-222 (1975; Zbl 0319.16025), p. 197]\ as to which rings \(R\) have the property that every finitely presented right \(R\)-module is a direct summand of a direct sum of cyclic finitely presented modules; the author calls such rings right \(W1\)-rings. \textit{R. B. Warfield jun.} [Proc. Am. Math. Soc. 25, 167-172 (1970; Zbl 0204.059)]\ proved that the commutative \(W1\)-rings are exactly the Prüfer rings. A solution is given using model-theoretic techniques, working within the general framework of \(S\)-purity, where \(S\) is a class of finitely presented modules. Several characterizations are given including an elimination of quantifiers result, giving a simplified form for positive primitive formulas; the author uses this to prove that many classes of local \(W1\)-rings are serial, including the Noetherian local \(W1\)-rings and the left perfect local \(W1\)-rings. It is pointed out that it remains open whether every local \(W1\)-ring is a serial ring and also whether every right \(W1\)-ring is a left \(W1\)-ring.
This page was built for publication: Warfield rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892816)
