Полная односторонняя функция, основанная на свободном $\mathbb Z\times\mathbb Z$-модуле конечного ранга

Известно, что задача принадлежности подполумодулю для свободного $\mathbb Z\times\mathbb Z$-модуля конечного ранга неразрешима. Модифицируя конструкцию неразрешимости, мы строим комбинаторную полную одностороннюю функцию, основанную на свободном $\mathbb Z\times\mathbb Z$-модуле конечного ранга. Библ. – 23 назв.