Dynamic evaluation of integrity and the computational content of Krull's lemma
type: Item
instance of: scholarly article
title: Dynamic evaluation of integrity and the computational content of Krull's lemma
zbMATH Open document ID: 1491.13011
author: Peter Schuster
author: Daniel Wessel
author: Ihsen Yengui
published in: Journal of Pure and Applied Algebra
publication date: 2021-09-02T00:00:00Z
review text: 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.
reviewed by: Paolo Lella
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 16P60
zbMATH DE Number: 7389899
zbMATH Keywords: Krull dimension
zbMATH Keywords: valuative dimension
zbMATH Keywords: constructive method
MaRDI profile type: Publication
full work available at URL: j.jpaa.2021.106794
OpenAlex ID: W3173578078
Wikidata QID: Q124849037
cites work: Q4884914
cites work: Polynomials and radical ideals
cites work: Q4944905
cites work: Dynamical method in algebra: Effective Nullstellensätze
cites work: Q5661989
cites work: Q3274219
cites work: Q4124833
cites work: Valuative dimension and monomial orders
cites work: Krull dimension, Nullstellensätze and dynamical evaluation
cites work: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
cites work: A course in constructive algebra
cites work: An algorithmic approach to the existence of ideal objects in commutative algebra
cites work: Nontrivial Uses of Trivial Rings
cites work: A universal Krull-Lindenbaum theorem
cites work: ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
cites work: Eliminating disjunctions by disjunction elimination
cites work: Induction in Algebra: A First Case Study
cites work: Induction in algebra: a first case study
cites work: Resolving finite indeterminacy
cites work: Making the use of maximal ideals constructive
cites work: Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
DOI: 10.1016/J.JPAA.2021.106794
description: scientific article; zbMATH DE number 7389899