Abstract:It is known that the fifth Engel word $E_5$ is trivial in the 2-generator group of exponent four $B(2,4)$, and so can be written as a product of fourth powers. Explicit products of 250 and 28 powers are known, using fourth powers of words up to lengths four and ten respectively. Using a reduction technique based on the recursive enumerability of the set of trivial words in a finite presentation we were able to rewrite $E_5$ as a product of 26 fourth powers of words up to length five.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the fifth Engel word \(E_5\) can be expressed as a product of several fourth powers in the Burnside group \(B(2, 4)\) of exponent 4 with 2 - generators. Specifically, the author hopes to find a shorter and more concise way to express \(E_5\).
### Background and Problem Description
In group theory, if \(x\) and \(y\) are elements of a group \(G\), then their commutator (or the first Engel word \(E_1\)) is defined as:
\[ [x, y]=x^{- 1}y^{-1}xy\]
The \(n\)-th Engel word \(E_n\) is recursively defined as:
\[ E_{n}=[E_{n - 1}, y]\]
A group \(G\) satisfies the \(n\)-Engel identity if \(E_n\) is trivial (i.e., equal to the identity element) in \(G\). Burnside introduced the free Burnside group \(B(d, n)\), which is a finite group of exponent \(n\) generated by \(d\) generators. In particular, \(B(2, 4)\) is a finite group of exponent 4 with two generators, its order is \(2^{12}\), and it satisfies the 5 - Engel identity.
### Known Results
Previous research has shown that \(E_5\) can be expressed as a product of fourth powers. The specific expressions are as follows:
- Havas [2] gave an expression containing 250 fourth powers.
- Korlyukov [3] gave a shorter expression containing 28 fourth powers, but using base words of length 8 to 10.
### Contribution of This Paper
This paper proposes a new method to simplify the expression of \(E_5\) based on the recursive enumerability of trivial words in a finite presentation. The author successfully expresses \(E_5\) as a product of 26 fourth powers, and the length of the base words used does not exceed 5. This is an improvement over the previous result of 28 fourth powers, and at the same time reduces the length of the base words, making the expression more concise.
### Method Overview
The author uses a method of generating trivial words and constructs simplified proof words through a series of conjugation and adding - relation operations. The specific steps include:
1. **Generating Trivial Words**: Starting from a set of relations, generate all possible trivial words through conjugation and adding relations.
2. **Simplifying Proof Words**: Reduce the length of proof words by free reduction and folding adjacent generator - inverse pairs.
3. **Selecting Appropriate Base Words**: Generate shorter proof words by randomly selecting Lyndon words of different lengths as base words.
Finally, the author found an expression containing 26 fourth powers, and the length of the base words of these fourth powers does not exceed 5. In addition, the author also explored whether it is possible to generate trivial words in an infinite group by selecting appropriate base words, thereby further simplifying the proof.
### Conclusion
This paper shows how to generate shorter proof words by selecting appropriate base words and introducing redundant relations. The experimental results show that without using base words with a length exceeding 5 and without including long sub - words of \(E_5\), a concise expression can be obtained. This method not only simplifies the expression of \(E_5\), but also provides new ideas for further research.