Valuative dimension, constructive points of view - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Valuative dimension, constructive points of view

Dimension valuative, points de vue constructifs

Résumé

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.
Il existe plusieurs caractérisations de la dimension valuative d’un anneau commutatif. Des versions constructives de cette dimension ont été proposées, et démontrées équivalentes à la notion classique dans le cadres des mathématiques classiques. Contrairement aux version classiques, les versions constructives ont un contenu calculatoire clair et elles peuvent être utilisées dans les cas usuels d’anneaux commutatifs. Cet article étudie les relations en terms d’algèbres entre trois définitions constructives qui ont été proposées. De cette manière ces trois versions sont prouvées équivalentes directement en mathématiques constructives.
Fichier principal
Vignette du fichier
mainDimVal.pdf (668.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04274384 , version 1 (07-11-2023)

Identifiants

Citer

Stefan Neuwirth, Henri Lombardi, Ihsen Yengui. Valuative dimension, constructive points of view. 2023. ⟨hal-04274384⟩
14 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More