Example
Tag 01F8, permanent. Cite it as [Bourbaki, Tag 01F8].
Lie Groups and Lie Algebras, chapter IX, § 6. Integration on compact Lie groups
Take G to be the group and T to be the subgroup of diagonal matrices (§3, no. 6); identify with by the choice of basis of loc. cit.). Put ; this is an alcove of . The interval can be identified with the space of conjugacy classes of G, the element of
0
corresponding to the conjugacy class of . Let be Lebesgue
0
measure on ; it follows from the preceding that the image on of the Haar measure on G is the measure sin.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.