Bài tập 2, § 8

Cho K là một trường, K' là một trường con của K, V là một không gian vectơ phải trên K, V' là một cấu trúc K' trên V và R' là ảnh chính tắc của đối ngẫu V'* trong đối ngẫu V* của V (no. 4). Để R' là một hệ sinh của V*, điều kiện cần và đủ là V hữu hạn chiều hoặc K là một không gian vectơ phải K' hữu hạn chiều (dùng Bài tập 25 của § 7).