格），且与V的的泰特模对偶。因为一个黎曼曲面的贝蒂数是2g，该群与复数代数曲线的formula_61系数奇异上同调群同构。这个例子也说明了为什么我们要求ℓ不等于p：在两者相同的时候，泰特模的秩最多是g。ℓ进上同调群可能包含挠子群，而迈克尔·阿廷和戴维·芒福德在处理几何问题的时候也用到了这样的性质。若需要从ℓ进上同调群中完全去除挠子群从而得到可以被视作零特征域上的向量空间的上同调群，则可以使用如下定义：（注意这里的符号可能有误导性：formula_80既不是平展层，也不是ℓ进层）。Section: