Hidden constructions in abstract algebra Krull Dimension of distributive lattices and commutative rings
Coquand, Thierry ; Lombardi, Henri
HAL, hal-01675804 / Harvested from HAL
Text on HAL
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Español and the authors. We show that the notion of Krull dimension has an explicit computational content in the form of existence (or lack of existence) of some algebraic identities. We can then get an explicit computational content where abstract results about dimensions are used to show the existence of concrete elements. This can be seen as a partial realisation of Hilbert's program for classical abstract commutative algebra. MSC 2000: 13C15, 03F65, 13A15, 13E05
Publié le : 2001-06-07
Classification:  Krull dimension,  distributive lattices,  Constructive Mathematics,  [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] 
@article{hal-01675804,
     author = {Coquand, Thierry and Lombardi, Henri},
     title = {Hidden constructions in abstract algebra Krull Dimension of distributive lattices and commutative rings},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01675804}
}

Coquand, Thierry; Lombardi, Henri. Hidden constructions in abstract algebra Krull Dimension of distributive lattices and commutative rings. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-01675804/