Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order

Mathematical Logic Quarterly 42 (1):369-378 (1996)
  Copy   BIBTEX

Abstract

We consider the decision problem for modules over a group ring ℤ[G], where G is a cyclic group of prime order. We show that it reduces to the same problem for a class of certain abelian structures, and we obtain some partial decidability results for this class

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420131

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
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: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
Deissler Rank Complexity of Powers of Indecomposable Injective Modules.R. Chartrand & T. Kucera - 1994 - Notre Dame Journal of Formal Logic 35 (3):398-402.
The decision problem for {vec Z}C(p^3)-lattices with p prime.Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):127-142.
Weakly minimal modules over integral group rings and over related classes of rings.Stefano Leonesi, Sonia L'Innocente & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (6):613-625.
The model completion of the theory of modules over finitely generated commutative algebras.Moshe Kamensky - 2009 - Journal of Symbolic Logic 74 (3):734-750.
Equivalence elementaire et decidabilite pour Des structures du type groupe agissant sur un groupe abelien.Patrick Simonetta - 1998 - Journal of Symbolic Logic 63 (4):1255-1285.
ℵ0-categorical modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213 - 220.
Vaught's conjecture for modules over a serial ring.Vera Puninskaya - 2000 - Journal of Symbolic Logic 65 (1):155-163.
Decidability for ℤ2G‐lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
Module six: Special issues.Benjamin Schneider & Udo Schüklenk - 2005 - Developing World Bioethics 5 (1):92–108.
Modules of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.
Modularity of proof-nets.Roberto Maieli & Quintijn Puite - 2005 - Archive for Mathematical Logic 44 (2):167-193.
$aleph_0$-Categorical Modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213-220.

Analytics

Added to PP
2013-12-01

Downloads
18 (#811,325)

6 months
1 (#1,510,037)

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