An undecidability theorem for lattices over group rings

DOI10.1016/S0168-0072(97)00025-0zbMath0893.03013MaRDI QIDQ1377645

Carlo Toffalori

Publication date: 20 July 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilityfinite groupinduced modulesrepresentation typewildnesscategory of \(\mathbb{Z} S\)-latticestheory of \(\mathbb{Z} G\)-lattices

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Integral representations of finite groups (20C10) Decidability of theories and sets of sentences (03B25) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Applications of logic in associative algebras (16B70)

Related Items

Unnamed Item, On the strength of some topological lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the undecidability of some classes of abelian-by-finite groups
• Unsolvability of the universal theory of finite groups
• Model theory of modules
• The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
• Group rings of wild representation type
• Decidable representations
• On the elementary theory of quadruples of vector spaces
• Four concepts from “geometrical” stability theory in modules
• Decidability for modules over a group ring - II
• The Stability Classification for Abelian-by-Finite Groups and Modules Over a Group Ring
• Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View
• Decidability for ℤ[G‐Modules when G is Cyclic of Prime Order]
• Decidability for modules over a group ring
• The elementary theory of abelian groups
• Some Decidability Results for ℤ[G‐Modules when G is Cyclic of Squarefree Order]
• Elementary properties of Abelian groups