Let $V$ an euclidean space, $X$ a finite set of non-zero vertors in V and $\mathcal{H}$ be the set of hyperplanes of the form $a^{\perp}$ for some $a\in X$. Let $W$ be the group generated by reflecions $s_{H}$ for $H\in \mathcal{H}$.

If the set $X$ is invariant under the action of $W$ then is finite. My question is : Does the reciprocal is true ???

  • 1
    $\begingroup$ Is your question «if $W$ is finite, is $X$ invariant under the action of $W$?»? $\endgroup$ – Mariano Suárez-Álvarez Nov 2 '12 at 22:51
  • 1
    $\begingroup$ Obviously NO, take two vectors in the plane. If $X$ is the set of all unit normal vectors to all hyperplanes of reflections in $W$ then obviously YES. $\endgroup$ – Anton Petrunin Nov 2 '12 at 23:38
  • 1
    $\begingroup$ To elaborate on Anton's remark: If you take two vectors $a_1,a_2$ in the plane so that the angle between $a_1,a_2$ is not in ${\mathbb Q}\pi$, then the product of reflections in $a_1^\perp, a_2^\perp$ has infinite order. There are more interesting counter-examples in ${\mathbb R}^3$, where you can find three vectors $a_1,a_2,a_3$ so that each $\angle(a_i, a_j)$ is of the form $r_{ij}\pi$, $r_{ij}\in {\mathbb Q}$, but the reflection group is still infinite. To get a better idea of what is going on, read any book on Coxeter groups. $\endgroup$ – Misha Nov 3 '12 at 5:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.