Построение тела, конечно порожденного как кольцо

Поле рациональных чисел бесконечно порождено как кольцо, ибо конечный набор рациональных чисел имеет конечный набор простых в знаменателях. В некоммутативном случае ситуация иная. Стартуя от групповой алгебры, добавляя соотношения вида $1+u_i=W_i$, где $W_i$ суть слова возрастающей длины и плохо зацепляющиеся между собой, удается построить пример.

Доклад посвящен контролю над соотношениями и возможным версиям гиперболической теории колец.
Совместная работа с И. Рипсом, А. Аткарской и Е. Плоткиным.