Let . Prove that is a basis for over if and only if .
Define a mapping by , , and extend linearly. Since has dimension 2 as a -vector space (and has as a basis ), is a basis if and only if is an isomorphism. The matrix of with respect to the bases and is ; is an isomorphism if and only if this matrix is invertible over , which is true if and only if . (See this exercise.)