Bourbaki

Proposition 1

Tag 0DNZ, permanent. Cite it as [Bourbaki, Tag 0DNZ].

Algebra, chapter IX, § 10. Angles

Let A(Φ)A(\Phi) be the subalgebra of LA(E)\mathscr{L}_A(E) generated by the direct similitudes of E.

a) The direct similitudes are the invertible elements of A(Φ)A(\Phi). The algebra A(Φ)A(\Phi) is a commutative algebra of degree 2 over A. When E contains no isotropic vector ≠0\neq 0, A(Φ)A(\Phi) 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)(e_1, e_2) be an orthogonal basis of E; put αi=Φ(ei,ei)\alpha_i = \Phi(e_i, e_i) (i=1,2)(i = 1, 2) and δ=−α2/α1\delta = -\alpha_2/\alpha_1. Then the matrices of the elements of A(Φ)A(\Phi) with respect to this basis are the matrices of the form (aδbba)\begin{pmatrix} a & \delta b \\ b & a \end{pmatrix} where a∈A,b∈Aa \in A, b \in A.

c) The space E is a monogeneous free A(Φ)A(\Phi)-module, generated by any non-isotropic vector.

Let us introduce, in fact, an auxiliary alternating bilinear form B≠0B \neq 0 on E; then B is non-degenerate. There exists therefore an endoNo. 1

morphism ω\omega of E such that Φ(x,y)=B(ω(x),y)\Phi(x, y) = B(\omega(x), y) for all x,yx, y in E. For every invertible endomorphism uu of E, one has

Φ(u(x),u(y))=B(ωu(x),u(y))=B(uu−1ωu(x),u(y))=(det⁡u)B(u−1ωu(x),y); \begin{align*} \Phi(u(x), u(y)) &= B(\omega u(x), u(y)) = B(uu^{-1}\omega u(x), u(y)) \\ &= (\det u)B(u^{-1}\omega u(x), y); \end{align*}
therefore, in order that uu be a direct similitude, it is necessary and sufficient that one have
(det⁡u)B(u−1ωu(x),y)=(det⁡u)Φ(x,y)=(det⁡u)B(ω(x),y) (\det u)B(u^{-1}\omega u(x), y) = (\det u)\Phi(x, y) = (\det u)B(\omega(x), y)
for all x,yx, y in E; since det⁡u≠0\det u \neq 0 and B is non-degenerate, this is equivalent to u−1ωu=ωu^{-1}\omega u = \omega, or again to uω=ωuu\omega = \omega u. Let us take for B the alternating bilinear form whose matrix SS with respect to (e1,e2)(e_1, e_2) is (01−10)\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}; denoting by RR and WW the matrices of Φ\Phi and of ω\omega with respect to this basis, the relation Φ(x,y)=B(ω(x),y)\Phi(x, y) = B(\omega(x), y) is written, by virtue of formula (47) of § 1, No. 10, R=tW.SR = {}^tW.S; writing this out shows that one has W=(0α2−α10)W = \begin{pmatrix} 0 & \alpha_2 \\ -\alpha_1 & 0 \end{pmatrix}. If (acbd)\begin{pmatrix} a & c \\ b & d \end{pmatrix} denotes the matrix of uu with respect to (e1,e2)(e_1, e_2), the relation uω=ωuu\omega = \omega u is therefore equivalent to the relations bα2=−cα1,aα2=dα2,aα1=dα1b\alpha_2 = -c\alpha_1, a\alpha_2 = d\alpha_2, a\alpha_1 = d\alpha_1, that is to say to a=da = d and c=δbc = \delta b; this proves that the matrices of the direct similitudes are the invertible matrices of the form (aδbba)\begin{pmatrix} a & \delta b \\ b & a \end{pmatrix} (a,ba, b in A).

Now the endomorphisms of E whose matrices are of the form (aδbba)\begin{pmatrix} a & \delta b \\ b & a \end{pmatrix} (a,ba, b in A) form a vector subspace of dimension 2 of LA(E)\mathfrak{L}_A(E), generated by 1 and by the endomorphism ω\omega; since ω2\omega^2 is the homothety of ratio −α1α2-\alpha_1\alpha_2, this subspace is the subalgebra A(Φ)A(\Phi) of LA(E)\mathfrak{L}_A(E) generated by the direct similarities. The direct similarities are the invertible elements of A(Φ)A(\Phi), that is to say those whose matrices satisfy a2−δb2≠0a^2 - \delta b^2 \neq 0. The fact that the algebra A(Φ)A(\Phi) is commutative is evident. Let us apply to it the results of Chap. II, § 7, No. 7: if δ\delta is not a square in A, that is to say if no nonzero vector of E is isotropic, A(Φ)A(\Phi) is a field; if, on the contrary, δ\delta is a square in A, that is to say if E contains isotropic vectors ≠0\neq 0, A(Φ)A(\Phi) 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 e1e_1 of an orthogonal basis (e1,e2)(e_1, e_2) (§ 6, No. 1); therefore its transforms u(e1)u(e_1) by the elements uu of Λ(Φ)\Lambda(\Phi) are the vectors of the form ae1+be2ae_1 + be_2 (a,ba, b in Λ\Lambda), that is to say all the vectors of EE, since all the matrices (aδbba)\begin{pmatrix} a & \delta b \\ b & a \end{pmatrix} are matrices of elements of Λ(Φ)\Lambda(\Phi). In other words EE is a monogenic Λ(Φ)\Lambda(\Phi)-module, generated by any nonisotropic vector. One sees further that it is a free monogenic Λ(Φ)\Lambda(\Phi)-module, since u(e1)=ae1+be2=0u(e_1) = ae_1 + be_2 = 0 implies a=b=0a = b = 0, hence u=0u = 0. This proves c).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.