令K为交换环和单位元,令E为A-模,并令E∗为其对偶。从E⊗E∗到End(E)用φ典范同态表示。
a) 与形式的 End(E) 中的 1 不同的任意元素
sx,y∗=1−φ(x⊗y∗),
与x∈E和y∗∈E∗一起,在E中被称为“伪反射”。如果可以选择x和y∗使得⟨x,y∗⟩=2,则这样的元素被称为反射;表明我们有 s2=1 和 s(x)=−x。
b) 令x∈E, y∗∈E∗ 使得⟨x,y∗⟩=1。证明E是由x和y∗的正交补集H生成的子模Kx的直和。证明 Kx 与基 x 是自由的,并且 s=s2x,y∗ 在 H 上等于 1,在 Kx 上等于 −1。