\(\exists\)-free groups as groups with length function (Q1204903)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\exists\)-free groups as groups with length function |
scientific article |
Statements
\(\exists\)-free groups as groups with length function (English)
0 references
1 April 1993
0 references
It is proved that for any finitely generated group \(G\) there exists a length function (in the sense of \textit{R. C. Lyndon} [Math. Scand. 12, 209-234 (1964; Zbl 0119.264)]) with values in a finitely generated group \(\Lambda\) for which \(G\) is a \(\Lambda\)-free group (in the sense of \textit{H. Bass} [Arboreal Group theory 1988, Publ., Math. Sci. Res. Inst. 19, 69-131 (1991)]).
0 references
finitely generated group
0 references
length function
0 references
\(\Lambda\)-free group
0 references