solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看3622次
Constructions cach\'ees en alg\`ebre abstraite (3) Dimension de Krull, Going Up, Going Down. (arXiv:1712.04728v1 [math.AC])
来源于:arXiv
Nous rappelons des versions \covs de la th\'eorie de la dimension de Krull
dans les anneaux commutatifs et dans les \trdisz, dont les bases ont \'et\'e
pos\'ees par Joyal, Espan\~ol et les deux auteurs. Nous montrons sur les
exemples de la dimension des alg\`ebres \pfz, du Going Up, du Going Down, % du
Principal Ideal Theorem, \ldots que cela nous permet de donner une version \cov
des grands th\'eor\`emes classiques, et par cons\'equent de r\'ecup\'erer un
contenu calculatoire explicite lorsque ces th\'eor\`emes abstraits sont
utilis\'es pour d\'emontrer l'existence d'objets concrets. Nous pensons ainsi
mettre en oeuvre une r\'ealisation partielle du programme de Hilbert pour
l'alg\`ebre abstraite classique.
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, Espan\~ol and the authors. We show that this gives a
constructive version of basic classical theorems (dime 查看全文>>