Nielsen-Schreier-type theorems for algebras of formal power series in noncommuting indeterminates
type: Item
instance of: scholarly article
title: Nielsen-Schreier-type theorems for algebras of formal power series in noncommuting indeterminates
zbMATH Open document ID: 0618.20021
DOI: 10.1007/BF00969389
author: Yu. V. Kuzmin
published in: Siberian Mathematical Journal
publication date: 1986-01-01T00:00:00Z
review text: We say that the group G is a finite-dimensional \({\mathbb{Q}}\)-group if it admits a normal series of finite length, the factors of which are isomorphic to the additive group of \({\mathbb{Q}}\). Let \({\mathfrak N}\) and \(\overset \leftarrow {\mathfrak N}\) be the classes of finite-dimensional \({\mathbb{Q}}\)-groups and pro-\({\mathbb{Q}}\)-groups respectively. The author describes the free objects of finite and countable ranks in \(\overset \leftarrow {\mathfrak N}\) and proves that every closed subgroup of a free pro-\({\mathbb{Q}}\)-group is itself a free pro-\({\mathbb{Q}}\)-group. A similar theorem holds for Lie algebras. The method is based on the same idea as the proof of the theorem about subgroups of free pro-p-groups. The difficulties relate in the first place to the absence of compactness. Secondly, the cohomology remains continuous even for finite-dimensional \({\mathbb{Q}}\)-groups, which are discrete, and it is necessary to prove that it reduces in fact to discrete cohomology. Reviewer's remarks: 1. It seems doubtful that the proofs of analogous results for \({\mathbb{Z}}\)-groups ''are almost precise repetitions of the proofs for the case of \({\mathbb{Q}}\)-groups.'' 2. It seems that the propositions 5, 6 are wrong, but they are not used in the proof of the main theorem.
Mathematics Subject Classification ID: 20E18
Mathematics Subject Classification ID: 20F16
Mathematics Subject Classification ID: 17B30
Mathematics Subject Classification ID: 20F18
Mathematics Subject Classification ID: 20J05
zbMATH DE Number: 4002369
zbMATH Keywords: nilpotent Lie algebras
zbMATH Keywords: Campbell-Hausdorff formula
zbMATH Keywords: finite-dimensional \({bbfQ}\)-groups
zbMATH Keywords: free pro-\({bbfQ}\)-group
zbMATH Keywords: cohomology
MaRDI profile type: Publication
cites work: Some aspects of groups with unique roots
cites work: Finitely Generated Nilpotent Groups with Isomorphic Finite Quotients
cites work: Sur les groupes nilpotents et les anneaux de Lie
cites work: Q5821489
cites work: Q5650827
cites work: Cohomology of unipotent and prounipotent groups
cites work: Ideaux premiers de l'algèbre enveloppante d'une algèbre de Lie nilpotente
cites work: Q5563439
description: scientific article; zbMATH DE number 4002369