Exercice 1, Annexe 1

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

Groupes et algèbres de Lie, VII

Soit $k'$ une extension de $k$ , et soit $V_{(k')} = V \otimes_k k'$ . Montrer que la topologie de Zariski de $V_{(k')}$ induit sur $V$ la topologie de Zariski de $V$ , et que $V$ est dense dans $V_{(k')}$ .