Teorema de la pureza absoluta

---

En geometría algebraica, el teorema de la pureza absoluta (cohomológica) es un teorema importante en la teoría de la cohomología étale . Dice: ^[1] dado

para cada entero , el mapa${\ Displaystyle m \ geq 0}$

es biyectiva, donde el mapa es inducido por el producto de taza con .${\ Displaystyle c_ {r} (Z)}$

El teorema se introdujo en SGA 5 Exposé I, § 3.1.4. como un problema abierto. Posteriormente, Thomason lo demostró para n grandes y Gabber en general.

---