G を指数 p の基本アーベル群（>>406）とする。
Z を有理整数環とする。
π：Z → Z/pZ を標準写像とする。
x ∈ G を任意の元とする。
px = 0 であるから n、m ∈ Z、n ≡ m (mod p) のとき nx = mx である。
よって、n ∈ Z のとき π(n)x = nx と定義することにより G は Z/pZ 上の線型空間となる。