Linear algebra MOC

Vector space over a field extension

Let be a field extension and be an -vector space. Then is also a -vector space, and linalg

Proof

That is a vector space over any subfield of , so in particular it is an -vector space. Let be an -indexed -basis for and be a -indexed -basis for . We claim that

forms an -indexed -basis for . Indeed, for any , we have

for some finite subset , and for each we have

for some finite subset . Therefore

is a finite linear combination.

Corollaries

• Intermediate field extension

---

tidy | en | sembr