エタール・コホモロジー
エタール・コホモロジーは係数がZ/nZの場合には上手く働くが、ねじれを持たない(たとえば整係数や有理係数)場合は満足する結果を与えない。エタール・コホモロジーからねじれを持たないコホモロジー群を得るためには、ねじれを持つ係数のエタール・コホモロジーの逆極限をとればよい。これはl進コホモロジーもしくはl進エタール・コホモロジーと呼ばれる。ここでlは考えているスキームVの標数pとは異なる任意の素数を表す。たとえば定数層Z/lZのエタール・コホモロジー
H i ( V , Z / l k Z ) {\displaystyle H^{i}(V,\mathbb {Z} /l^{k}\mathbb {Z} )}
の逆極限
H i ( V , Z l ) = lim ← H i ( V , Z / l k Z ) {\displaystyle H^{i}(V,\mathbb {Z} _{l})=\lim _{\leftarrow }H^{i}(V,\mathbb {Z} /l^{k}\mathbb {Z} )}