Bài tập 1, Phụ lục 1

Tag 00XJ, permanent. Cite it as [Bourbaki, Tag 00XJ].

Nhóm Lie và đại số Lie, VII, 66

Cho $k'$ là một mở rộng của $k$ , và đặt $V_{(k')}= V\otimes_kk'$ . Hãy chứng minh rằng tôpô Zariski trên $V_{(k')}$ cảm sinh tôpô Zariski trên V, và rằng V là trù mật trong $V_{(k')}$ .