>>416の訂正
定義
M を(有理整数環上の)加群とし、その部分群の降列 M_0 ⊃ M_1 ⊃ ...
で M_0 = M を満たすものが与えられたとき M をフィルター加群と言う。