Let A(Φ) be the subalgebra of LA(E) generated by the direct similitudes of E.
a) The direct similitudes are the invertible elements of A(Φ). The algebra A(Φ) is a commutative algebra of degree 2 over A. When E contains no isotropic vector =0, A(Φ) is a field, a quadratic extension of A; in the contrary case it is the direct sum of two fields isomorphic to A.
b) Let (e1,e2) be an orthogonal basis of E; put αi=Φ(ei,ei) (i=1,2) and δ=−α2/α1. Then the matrices of the elements of A(Φ) with respect to this basis are the matrices of the form (abδba) where a∈A,b∈A.
c) The space E is a monogeneous free A(Φ)-module, generated by any non-isotropic vector.
Let us introduce, in fact, an auxiliary alternating bilinear form B=0 on E; then B is non-degenerate. There exists therefore an endoNo. 1
morphism ω of E such that Φ(x,y)=B(ω(x),y) for all x,y in E. For every invertible endomorphism u of E, one has
Φ(u(x),u(y))=B(ωu(x),u(y))=B(uu−1ωu(x),u(y))=(detu)B(u−1ωu(x),y); therefore, in order that
u be a direct similitude, it is necessary and sufficient that one have
(detu)B(u−1ωu(x),y)=(detu)Φ(x,y)=(detu)B(ω(x),y) for all
x,y in E; since
detu=0 and B is non-degenerate, this is equivalent to
u−1ωu=ω, or again to
uω=ωu. Let us take for B the alternating bilinear form whose matrix
S with respect to
(e1,e2) is
(0−110); denoting by
R and
W the matrices of
Φ and of
ω with respect to this basis, the relation
Φ(x,y)=B(ω(x),y) is written, by virtue of formula (47) of § 1, No. 10,
R=tW.S; writing this out shows that one has
W=(0−α1α20). If
(abcd) denotes the matrix of
u with respect to
(e1,e2), the relation
uω=ωu is therefore equivalent to the relations
bα2=−cα1,aα2=dα2,aα1=dα1, that is to say to
a=d and
c=δb; this proves that the matrices of the direct similitudes are the invertible matrices of the form
(abδba) (
a,b in A).
Now the endomorphisms of E whose matrices are of the form (abδba) (a,b in A) form a vector subspace of dimension 2 of LA(E), generated by 1 and by the endomorphism ω; since ω2 is the homothety of ratio −α1α2, this subspace is the subalgebra A(Φ) of LA(E) generated by the direct similarities. The direct similarities are the invertible elements of A(Φ), that is to say those whose matrices satisfy a2−δb2=0. The fact that the algebra A(Φ) is commutative is evident. Let us apply to it the results of Chap. II, § 7, No. 7: if δ is not a square in A, that is to say if no nonzero vector of E is isotropic, A(Φ) is a field; if, on the contrary, δ is a square in A, that is to say if E contains isotropic vectors =0, A(Φ) is the direct sum of two fields isomorphic to A. This proves a) and b).
Finally any nonisotropic vector of E may be taken as first vector e1 of an orthogonal basis (e1,e2) (§ 6, No. 1); therefore its transforms u(e1) by the elements u of Λ(Φ) are the vectors of the form ae1+be2 (a,b in Λ), that is to say all the vectors of E, since all the matrices (abδba) are matrices of elements of Λ(Φ). In other words E is a monogenic Λ(Φ)-module, generated by any nonisotropic vector. One sees further that it is a free monogenic Λ(Φ)-module, since u(e1)=ae1+be2=0 implies a=b=0, hence u=0. This proves c).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Nothing.
Nothing.