Krull Dimension Export

@misc{citeulike:2743754, abstract = {1 Introduction We analyse the notion of Krull dimension of a commutative ring and of a distributive lattice. To any ring/distributive lattice we associate in an elementary way a distributive lattice which can be seen as a point-free description of the space of increasing chain of prime ideals of a given length. We give a direct characterisation of this lattice, and compare it to another characterisation due to Lombardi [Lomb99]. Finally we relate our results to the work of Joyal and Espanol...}, author = {Coquand, Thierry}, citeulike-article-id = {2743754}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4670}, posted-at = {2008-05-02 01:35:08}, priority = {2}, title = {Krull Dimension}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4670} }

TY - GEN ID - citeulike:2743754 L3 - citeulike-article-id:2743754 N2 - 1 Introduction We analyse the notion of Krull dimension of a commutative ring and of a distributive lattice. To any ring/distributive lattice we associate in an elementary way a distributive lattice which can be seen as a point-free description of the space of increasing chain of prime ideals of a given length. We give a direct characterisation of this lattice, and compare it to another characterisation due to Lombardi [Lomb99]. Finally we relate our results to the work of Joyal and Espanol... TI - Krull Dimension AU - Coquand, Thierry UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4670 ER -