完全濾子化模

完全濾子化模(complete filtered module)為濾子化模的特殊類，即M是濾子化左R模.M的元素的序列。

定義

(m;);EN，若對每個pEN存在一個N(p) E N，對一切:,t}N<p)有m，一mr EF _}M，則稱(m; );E、為柯西序列.若對每個pEN，存在N(p)EN，只要S}N(p)恆有m,.-mEF_flM，則稱序列(m)。、收斂於m一個濾子化模ME R-filt ,若濾子FM是分離的且M中一切柯西序列是收斂的，則稱M是完全濾子化模，相應的濾子FM也稱為完全的.完全濾子化模的有限直和也是完全的.