{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2776820","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2776820","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2776820","kernelVersion":"v1","immutable":true,"modified":"2026-01-02T14:58:40Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2776820","name":"Comparing first order theories of modules over group rings","headline":"Comparing first order theories of modules over group rings","description":"scientific article; zbMATH DE number 1716776","url":"https://portal.mardi4nfdi.de/entity/Q2776820","datePublished":"2002-09-16","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q190277"},{"@id":"https://portal.mardi4nfdi.de/entity/Q190304"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q6561648"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1002/1521-3870(200201)48:1%3C147::AID-MALQ147%3E3.0.CO;2-7","url":"https://doi.org/10.1002/1521-3870(200201)48:1%3C147::AID-MALQ147%3E3.0.CO;2-7"},"sameAs":["https://doi.org/10.1002/1521-3870(200201)48:1%3C147::AID-MALQ147%3E3.0.CO;2-7"],"comment":"Throughout, \\(R\\) is a Dedekind domain of characteristic 0 and \\(G\\) is a finite group. An \\(RG\\)-lattice is a finitely generated torsion-free \\(RG\\)-module. The question initially addressed by the authors is whether the theory of \\(RG\\)-lattices is equal to the theory of \\(R\\)-torsion-free \\(RG\\)-modules. They show that these theories are equal if and only if \\(R\\) is a field. So they modify the question by asking when the theory, \\(T_0\\), of \\(RG\\)-lattices is equal to the theory, \\(T_1\\), of \\(R\\)-torsion-free \\(R\\)-reduced \\(RG\\)-modules. They show that if \\(R\\) is local then these are equal provided that \\(RG\\) is of finite lattice representation type and provided that Heller's condition holds (every \\(\\hat{R}G\\)-lattice is the completion of an \\(RG\\)-lattice, where \\(\\hat{R}\\) is the completion of \\(R\\) at its maximal ideal). (If \\(R\\) is not local then \\(T_0\\neq T_1\\).) They establish the necessity of these conditions, at least under some additional hypotheses. NEWLINENEWLINENEWLINETheir proof gives rise to the following question: if \\(M\\) is an \\(R\\)-reduced \\(RG\\)-module, is the pure-injective hull of \\(M\\) also \\(R\\)-reduced? They show that this is so in some particular cases, but the general question is left open.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3043121"}]},"provenance":{"prov:generatedAtTime":"2026-01-02T14:58:40Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}