Bài tập 6, § 7

Cho $k$ là một vành, $A$ là một đại số $k$ trơn hình thức được tôpô hóa tuyến tính. Chứng minh rằng với mọi iđêan mở $J$ của $A$, môđun $A/J$-$(A/J) \otimes_A \Omega_k(A)$ là xạ ảnh (chứng minh, sử dụng ví dụ của No. 1, rằng đối với mọi đồng cấu toàn ánh của các $A/J$-môđun $M \to M''$, mọi $k$-đạo hàm từ $A$ vào $M''$ nâng được lên $M$).