Bourbaki

Exercise 5, § 3

Integration, VII, p. 92

Equip Rn\mathbf{R}^n with the quadratic form x12+x22+⋯+xn2x_1^2 + x_2^2 + \cdots + x_n^2. Let GnG_n be the group of displacements of Rn\mathbf{R}^n (Alg., Ch. IX, §6, No. 6, Def. 3) of determinant 1. a) Show that GnG_n is unimodular. b) Every element of G2G_2 may be uniquely written in the form

(x,y)↦(u+xcos⁡ω−ysin⁡ω,v+xsin⁡ω+ycos⁡ω), (x, y) \mapsto (u + x \cos \omega - y \sin \omega, v + x \sin \omega + y \cos \omega),

where u,vu, v are in R\mathbf{R}, and ω\omega is an element of the group Θ\Theta of angles of half-lines, isomorphic to U\mathbf{U}. Show that du⊗dv⊗dωdu \otimes dv \otimes d\omega (where dωd\omega is a Haar measure on Θ\Theta) is a Haar measure on G2G_2.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.