The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
type: Item
instance of: scholarly article
title: The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
zbMATH Open document ID: 0899.03011
author: Stefano Baratella
author: Carlo Toffalori
published in: Archive for Mathematical Logic
publication date: 1998-11-10T00:00:00Z
review text: The authors prove the decidability of the theory of \({\mathbf Z}C(2)^2\)-lattices, where \(C(2)^2\) is Klein's four group. For an arbitrary finite group \(G\) and a countable Dedekind domain \(R\) such that the residue field \(R/P\) is finite for every maximal \(R\)-ideal \(P\), they show that the genus of an \(RG\)-lattice \(M\) equals the elementary equivalence class of \(M\), i.e. the localizations at every maximal ideal of two \(RG\)-lattices are isomorphic if and only if the two lattices satisfy the same first-order sentences. Then the authors investigate generalizations of the above results to arbitrary \(R\)-torsion-free \(RG\)-modules and they apply the previous results to show the decidability of the theory of \({\mathbf Z}C(2)^2\)-lattices. This proof is obtained on the ground of the proof of Marcja and Toffalori that \({\mathbf Z}_2C(2)^2\)-lattices have a decidable theory, where \({\mathbf Z}_2\) is the localization of \({\mathbf Z}\) at the prime 2. Eventually, the authors show that \({\mathbf Z}[i]C(2)^2\)-lattices have an undecidable theory.
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C52
zbMATH DE Number: 1187515
zbMATH Keywords: decidability
zbMATH Keywords: \({\mathbf Z}C(2)^2\)-lattices
zbMATH Keywords: elementary equivalence class
zbMATH Keywords: localizations
zbMATH Keywords: \(RG\)-lattices
zbMATH Keywords: \(RG\)-modules
MaRDI profile type: Publication
full work available at URL: s001530050085
OpenAlex ID: W2068962640
DOI: 10.1007/S001530050085
description: scientific article; zbMATH DE number 1187515