Let
be a
field,
be a
-vector space,
and
be a
field extension.
Let
,
,
be a family of vectors in
. Then the following statements hold.
- The family
,
,
is a
-generating system
of
if and only if
,
,
is an
-generating system of
.
- The family
,
,
is
-linearly independent
in
if and only if
,
,
is
linearly independent
(over
)
in
.
- Die family
,
,
is a
-basis
of
if and only if
,
,
is an
-basis of
.