Field extension/Q in R/Basis/Exercise
Jump to navigation
Jump to search
Let be the -dimensional standard vector space over , and let
be a family of vectors. Prove that this family is a -basis of if and only if the same family, considered as a family in , is a -basis of .