On Fox and augmentation quotients of semidirect products. (Q627967)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Fox and augmentation quotients of semidirect products.
scientific article

    Statements

    On Fox and augmentation quotients of semidirect products. (English)
    0 references
    0 references
    4 March 2011
    0 references
    Let \(\mathbb Z[G]\) denote the integral group ring of the group \(G\), and \(\mathfrak g\) its augmentation ideal. This paper is devoted to the study of the augmentation quotients \(Q_n(G):=\mathfrak g^n/\mathfrak g^{n+1}\) and the Fox quotients \(Q_n(G,H):=\mathfrak g^{n-1}\mathfrak h/\mathfrak g^n\mathfrak h\), where \(H\) is a subgroup of \(G\). The main results consider the case when \(G=N\rtimes T\) is the semidirect product of a normal subgroup \(N\) and some subgroup \(T\). The methods used are homological, the descriptions given for the quotients are functorial and in terms of enveloping algebras of certain Lie rings associated with the subgroups \(N\) and \(T\). Specifically, a complete description is given for the quotients \(Q_n(G)\), \(Q_n(G,T)\) and \(Q_n(G,N)\) for \(n\leq 3\) and certain direct factors of \(Q_4(G)\), \(Q_4(G,T)\) and \(Q_4(G,N)\). Let \(\{\gamma_i(G)\}_{i\geq 1}\) denote the lower central series of \(G\), and \(\{N_{(i)}\}_{i\geq 1}\) the series defined inductively by setting \(N_{(1)}=N\), \(N_{(i)}=[N_{(i-1)},G]\). Under the assumptions that \(n\geq 2\), there exists \(k\), \(0\leq k\leq n-2\), such that \(\gamma_s(T)/\gamma_{s+1}(T)\) is torsion-free for \(0\leq s\leq k\) and that \(N_{(t)}/N_{(t+1)}\) is torsion-free for \(0\leq t\leq n-k-2\), a description of \(Q_n(G)\) and \(Q_n(G,T)\) is given.
    0 references
    integral group rings
    0 references
    augmentation quotients
    0 references
    augmentation ideals
    0 references
    Fox quotients
    0 references
    associated Lie rings
    0 references
    \(N\)-series
    0 references
    enveloping algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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