\(\text{SL}_n(\mathbb{Z}[t])\) is not \(\text{FP}_{n-1}\). (Q1045213)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\text{SL}_n(\mathbb{Z}[t])\) is not \(\text{FP}_{n-1}\).
scientific article

    Statements

    \(\text{SL}_n(\mathbb{Z}[t])\) is not \(\text{FP}_{n-1}\). (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    15 December 2009
    0 references
    In the title, \(n\geq 2\) and the statement means that there is no projective resolution of length \(n\) for \(\mathbb{Z}\) by finitely generated projective modules over the group. Geometry of Euclidean buildings is used in proofs. It was known before that \(\text{SL}_2(\mathbb{Z}[t])\) is not finitely generated and that \(\text{SL}_3(\mathbb{Z}[t])\) is not finitely presented. On the other hand, \(\text{SL}_3(\mathbb{Z}[t])\) is finitely generated (Suslin).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Euclidean buildings
    0 references
    projective resolutions
    0 references
    groups of finite homological type
    0 references
    infinitely presented groups
    0 references
    finiteness properties
    0 references
    0 references
    0 references