Bourbaki

Proposition 9

Tag 05X5, permanent. Cite it as [Bourbaki, Tag 05X5].

Algebra, chapter II, § 10. Matrices

If the elements of a matrix XX with mm rows and nn columns belong to a subfield K0K_0 of a field KK, the rank of XX with respect to K0K_0 is equal to the rank of XX with respect to KK.

Let F0F_0 be the right vector K0K_0-space generated by the canonical basis of the right vector KK-space E=KdmE = K_d^m; by hypothesis the columns of XX belong to E0E_0. Let V0V_0 (resp. VV) be the vector sub-K0K_0-space of F0F_0 (resp. the vector sub-KK-space of EE) generated by these columns. Then V=V0⊗K0KV = V_0 \otimes_{K_0} K (§ 8, no. 2, Proposition 2) and hence dim⁡KV=dim⁡K0V0\dim_K V = \dim_{K_0} V_0.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.