Factorizations of Self-similar Groups Associated to the First Grigorchuk Group

Abstract

In this paper, we construct two self-similar groups factorizable by their locally finite 2-subgroups, generators of which are constructed from the generators of the first Grigorchuk group. Both groups contain the first Grigorchuk group, the second also contains the binary adding machine. The first group is a 2-group but not locally finite and the second group is neither locally finite nor a 2-group. Therefore each of them is a new example providing a negative answer to well-known solved problems. Surprisingly, definitions of both groups involve the Gray code.