Comparing first order theories of modules over group rings
type: Item
instance of: scholarly article
zbMATH Open document ID: 0993.03051
author: Saverio Cittadini
author: Carlo Toffalori
publication date: 2002-09-16T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 13L05
Mathematics Subject Classification ID: 20C10
Mathematics Subject Classification ID: 20A15
zbMATH DE Number: 1716776
zbMATH Keywords: Dedekind domain
zbMATH Keywords: lattice
zbMATH Keywords: group ring
zbMATH Keywords: torsion-free module
zbMATH Keywords: pure-injective
MaRDI profile type: MaRDI publication profile
cites work: Q3043121
DOI: 10.1002/1521-3870(200201)48:1%3C147::AID-MALQ147%3E3.0.CO;2-7
title: Comparing first order theories of modules over group rings
published in: Mathematical Logic Quarterly (MLQ)
review text: 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.
reviewed by: Mike Prest
Recommended article: Q4787866
Recommended article: On Auslander-Reiten components and Heller lattices for integral group rings.
Recommended article: The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group
Recommended article: Q3708886
Recommended article: The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
description: scientific article; zbMATH DE number 1716776