Bourbaki

Remark 1

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

Algebra, chapter IX, § 10. Angles

Let ν\nu be the similarity of matrix (0δ10)\begin{pmatrix} 0 & \delta \\ 1 & 0 \end{pmatrix} with respect to (e1,e2)(e_1, e_2); the similarity ω\omega introduced in the proof of Prop. 1 is equal to −α1ν-\alpha_1 \nu; one has ν2=δ\nu^2 = \delta. The multiplier of the direct similarity u=a+bνu = a + b \nu (a,ba, b in Λ\Lambda) is equal to the determinant of its matrix (aδbba)\begin{pmatrix} a & \delta b \\ b & a \end{pmatrix}, that is to say to a2−δb2=(a+bν)(a−bν)=u.u‾a^2 - \delta b^2 = (a + b \nu)(a - b \nu) = u . \overline{u}, denoting by u‾\overline{u} the conjugate of uu in the algebra Λ(Φ)\Lambda(\Phi) (Chap. II, § 7, No. 7); in other words the multiplier of uu is the norm N(u)N(u) of uu in the algebra Λ(Φ)\Lambda(\Phi) (ibid.). In particular, in order that a direct similarity uu be a rotation, it is necessary and sufficient that N(u)=1N(u) = 1; in order that uu be a homothety, it is necessary and sufficient that u∈Λ∗u \in \Lambda^*.

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.