Жесткие конструктивные модули

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