A group of exponent 8

A group of exponent 8 with two generators one of which has order 4 and the other has order 2 is studied. The question of finiteness of such a group is reduced to the question of finiteness over a field of two elements of a Lie algebra with two generators and three defining relations of a very simple form. Bibl. 2 titles.