Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Hidden constructions in a… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings

Paper i proceeding
Författare Thierry Coquand
Henri Lombardi
Publicerad i Commutative ring theory and applications. 4th International Conference on Commutative Algebra, Fez, 2001
Volym 231
Sidor 477-499
ISBN 0-8247-0855-5
ISSN 0075-8469
Publiceringsår 2003
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU)
Sidor 477-499
Språk en
Ämneskategorier Algebra och geometri

Sammanfattning

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, Espanol 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 realization of Hilbert's program for classical abstract commutative algebra.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?