Exercice 2, § 8

Soient K un corps, K' un sous-corps de K, V un espace vectoriel à droite sur K, V' une K'-structure sur V, R' l’image canonique du dual V'* dans le dual V* de V (II, p. 122). Pour que R' soit un système générateur de V*, il faut et il suffit que V soit de dimension finie ou que K soit un K'-espace vectoriel à droite de dimension finie (utiliser l’exerc. 25 de II, p. 196).