Bài tập 4, § 7

Cho $k'$ là một mở rộng của $k$, và $\mathfrak{g}'=\mathfrak{g}_{(k')}$. Chứng minh rằng mọi $\mathfrak{g}'$-môđun đều xuất phát, qua mở rộng vô hướng, từ một $\mathfrak{g}$-môđun duy nhất đến đẳng cấu.