Decidability for ℤ2G‐lattices when G Extends the Noncyclic Group of Order 4

Mathematical Logic Quarterly 48 (2):203-212 (2002)
  Copy   BIBTEX

Abstract

Let G be the direct sum of the noncyclic groupof order four and a cyclic groupwhoseorderisthe power pn of some prime p. We show that ℤ2G-lattices have a decidable theory when the cyclotomic polynomia equation image is irreducible modulo 2ℤ for every j ≤ n. More generally we discuss the decision problem for ℤ2G-lattices when G is a finite group whose Sylow 2-subgroups are isomorphic to the noncyclic group of order four

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Theory of {Vec Z}C(2)^2-Lattices is Decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
The Decision Problem for {Vec Z}C(P^3)-Lattices with P Prime.Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):127-142.
Wildness Implies Undecidability for Lattices Over Group Rings.Carlo Toffalori - 1997 - Journal of Symbolic Logic 62 (4):1429-1447.
An Undecidability Theorem for Lattices Over Group Rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.
Decidability for ℤ[G]‐Modules When G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
Infinite Substructure Lattices of Models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Strict Mittag‐Leffler Modules.P. A. Guil Asensio, M. C. Izurdiaga, Ph Rothmaler & B. Torrecillas - 2011 - Mathematical Logic Quarterly 57 (6):566-570.

Analytics

Added to PP
2013-12-01

Downloads
8 (#980,242)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Theory of {Vec Z}C(2)^2-Lattices is Decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
The Decision Problem for {Vec Z}C(P^3)-Lattices with P Prime.Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):127-142.
An Undecidability Theorem for Lattices Over Group Rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.
Wildness Implies Undecidability for Lattices Over Group Rings.Carlo Toffalori - 1997 - Journal of Symbolic Logic 62 (4):1429-1447.

Add more references