On varietal quotients defined by ideals generated by Fox derivatives (Q1192256)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On varietal quotients defined by ideals generated by Fox derivatives
scientific article

    Statements

    On varietal quotients defined by ideals generated by Fox derivatives (English)
    0 references
    0 references
    0 references
    27 September 1992
    0 references
    Given a group \(G\), every subset of the integral group ring \(\mathbb{Z} F\) of a free group \(F\) defines, via substitution, an ideal in \(\mathbb{Z} G\). Let \({\mathcal V}\) be a variety of groups and let \(\Delta_{\mathcal V}'(G)\) be the ideal defined by the Fox derivatives of the words in the set of defining identities \(V\) of \({\mathcal V}\). Let \(\delta_{\mathcal V}(G):=G \cap(1+\Delta_{\mathcal V}'(G))\). From the fundamental formula of free differential calculus it follows that \(\delta_{\mathcal V}(G)\geq V(G)\), the verbal subgroup of \(G\) defined by the words in \(V\). The authors prove that if \({\mathcal V}\) is solvable, then \(\delta_{\mathcal V}(G)/V(G)\) is nilpotent of class at most two. In case \({\mathcal V}\) is a variety of nilpotent groups, then it is shown that \(\delta_{\mathcal V}(G)/V(G)\) is Abelian. Applied to the variety of nilpotent groups of class of most \(c\), an interesting consequence for the integral dimension subgroups of \(G\) follows, namely that \(D_ c(G)/\gamma_{c+1}(G)\) is Abelian for all \(c\geq 1\). Among other results it is also proved that \([D_ 4(G),G]=\gamma_ 5(G)\) for any group \(G\). Here \(D_ c(G):=G \cap(1+\Delta^ c(G))\), where \(\Delta(G)\) is the augmentation ideal of \(\mathbb{Z} G\) and \(\gamma_ c(G)\) denotes the \(c\)th term in the lower central series of \(G\).
    0 references
    integral group ring
    0 references
    free group
    0 references
    variety of groups
    0 references
    Fox derivatives
    0 references
    words
    0 references
    identities
    0 references
    free differential calculus
    0 references
    verbal subgroup
    0 references
    variety of nilpotent groups
    0 references
    integral dimension subgroups
    0 references
    augmentation ideal
    0 references
    lower central series
    0 references

    Identifiers

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