Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dynamic evaluation of integrity and the computational content of Krull's lemma |
scientific article |
Statements
Dynamic evaluation of integrity and the computational content of Krull's lemma (English)
0 references
2 September 2021
0 references
In the paper under review, the authors suggest a constructive procedure to determine the Krull dimension of a commutative ring. This procedure has been mostly developed in a previous paper by \textit{G. Kemper} and \textit{I. Yengui} [J. Algebra 557, 278--288 (2020; Zbl 1440.13112)]. Such paper deals with a constructive characterisation of the more general valuative dimension of a domain and contains only one non-constructive step: a reduction from the general case to the integral case. In the paper under review, the authors present a constructive argument for this reduction step via a dynamical solution.
0 references
Krull dimension
0 references
valuative dimension
0 references
constructive method
0 references
0 references