О рациональном замыкании групповой алгебры линейно упорядоченной группы в теле рядов Мальцева

Пусть $K$ – тело, $G$ – линейно упорядоченная группа, $K\{G\}$ – тело формальных степенных рядов Мальцева. Существует, каноническое нормирование тела $K\{G\}$ со значениями в линейно упорядоченную группу $G$, которое может быть сужено до нормирования $v\colon D\to(G,\infty)$ рационального замыкания $D$ группового кольца $KG$ в теле $K\{G\}$. Основной результат статьи – доказательство конструктивности тела $D$ при условии, что объекты $(K,+,\circ,^{-1},0,1)$ и $(G,\circ,^{-1},1,\le)$ заданы конструктивно. Следствием этой теоремы является конструктивность нормирования $v$. Попутно установлено, что первичный матричный идеал, соответствующий $KG$-телу частных $D$, минимален, и тем самым если у кольца $KG$ имеется универсальное тело частных, то оно совпадает с $D$.
Библиогр. 11.