习题 28, § 7

设$\rho : K \to A$为域$K$的单同态到环$A$，并令$E$为左向量空间除以$K$。为了使典范映射 $(E^*)_{(A)} \to (E_{(A)})^*$ 成为双射，$E$ 是有限维的，或者 $A$（被视为右向量 $K$ 空间）是有限维的（使用习题 25 (b)）。当这两种情况之一成立时，就存在规范的双射$(E^{**})_{(A)} \to (E_{(A)})^{**}$。