Equations over groups, and groups with one defining relation (Q1067002)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equations over groups, and groups with one defining relation
scientific article

    Statements

    Equations over groups, and groups with one defining relation (English)
    0 references
    0 references
    1984
    0 references
    This paper contains detailed proofs of important results in combinatorial group theory, at least some of which the author originally obtained as far back as 1979. The first result generalizes Magnus' Freiheitssatz: If A and B are locally indicable groups (i.e. with every nontrivial finitely generated subgroup having an infinite cyclic quotient) and w is any cyclically reduced word in A*B of length \(\geq 2\), then the normal closure of w in A*B intersects A and B trivially. The proof is purely algebraic, along the general lines of Magnus' proof. (A different proof was given independently by \textit{J. Howie} [J. Reine Angew. Math. 324, 165-174 (1981; Zbl 0447.20032)].) The author goes on to construct a nontrivial class \({\mathcal A}\) of locally indicable groups with the property that for each group \(A\in {\mathcal A}\) and each equation over A, there is a group K in \({\mathcal A}\), containing A as a subgroup, in which the equation has a solution. (From this one readily deduces in particular an affirmative answer to the question of Bokut' as to whether there exists a nontrivial group over which every equation has a solution (in the group).) The class \({\mathcal A}\) is quite wide, containing in particular all free groups, and closed under the formation of ''one-relator products'' \(A_ wB\) (the quotient of A*B by the normal closure of w) where A,B\(\in {\mathcal A}\), and w is as above with the additional property that it is not a proper power. It follows that every torsion-free one-relator group is locally indicable (whence in particular appropriate group rings of such groups have no zero-divisors). It is also shown that a group is locally indicable precisely if it contains a subnormal system with torsion-free abelian factors, so that torsion-free one-relator groups have this structure. An example of a one-relator group with a soluble subnormal system (i.e. an ''SN-group''), but without a soluble normal system (i.e. not an ''SI-group''), is given. Several other results of interest are proved.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    equations over groups
    0 references
    Freiheitssatz
    0 references
    locally indicable groups
    0 references
    finitely generated subgroup
    0 references
    cyclically reduced word
    0 references
    normal closure
    0 references
    free groups
    0 references
    one-relator products
    0 references
    torsion-free one-relator group
    0 references
    group rings
    0 references
    subnormal system with torsion-free abelian factors
    0 references
    soluble subnormal system
    0 references
    SN-group
    0 references
    SI-group
    0 references
    0 references
    0 references