A nilpotent quotient algorithm for graded Lie rings
Engel-Lie-algebragraded Lie algebrasLie ring of groups of prime exponentmultilinear identitiesnilpotency classnilpotent quotient algorithm
Computational methods for problems pertaining to nonassociative rings and algebras (17-08) Identities, free Lie (super)algebras (17B01) Solvable, nilpotent (super)algebras (17B30) Modular Lie (super)algebras (17B50) Associated Lie structures for groups (20F40) Periodic groups; locally finite groups (20F50) Symbolic computation and algebraic computation (68W30)
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.
- scientific article; zbMATH DE number 3125384 (Why is no real title available?)
- scientific article; zbMATH DE number 3901022 (Why is no real title available?)
- scientific article; zbMATH DE number 3672557 (Why is no real title available?)
- scientific article; zbMATH DE number 3448813 (Why is no real title available?)
- scientific article; zbMATH DE number 3071116 (Why is no real title available?)
- ON THE ASSOCIATED LIE RING OF A FREE 2-GENERATOR GROUP OF PRIME EXPONENT AND THE HUGHES CONJECTURE FOR 2-GENERATOR p-GROUPS
- On the connection between periodic groups and Lie rings
- On the Lie ring of a group of prime exponent II
- On the multilinear identities which hold in the Lie ring of a group of prime-power exponent
- The Burnside problem
- The Restricted Burnside Problem
- The two generator restricted Burnside group of exponent five
- Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II
- A note on nonidentical Lie relators
- Locally nilpotent 4-Engel groups are Fitting groups.
- Groups and nilpotent Lie rings whose order is the sixth power of a prime.
- On Schur's exponent property and its relation to Noether's Rationality problem
- The class-breadth conjecture revisited.
- The groups with order p^7 for odd prime p.
- On automorphisms of groups, rings, and algebras
- On 4-Engel Groups
- COMPUTING NILPOTENT QUOTIENTS OF ASSOCIATIVE ALGEBRAS AND ALGEBRAS SATISFYING A POLYNOMIAL IDENTITY
- scientific article; zbMATH DE number 4200484 (Why is no real title available?)
- scientific article; zbMATH DE number 3901022 (Why is no real title available?)
- scientific article; zbMATH DE number 1375568 (Why is no real title available?)
- Superalgebras and Dimensions of Algebras
- A Constructive Approach to Zel'manov's Global Nilpotency Theorem for n-Engel Lie Algebras Over a Field of Characteristic Zero
- Some Lie rings associated with Burnside groups
- Schur's exponent conjecture - counterexamples of exponent $5$ and exponent $9$
- Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
- On counterexamples to the Hughes conjecture.
This page was built for publication: A nilpotent quotient algorithm for graded Lie rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q752818)
