Wildness implies undecidability for lattices over group rings

DOI10.2307/2275650zbMath0901.16007OpenAlexW1999220295MaRDI QIDQ4382483

Carlo Toffalori

Publication date: 22 November 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275650

zbMATH Keywords

undecidabilitySylow subgroupswild representation typemodel theory of moduleswildnesslattices over group rings of finite groups

Mathematics Subject Classification ID

Representations of orders, lattices, algebras over commutative rings (16G30) Model-theoretic algebra (03C60) Group rings (16S34) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Mechanization of proofs and logical operations (03B35) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Applications of logic in associative algebras (16B70)

Related Items

Unnamed Item

Cites Work

• Diagrammatic methods in the representation theory of orders
• Integral representations and diagrams
• Group rings of wild representation type
• Decidable representations