MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a group and $X$ a set equipped with a transitive right $G$-action. Further, let $c: X\to X$ be a $G$-equivariant map. Is it true that $\text{Stab}(x) = \text{Stab}(c(x))$ for all $x\in X$?

This doesn't seem to be an interesting mathoverflow question on its own, but the reason I ask is the following: In Hovey's book on Model Categories Hovey proves some sort of five lemma for pointed model categories (Thm.6.5.3). In the end of the proof, he seems to conclude from $\alpha\text{Stab}(x)\alpha^{-1}\subset\text{Stab}(x)$ that equality holds; I don't understand how this can be done. The above statement comes from a try to fix this gap.

share|cite|improve this question
have you read the proof in the version which is available on google books? there he seems to eleborate the argument. – Martin Brandenburg Jan 16 '10 at 13:34
When hovey states his claim, does he say it's true for any $\alpha$? Because then it's a very easy exercise to verify that it makes sense, since if we have a containment relation between those two, we can also see that the inverse conjugate contains Stab(x), but since it's true for $\alpha$ and $\alpha^{-1}$, we have equality. – Harry Gindi Jan 16 '10 at 14:13
@Martin: The point is that I do not understand why $\alpha^{-1}$ should stabilize $\text{Stab}(x)$. Can you explain it to me? @Harry: Sorry, I should've said that $\alpha$ is some fixed element. Of course, if the relation would hold for all $\alpha$, then it'd be easy. – Hanno Becker Jan 16 '10 at 14:41
up vote 7 down vote accepted

That's essentially the same as this question. So the answer is negative: if $X=H\backslash G$, the stabilizer of $Ha\in X$ is $a^{-1}Ha$; if $b$ is any element such that $bHb^{-1}\subset H$, the map $$Ha\mapsto Hba$$ is $G$-equivariant; if $bHb^{-1}\ne H$, we get a counterexample.

share|cite|improve this answer
Thank you very much, that's a nice counterexample! But this also means that Hovey's proof is still unclear to me. – Hanno Becker Jan 16 '10 at 14:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.