Scott complexity and adjoining roots to finitely generated groups. (Q355389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Scott complexity and adjoining roots to finitely generated groups.
scientific article

    Statements

    Scott complexity and adjoining roots to finitely generated groups. (English)
    0 references
    0 references
    24 July 2013
    0 references
    Let \(G\) be a finitely generated group with Grushko decomposition \(G_1*\cdots*G_p*F_q\). The Scott complexity of \(G\) is the ordered pair \(\chi_{\text{fd}}(G)=(q-1,p)\). An element of a group \(G\) is indivisible if it is not a proper power. Several generalizations of the well-known fact that a commutator in a free group is not a proper power are given. In particular, an improved Shenitzer's theorem is proved: Let \(G=A*_{\langle t\rangle}B\) be a free product with amalgamation where \(A\) and \(B\) are free of rank \(n\) and \(m\), respectively. If \(t\) is indivisible in at least one of \(A\) or \(B\) and \(G\) maps onto a free group of rank \(n+m-1\), then \(G\) is free and \(t\) is primitive in at least one of \(A\) or \(B\). If \(t\) is not indivisible in either factor then \(G\) is a free product of a free group and an amalgamated product of two infinite cyclic groups.
    0 references
    finitely generated groups
    0 references
    indivisible elements
    0 references
    proper powers
    0 references
    free products
    0 references
    free groups
    0 references
    primitive elements
    0 references
    amalgamated products
    0 references
    geometric group theory
    0 references
    graphs of groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references