1
$\begingroup$

Given a finite subset $S$ not containing the identity element in a residually finite group $G$, does there always exist a normal subgroup of $G$ which has finite index (in $G$) and which avoids $S$? (If $S$ is a singleton, this is of course the definition of a residually finite group.)

$\endgroup$
2
  • 2
    $\begingroup$ Yes. Simply take the intersection of the finitely many normal subgroups, each avoiding one of the elements of $S$. $\endgroup$ Oct 28, 2010 at 16:57
  • $\begingroup$ Thanks. (I was just trying to put something analogous as a comment myself, since this idea ocured to me a moment ago.) $\endgroup$ Oct 28, 2010 at 17:02

2 Answers 2

6
$\begingroup$

Yes, take the intersection of the normal subgroups $N_1, N_2, ..., N_k$ of finite index avoiding elements $x_1,x_2,...,x_k$ of your set. It is normal and of finite index (at most the product of indices of $N_i$).

$\endgroup$
2
  • $\begingroup$ Thank you (this was an easy question put on MO a little bit quickly as I discovered myself after submission.) $\endgroup$ Oct 28, 2010 at 17:04
  • 2
    $\begingroup$ Yes, it was easy. In terminology of the book by Hanna Neumann "Varieties of groups", a residually finite group is discriminated by finite groups (meaning exactly the property you are after). If you replace "finite" by some other property $A$, the property "residually $A$" and "disciminated by A" may be different. For example "residually free" and "discriminated by free" are two different concepts. $\endgroup$
    – user6976
    Oct 28, 2010 at 17:34
5
$\begingroup$

The answer is yes. Since $G$ is residually finite, given $g\in S$ there is a finite group $F_g$ and a homomorphism $\phi_g: G\to F_g$ whose kernel does not contain $g$. Now $S$ is disjoint from the kernel of the product of these homomorphisms $G\to \prod_{g\in S}F_g$, and the target is a finite group.

More generally if $C$ is a class of groups closed under finite products, and $G$ is residually $C$, then $G$ is fully residually $C$.

$\endgroup$

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.