Example 2
Tag 01HW, permanent. Cite it as [Bourbaki, Tag 01HW].
Lie Groups and Lie Algebras, chapter IX, § 9. Compact Lie groups operating on manifolds
Let E be a real euclidean affine space, a set of hyperplanes of E, W the group of displacements of E generated by the orthogonal reflections with respect to the hyperplanes of . Assume that is stable under W and that the group W, with the discrete topology, operates properly on E.
The preceding can be applied to the operation of W on E. The fixer of a point of E is the subgroup of W generated by the reflections with respect to the hyperplanes of containing (Chap. V, §3, no. 3, Prop. 2). Consequently, the largest orbit type is the class of the subgroup Id, and is the union of the chambers of E. Note that in this case the covering is trivial, and in particular is not connected if is non-empty.
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.
Cites
- Chap. V, §3, no. 3, Prop. 2 not in this corpus