Published online by Cambridge University Press: 17 April 2009
Complicated groups of exponent four have been constructed from the ring of polynomials in associating non-commuting indeterminates with coefficients from the field of two elements. The justification of these constructions depends on a computational reduction result. In this note a further reduction is obtained. The expressions involved seem to have an interesting combinatorial structure.