苏伊恩联合国军队贿赂联合国总理可逆sur.四月第1.1版(SGA,有限性),上同调群尺寸最终确定。使用变量-通道上同调的阿廷和苏丹之声亲-群,在快递上la上同调南部拓扑建筑细胞委员会(comme colimite bien contrólée e de celle de topos construits sur)des(目标),奥勒圣德-群完成可计算的任务。论贝蒂的无主之旅模德sont算法可计算(au sens de Church–Turing)。高级宴会du texte est consarcée e a la démonstration de ce fait et de quelques complements公司大自然。《Elle’s appuie sur les outils de la seconde partie,dédiée e a la géométrie》algébrique有效。 让是代数闭域上的代数方案,并且素数可逆上的.根据(SGA)的定理1.1,Th.finitude),étale上同调群是有限维的。使用-adic的复数Artin的好邻域的变体和上同调的初等结果亲-我们表示的上同调作为一个很好地控制了建造在其中是可计算的有限的,有限的-组。由此,我们推断Betti数模属于是算法可计算(在Church和Turing的意义上)。这一点的证据事实以及某些相关结果占据了本文的第一部分。这个依赖于第二部分中收集的工具,该部分处理计算代数几何。
|