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

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

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420135

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,716

External links

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

Through your library

My notes

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.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Decidability for ℤ2 G-lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
Comparing First Order Theories of Modules over Group Rings.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (1):147-156.
Comparing First Order Theories of Modules over Group Rings II: Decidability.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (5):483-498.
Pure-injectivity and model theory for G-sets.Ravi Rajani & Mike Prest - 2009 - Journal of Symbolic Logic 74 (2):474-488.
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.Hasan Dalgin, Labib Haddad & Mehmet Terziler - 2002 - Mathematical Logic Quarterly 48 (3):403-412.
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.

Analytics

Added to PP
2013-12-01

Downloads
17 (#1,256,870)

6 months
3 (#1,176,106)

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