On finite presentability and the homological type \(FP_n\) of Lie algebras: a survey
type: Item
instance of: scholarly article
title: On finite presentability and the homological type \(FP_n\) of Lie algebras: a survey
zbMATH Open document ID: 1446.17031
author: Dessislava H. Kochloukova
published in: São Paulo Journal of Mathematical Sciences
publication date: 2019-06-28T00:00:00Z
review text: The paper under review is a compact, but rather exhaustive survey of finite presentability and homological finiteness properties of Lie algebras, with an eye on corresponding results in geometric group theory. Among the covered topics, one finds the result of \textit{A. Wasserman} that in a finitely presented soluble Lie algebra every ideal of codimension one is finitely generated as a Lie algebra [Isr. J. Math. 106, 79--92 (1998; Zbl 0930.17006)], and the criterion of \textit{G. Baumslag} for a metabelian Lie algebra to be embeddable in a finitely presented one [J. Algebra 45, 295--305 (1977; Zbl 0364.17005)], with its generalisation by \textit{J. R. J. Groves} and the author to embeddings in a metabelian Lie algebra of homological type \(FP_{m}\) [J. Lond. Math. Soc., II. Ser. 73, No. 2, 475--492 (2006; Zbl 1155.20313)]. The author also answers a question of Petrogradsky, exhibiting a metabelian Lie algebra \(L\) over a field \(k\) of characteristic different from \(2\), such that \(L\) is not finitely presented, but \(H_{2}(L, k)\) is finite dimensional. For this example one relies on the treatment of \textit{R. M. Bryant} and \textit{J. R. J. Groves} of finite presentability for metabelian Lie algebras [J. Algebra 218, No. 1, 1--25 (1999; Zbl 0935.17005); J. Lond. Math. Soc., II. Ser. 60, No. 1, 45--57 (1999; Zbl 0940.17006)].
Mathematics Subject Classification ID: 17B55
Mathematics Subject Classification ID: 17B40
zbMATH DE Number: 7074581
zbMATH Keywords: Lie algebras
zbMATH Keywords: finite presentability
Wikidata QID: Q107720917
reviewed by: Andrea Caranti
MaRDI profile type: Publication
full work available at URL: s40863-019-00127-6
OpenAlex ID: W2933023438
cites work: Bieri-Strebel Valuations (of Finite Rank)
cites work: Subalgebras of finitely presented solvable Lie algebras
cites work: Subgroups of finitely presented metabelian groups
cites work: Fibre products, non-positive curvature, and decision problems
cites work: Algebraic geometry over groups. I: Algebraic sets and ideal theory
cites work: Subgroups of Direct Products of Free Groups
cites work: Morse theory and finiteness properties of groups
cites work: The subgroups of direct products of surface groups.
cites work: Subgroups of direct products of limit groups.
cites work: On the finite presentation of subdirect products and the nature of residually free groups.
cites work: Finitely presented Lie algebras
cites work: Finite Presentation of Abelian-by-Finite-Dimensional Lie Algebras
cites work: Finitely presented centre-by-metabelian Lie algebras
cites work: Metabelian Groups of Type (FP )∞ are Virtually of Type (FP )
cites work: Q3041316
cites work: A geometric invariant of discrete groups
cites work: Valuations and Finitely Presented Metabelian Groups
cites work: Modules Over Nilpotent Group Rings
cites work: Homological finiteness properties of Lie algebras
cites work: EMBEDDING PROPERTIES OF METABELIAN LIE ALGEBRAS AND METABELIAN DISCRETE GROUPS
cites work: Elementary theory of free non-abelian groups.
cites work: On the homological finiteness properties of some modules over metabelian Lie algebras
cites work: The \(FP_ m\)-conjecture for a class of metabelian groups
cites work: On subdirect products of type FP m of limit groups
cites work: Homological finiteness properties of fibre products
cites work: Subdirect sums of Lie algebras
cites work: Embedding homological properties of metabelian discrete groups: the general case
cites work: On groups of type \((FP)_\infty\)
cites work: SUBDIRECT PRODUCTS OF GROUPS AND THE n-(n + 1)-(n + 2) CONJECTURE
cites work: Q3882615
cites work: Diophantine geometry over groups. VI: The elementary theory of a free group.
cites work: Q5821489
cites work: A derivation HNN construction for Lie algebras
cites work: Q4296949
cites work: Finite presentations of pro-\(p\) groups and discrete groups
cites work: Die Unterringe der freien Lieschen Ringe
DOI: 10.1007/S40863-019-00127-6
description: scientific article; zbMATH DE number 7074581