，且F在每个子概形上都是有限局部常值的，则称F为的。若对于任何X的平展覆盖U，formula_33都是挠群，则称F为的。有限局部常值的层都是可构造的，而可构造层都是挠的。每一个挠层都是一个可构造层的滤子。
ℓ进上同调群.在关于有限域formula_57的代数几何中，一个重要的目标是找到可以作为整数（或有理数）系数奇异上同调群的替代结构，因为奇异上同调群在有限域下并不没有复数域的情况下一样良好的性质。对于formula_58（其中n互质于域特征）系数，平展上同调表现尚可，但对于无挠系