Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order

Mathematical Logic Quarterly 42 (1):433-445 (1996)
  Copy   BIBTEX


We extend the analysis of the decision problem for modules over a group ring ℤ[G] to the case when G is a cyclic group of squarefree order. We show that separated ℤ[G]-modules have a decidable theory, and we discuss the model theoretic role of these modules within the class of all ℤ[G]-modules. The paper includes a short analysis of the decision problem for the theories of modules over ℤ[ζm], where m is a positive integer and ζm is a primitive mth root of 1



    Upload a copy of this work     Papers currently archived: 93,069

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

Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
Pure-injectivity and model theory for G-sets.Ravi Rajani & Mike Prest - 2009 - Journal of Symbolic Logic 74 (2):474-488.
The decision problem for {vec Z}C(p^3)-lattices with p prime.Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):127-142.
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.


Added to PP

10 (#1,221,969)

6 months
5 (#710,385)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An undecidability theorem for lattices over group rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.

Add more citations

References found in this work

Model Theory and Modules.Mike Prest - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.

Add more references