Mittag-Leffler modules (Q1377646): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 2 users not shown)
Property / reviewed by
 
Property / reviewed by: Thomas Kucera / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Thomas Kucera / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4011046 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings of pure global dimension zero and Mittag-Leffler modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3344186 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mittag-Leffler modules, reduced products, and direct products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributing tensor product over direct product / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary Duality of Modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4039792 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on elementary duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings described by various purities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Critères de platitude et de projectivité. Techniques de ''platification'' d'un module. (Criterial of flatness and projectivity. Technics of ''flatification of a module.) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On pure global dimension of locally finitely presented Grothendieck categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4049223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Purity and algebraic compactness for modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rein injektive direkte summen von moduln / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pure submodules of direct products of free modules / rank
 
Normal rank

Latest revision as of 10:30, 28 May 2024

scientific article
Language Label Description Also known as
English
Mittag-Leffler modules
scientific article

    Statements

    Mittag-Leffler modules (English)
    0 references
    0 references
    27 May 1999
    0 references
    This paper continues the long-running project of a varied group of reseachers in algebra and logic to recognize concepts of model theory as algebraic ideas in the theory of modules, and addresses some classical problems in module theory. Here the concept of Mittag-Leffler module (due to Raynaud and Gruson) is shown to have a natural and interesting model-theoretic interpretation. The natural way of making model-theoretic concepts algebraic for theories of modules is to restrict them to the class of positive primitive formulas. Thus ``saturated models'' are generalized to ``positively saturated modules'', which turn out to be the ubiquitous and important pure-injective modules. Here ``atomic models'' are generalized to ``positively atomic modules''. It is these that turn out to be precisely the Mittag-Leffler modules. With this model-theoretic interpretation in hand, a handful of applications follow, including: All reduced products of left Mittag-Leffler \(R\)-modules are Mittag-Leffler if and only if all left \(R\)-modules are Mittag-Leffler if and only if \(R\) is left pure-semisimple. Any direct product of left Mittag-Leffler \(R\)-modules is Mittag-Leffler if and only if for every \(n\) the lattice of positive primitive right \(R\)-module formulas in \(n\) free variables is complete, and these are equivalent to the symmetrical statements. This paper shows a very interesting interplay between algebraic techniques and concepts from model theory.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    pure-projective modules
    0 references
    pure-semisimple rings
    0 references
    saturated structures
    0 references
    atomic structures
    0 references
    elementary dualities
    0 references
    coherent rings
    0 references
    regular rings
    0 references
    self-injective rings
    0 references
    \(\Sigma\)-pure-injective modules
    0 references
    Mittag-Leffler modules
    0 references
    theories of modules
    0 references
    positive primitive formulas
    0 references
    0 references