Decidable representations (Q1903681): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Carlo Toffalori / rank | |||
Property / author | |||
Property / author: Carlo Toffalori / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the elementary theory of quadruples of vector spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On four subspaces of a vector space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4055852 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4073532 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922829 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The first order properties of products of algebraic systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4046184 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability for modules over a group ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4281263 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability for Theories of Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3794166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Four concepts from “geometrical” stability theory in modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unsolvability of the universal theory of finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability for modules over a group ring - II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory of modules / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 08:48, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidable representations |
scientific article |
Statements
Decidable representations (English)
0 references
24 April 1996
0 references
For a finite group \(G\), the decision problem for the theory of \(\mathbb{Z} G\)-lattices is considered. In the representation-finite case, decidability is shown under the assumption that each indecomposable is explicitly given as a matrix representation. By extension of an argument of Garavaglia, the authors show that \(\mathbb{Z} G\)-lattices in the same genus are elementary equivalent. In the wild case, the undecidability of the five-subspace problem is used to prove undecidability for the lattices over a number of group rings \(\mathbb{Z} G\), for example, if \(G\) is nilpotent with an epimorphic image \(C_{p^n}\), \(n\geq 4\), or \(C_p\times C_p\) for an odd prime \(p\), or \(C_2\times C_2\times C_2\) or \(C_4\times C_2\). Finally, for the Klein group \(V=C_2\times C_2\), the authors prove that the theory of lattices over \(\mathbb{Z}_2 V\) is decidable, and they give some evidence that this should still be true for \(\mathbb{Z} V\).
0 references
finite groups
0 references
decision problems
0 references
\(\mathbb{Z} G\)-lattices
0 references
representation-finite lattices
0 references
genus
0 references
elementary equivalent lattices
0 references
undecidability
0 references
five-subspace problem
0 references
group rings
0 references