Z_p を p - 進整数環、 Z_p (×) Z_p を Z 上のテンソル積、P ： Z_p (×) Z_p → Z_p を積写像とする。
この時 P は環準同型となるが、 Ker P は 0 では無く、 Abel 群として divisible であることを示せ。