Proving the 5-Engel identity in the 2-generator group of exponent four

Colin Ramsay

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…