A nilpotent quotient algorithm for graded Lie rings (Q752818)

This paper dedicated to Prof. G. E. Wall on his 65th birthday, deals with the description of the identities, which hold in the Lie algebra (over GF(p)) L(n,p) of the free n-generated group B(n,p) of prime exponent p. By the Magnus-Sanov theorem the algebra L(n,p) satisfies the (p-1)-Engel identity, and it was G. E. Wall, who discovered a new (Wall's) identity of degree 2p-1, which is known to be not a consequence of the (p-1)-Engel one for \(p=5\), 7, 11. While for \(p=5\) G. E. Wall did that by hand, for \(p=7\), 11 the aid of a computer was used by J. J. Cannon. Though now all multilinear identities of L(n,p) are known due to M. R. Vaughan-Lee, nothing else in known about which of them are really new (it is only known, due to G. E. Wall, that this may happen only at degrees \(k(p- 1)+1)\). This is one of the reasons, why computers are the essential tool in this area. The present paper describes the nilpotent quotient algorithm for graded Lie algebras of characteristic \(p>0\). The corresponding program is a modification of the analogous program for nilpotent groups, developed in Canberra. The improvements include also the knowledge of the multilinear identities of L(n,p) mentioned above. Among the concrete results of this paper are: (a) The class of the free k-generator 4-Engel-Lie-algebra of characteristic 5 is at most 6k (and hence the class of \(B(k,5)/\cap \gamma_ i(B(k,5))\) is at most 6k). This improves Higman's bound 25k. (b) The nilpotency class of B(3,5)/\(\cap_{i}\gamma_ i(B(3,5))\) is at most 17 and its order is at most \(5^{2282}.\) (c) The maximal of class 18 quotient of B(2,7) has order \(7^{6366}\) and its Lie algebra satisfies only consequences of the multilinear identities of Vaughan-Lee - Wall.