Valuative dimension, constructive points of view

Stefan Neuwirth,Henri Lombardi,Ihsen Yengui

2023-11-09

Abstract:There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics.

Commutative Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore and prove the equivalence relationships among the valuative dimensions under three possible constructive definitions within the framework of constructive mathematics. Specifically:

1. **Background and Motivation**:
- In classical mathematics, the valuative dimension has multiple classical characterizations. These characterizations also have corresponding versions in constructive mathematics, and these constructive versions have been proven to be equivalent to the classical definitions within the framework of classical mathematics and can be used to handle common examples of commutative rings.
- However, unlike the classical versions, the constructive versions have explicit computational content, which makes them more operable in practical applications.

2. **Research Objectives**:
- The main objective of the paper is to compare and analyze three different constructive definitions of the valuative dimension and prove that these definitions are equivalent within the framework of constructive mathematics.
- Specifically, the paper discusses the following three constructive definitions:
- The first definition \( \text{vdim}(R) \): Based on the Krull dimension of the polynomial ring.
- The second definition \( \text{Vdim}(R) \): Based on the valuative lattice and the valuative spectrum.
- The third definition \( \text{dim}_v(R) \): Based on the graded monomial order.

3. **Methods and Results**:
- Through detailed mathematical derivations and logical analyses, the paper proves that these three constructive definitions are equivalent within the framework of constructive mathematics.
- The proofs of these equivalence relationships not only provide theoretical support but also form the basis for practical calculations and algorithm design.

4. **Keywords**:
- Constructive mathematics
- valuative dimension of a commutative ring
- Algorithms
- Hilbert programme for abstract algebra

Through these studies, the paper not only deepens the understanding of the valuative dimension but also provides new perspectives and tools for the application of constructive mathematics in the field of algebra.