FREE CENTRE-BY-METABELIAN LIE RINGS

N. Mansuro lu, R. Stohr
2013 Quarterly Journal of Mathematics  
We study the free centre-by-metabelian Lie ring, that is, the free Lie ring with the property that the second derived ideal is contained in the centre. We exhibit explicit generating sets for the homogeneous and fine homogeneous components of the second derived ideal. Each of these components is a direct sum of a free abelian group and a (possibly trivial) elementary abelian 2-group. Our generating sets are such that some of their elements generate the torsion subgroup while the remaining ones
more » ... reely generate a free abelian group. A key ingredient of our approach is the determination of the dimensions of the corresponding homogeneous and fine homogeneous components of the free centre-by-metabelian Lie algebra over fields of characteristic other than 2. For that we exploit a sixterm exact sequence of modules over a polynomial ring that is originally defined over the integers, but turns into a sequence whose terms are projective modules after tensoring with a suitable field. Our results correct a partly erroneous theorem in the literature. where T n is a (possibly trivial) elementary abelian 2-group and F n is a free abelian group. This, together with explicit bases for T n as a free Z/2Z-module and for F n as a free Z-module, is the main †
doi:10.1093/qmath/hat017 fatcat:g2z7icveqvaddha2zpvsh5n6cu