Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $G$ be the subgroup of $\text{Bij}(\mathbb{Z})$ generated by $\sigma : n \mapsto n+1$ and $\tau$ which switches $0$ and $1$.

How can we prove that $G$ is not residually finite? Is it hopfian?

share|improve this question

1 Answer 1

up vote 5 down vote accepted
  1. $G$ is not residually finite. Specifically, any map $f:G\to H$ with $H$ finite sends $g=(123)$ to the identity. To see this, pick $n$ with $n!>\max(5,|H|)$ and note that $f$ restricts to a map $S_n\to H$, which must have a non-trivial kernel, but the only normal subgroups of $S_n$ are $1$, $A_n$ and $S_n$.

  2. $G$ is hopfian. Consider an epimorphism $f:G\to G$. If $\ker(f)$ contains an element $g$ of infinite order, write $g=g'\tau^k$ where $g'$ is a finitary permutation. There exists $h$ with $f(h)=\tau$; write $h=h'\tau^\ell$ similarly. Then $h^kg^{-\ell}$ is a finitary permutation, so $f(h^kg^{-\ell})=\tau^k$ has finite order, but this is a contradiction. If $\ker(f)$ contains a non-trivial element $g$ of finite order then the restriction $f:S_X\to G$ has a non-trivial kernel for some finite set $X=\{-n,\dots,n\}$. But we can choose $|X|\geq 5$ and derive a contradiction as before unless the kernel is the group of even permutations. But in the last case, since $n$ can be chosen arbitrarily large, $\ker(f)$ is the group of even permutations, so $G/\ker(f)$ is isomorphic to $\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$ (I think), contradicting the surjectivity of $f$. So $f$ must be an isomorphism.

share|improve this answer
    
So $G$ is an example of a hopfian non-residually finite group (it is known that a residually finite group is hopfian). However $G$ is infinitely presented; have you an example of such a group but finitely presented? –  Seirios Jul 25 '12 at 10:20
    
@Seirios: you should probably ask that as a separate question so it gets read - I didn't know what any of these terms meant until after studying your question! But according to encyclopediaofmath.org/index.php/Baumslag%E2%80%93Solitar_group the group $BS(2,4)$ is a finitely presented hopfian non-residually finite group. –  Colin McQuillan Jul 25 '12 at 12:35
    
You answered my question, thank you! –  Seirios Jul 25 '12 at 12:42

Your Answer

 
discard

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.