Gをabel群とし、C(G)で各開集合にGを割り当てる前層の層化を表すことにします

lを素数として、

lim[n]C(ℤ/l^nℤ)  (ℤ/l^nℤの定数層の逆極限)



C(ℤ_l)  (l進整数環の定数層)

は異なりますか?