Bài tập 3, § 3

Cho $A$ là một vành phân bậc kiểu $A$ (trong đó $A$ là không xoắn) và $M$ là một $A$-môđun phân bậc Laskerian mạnh sinh hữu hạn (§ 2, Bài tập 28). Chứng minh rằng các môđun con $Q(p) = Q(p, e_p(M))$ (trong đó $p$ chạy qua $\operatorname{Ass}_f(M)$) được xác định trong Bài tập 4 của § 2 là các môđun con phân bậc.