О группе, свободно действующей на абелевой группе

Доказывается, что подгруппа группы $SL_2(\mathbb C)$, порожденная такими двумя элементами $x$, $y$ порядка 3, что порядки $xy$ и $xy^{-1}$ конечны, является конечной. Отсюда выводится, что группа, действующая свободно на нетривиальной абелевой группе, конечна, если она порождается такими двумя элементами $x$, $y$ порядка 3, что порядки $xy$ и $xy^{-1}$ конечны. Библиогр. 4.