令 E 为向量空间大于域 K。
(a) 证明 E 的每个映射 f 可以与 E 的每个自同构置换,其值为形式 x↦αx,其中 α∈K(首先证明对于所有 x∈E 存在 ρ(x)∈K 使得 f(x)=ρ(x)x,使用以下事实f 与 E 的每自同构进行交换,而 x 不变)。
(b) 设g为E中E×E的映射,使得对于E的每个自同构u,对于E中的所有x,y,g(u(x),u(y))=u(g(x,y))。证明存在K的两个元素α,β,使得g(x,y)=αx+βy在E 线性无关元素有序对 (x,y) 集合;此外,K 中存在 K×K 的映射 ϕ,使得所有 x∈E 都有 g(λx,μx)=ϕ(λ,μ)x(同样的方法)。如果进一步对 E 的每个自同态 u 进行 g(u(x),u(y))=u(g(x,y)),则对 E 中的所有 x,y 进行 g(x,y)=αx+βy。将 En 的映射推广到 E 中。