The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable (Q1128174): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s001530050085 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2068962640 / rank | |||
Normal rank |
Latest revision as of 01:08, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable |
scientific article |
Statements
The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable (English)
0 references
10 November 1998
0 references
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.
0 references
decidability
0 references
\({\mathbf Z}C(2)^2\)-lattices
0 references
elementary equivalence class
0 references
localizations
0 references
\(RG\)-lattices
0 references
\(RG\)-modules
0 references