Bài tập 3, § 3

Cho $A$ là một vành coherent phải ($§ 2$, bài tập 12). Để một tích các $A$-môđun trái là phẳng trung thành, chỉ cần mỗi môđun trong chúng là phẳng và ít nhất một trong chúng là phẳng trung thành.

Suy ra rằng, nếu $A$ là một vành giao hoán coherent, vành các chuỗi lũy thừa hình thức $A[[X_1, \ldots, X_n]]$ là một $A$-môđun phẳng trung thành.