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

We can define two topologies on a group $G$ by considering all normal subgroups of finite index (resp. of index a finite power of $p$ - where $p$ is a prime) as basis of $1\in G$.

My questions: Under what conditions these two topologies coincide? What are the usual approaches to check whether they coincide in a given f.g. group?

To coincide is equivalent to the following. For each normal subgroup $N$ of finite index, there exists a normal subgroup $P$ of index a finite power of $p$ such that $P\subseteq N$.

So, a trivial situation is when each finite quotient of $G$ is a $p$-group.

Thanks in advance for any ideas! Explicit examples are very welcome too.

share|cite|improve this question
Clearly, if $P\subseteq N$, then the index of $P$ in $G$ is divisible by that of $N$ in $G$. So your equivalent condition is satisfied if and only if each finite quotient of $G$ is a $p$-group. – Alex B. Nov 20 '10 at 5:52

Your Answer


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

Browse other questions tagged or ask your own question.