Об одном алгоритме тождества

Доказано, что над целочисленным групповым кольцом свободной группы конечного ранга всякий модуль со счетным числом образующих и конечным числом определяющих соотношений эффективно вложим в циклический модуль с тем же числом определяющих соотношений. При помощи этого утверждения строится алгоритм тождества в модулях с одним определяющим соотношением над вышеупомянутым кольцом. Указывается пример конечно определенного модуля без алгоритма тождества над целочисленным групповым кольцом группы с алгоритмом тождества.