>>91 の前に次の定義をすべきだった。

定義
M をアーベル群とする。
M の部分群からなる降列
... M_p ⊃ M_(p+1) ...
を M のフィルターと呼ぶ。
ここで、p は有理整数全体を動く。

M をフィルター付アーベル群と呼ぶ。