2
$\begingroup$

I have seen the following statment somewhere, for example in Appendix B2 on Silverman's book "The Arithmetic of Elliptic Curves" : Let $M$ be an abelian group with discrete topology and $G$ be a profinite group. Then an linear action ( which means that $\sigma(m_1+m_2)=\sigma(m_1)+\sigma(m_2)$, i.e it is a $G$-module) $ \phi : G \times M \rightarrow M$ is continuous if and only if the stabilizer $ \sigma \in G | \sigma(m)=m $ has finite index in $G$ for all $m \in M$. But what we need is that this stabilizer is open in $G$. I also saw that in a profinite group, not every subgroup of finite index is open. So is this statement correct? Or how to see that this stabilizer is open if it has finite rank?

$\endgroup$
3
  • $\begingroup$ If the group is finitely generated, finite-index subgroups are open:ams.org/mathscinet-getitem?mr=2276769 $\endgroup$
    – Ian Agol
    Oct 18, 2011 at 17:13
  • 2
    $\begingroup$ It is false as stated. For instance, consider any faithful action of a quotient of G by a non-closed finite index subgroup. "Finite index" should be replaced with either "open" or "closed and finite index". $\endgroup$ Oct 18, 2011 at 21:47
  • $\begingroup$ @Kevin Ventullo: Thanks. But I made a mistake in my question. In fact, the statement is for $G$-modules, i.e it requires the action satisfies $\sigma (m_1 + m_2) = \sigma(m_1) + \sigma(m_2)$. The example that $G$ acts on $G/H$ for a subgroup $H$ of $G$ is not a $G$-module. I should add this condition in my question, sorry. $\endgroup$
    – user565739
    Oct 18, 2011 at 22:18

1 Answer 1

2
$\begingroup$

Not every finite index subgroup is open, but closed subgroups of finite index are open.

So if the stabilizer is closed, that would be sufficient...

$\endgroup$
1
  • 1
    $\begingroup$ Without continuity, I can't see why the stabilizer is closed....:( Could you give me a hint? Thanks. $\endgroup$
    – user565739
    Oct 18, 2011 at 19:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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