。同样也成立。例如，一个复椭圆曲线的第一上同调群是一个秩为2的整数自由模，而一个有限域椭圆曲线的第一ℓ进上同调群则是一个秩为2的ℓ进数自由模（只要ℓ不是该有限域的特征），而且后者与泰特模对偶。ℓ进上同调群在一个意义上优于奇异上同调群：前者往往受伽罗瓦群作用。例如，若一个复数簇在有理数上定义，则其ℓ进上同调群受有理数的绝对伽罗瓦群的作用，因此是一个。有理数的伽罗瓦群的元素（除去平凡元和共轭元之外），大多不在有理数上定义的复数簇上有"连续"作用，因此大多不在奇异上同调群上作用。这一现象与拓扑空间的基