**16**

votes

**9**answers

4k views

### The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

Is there someone who can give me some hints/references to the proof of this fact?

**26**

votes

**9**answers

6k views

### Introductory text on geometric group theory?

Can someone indicate me a good introductory text on geometric group theory?

**19**

votes

**1**answer

483 views

### Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$?
A motivation is ...

**11**

votes

**6**answers

1k views

### Understanding groups that are not linear.

I have a really hard time "feeling" what it means for a group to fail to be linear. Vaguely, I'd like to know how one should think about such groups. More precisely:
What are some interesting ...

**13**

votes

**2**answers

453 views

### Minimal number of generators for $GL(n,\mathbb{Z})$

$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = ...

**7**

votes

**2**answers

326 views

### Is residual finiteness a property of “many” finitely presented groups?

Is there a reasonable random model for selecting a finitely presented group $G$ such that with positive probablity (or even with probability almost $1$) some of the following properties hold:
$G$ is ...

**3**

votes

**1**answer

344 views

### How do Dehn functions of special linear and mapping class groups behave?

Hi,
I apologize for the basic questions. I am looking for good references on the following problems:
1) What is known about the Dehn function of $SL_n(\mathbb{Z})$?
2) What is known about the Dehn ...

**8**

votes

**0**answers

434 views

### Uniquely geodesic groups

Definition : A group is CAT(0) if it acts properly, cocompactly and isometrically on a CAT(0) space.
Examples : see this blog.
Remark : A CAT(0) space is uniquely geodesic, but the converse is ...

**8**

votes

**4**answers

528 views

### isometric embeddings of Cayley graphs in “nice” spaces

This is from a physicist I know and as may be expected, I am threading my way between poorly defined and poorly translated.
What groups have Cayley graphs (w.r.t. a fixed finite generating set, and ...

**5**

votes

**0**answers

165 views

### Wild automorphisms of a free group

Let $F_X$ be a free group on a countably infinite set $X$. Let $\alpha$ be an automorphism of $F_X$ and $H$ a closed subgroup of $F_X$ in the profinite topology.
Is it possible that $\alpha(H) ...

**5**

votes

**1**answer

195 views

### Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...

**3**

votes

**1**answer

138 views

### Connection between Stalling's end theorem and Seifert-van Kampen Theorem

Stalling`s end Theorem (a group has more than one end iff it splits over a finite subgroup) and the Seifert-van Kampen Theorem (the fundamental group of a 'decomposable' space is a free amalgamated ...

**11**

votes

**1**answer

699 views

### Dehn's algorithm for word problem for surface groups

For some $g \geq 2$, let $\Gamma_g$ be the fundamental group of a closed genus $g$ surface and let $S_g=\{a_1,b_1,\ldots,a_g,b_g\}$ be the usual generating set for $\Gamma_g$ satisfying the surface ...

**8**

votes

**1**answer

340 views

### Topology of boundaries of hyperbolic groups

For many examples of word-hyperbolic groups which I have seen in the context of low-dimensional topology, the ideal boundary is either homeomorphic to a n-sphere for some n or a Cantor set. So, I was ...

**7**

votes

**2**answers

606 views

### Is there an algebraically normal function from $\mathbb{Z}^{n}$ to $\{ 0 , 1\}$?

Definition: Let $h$ be a polynomial in $n$ variables, then :
$\gamma(h,r,R):=\{ v \in \mathbb{Z}^{n} : \vert h(v) \vert \leq r, \Vert v \Vert < R \}$
Let $\omega : \mathbb{Z}^{n} \to \{ 0 , ...

**5**

votes

**1**answer

290 views

### Fixed points on boundary of hyperbolic group

Let G be a word-hyperbolic group with torsion and let ∂G be its boundary. Do there exist criteria that imply that all non-trivial finite order elements of G act fixed-point freely on ∂G?

**6**

votes

**1**answer

288 views

### Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4

I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...

**5**

votes

**0**answers

254 views

### Quotients of an extension of the Higman group

(Note: this started as a different question that soon changed form, thanks to the answers.)
Let $G = \mathbb{Z}/4\mathbb{Z} \ltimes H_4$, where $H_4$ is the Higman group and $\mathbb{Z}/4\mathbb{Z}$ ...

**4**

votes

**1**answer

140 views

### Which 3-manifolds have positive rank gradient?

For which $3$-manifolds $M$ is the fundamental group $\pi_1(M)$
finitely generated and has positive rank gradient?
Recall that the rank gradient of a finitely generated group $G$ is defined to ...

**4**

votes

**3**answers

374 views

### Must the powers of some element always grow linearly with respect to a word metric?

Suppose we have a group $G$ which is finitely generated , and let $|\cdot |$ denote some word metric on it. Must there be an element $a\in G$ such that $|a^n|\ge c\cdot n$ for some $c>0$?
My ...

**3**

votes

**1**answer

236 views

### Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...

**2**

votes

**0**answers

67 views

### Rank gradient in free products amalgamating a finite subgroup

Let $A,B$ be finitely generated groups with a common finite subgroup $C$. Suppose that $[A : C] > 2, [B : C] > 1$.
Must $A *_C B$ have positive rank gradient?
See Which 3-manifolds have ...

**2**

votes

**0**answers

164 views

### Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$
Let $H \leq \Gamma_g$ ...

**1**

vote

**1**answer

117 views

### Engulfing Kleinian groups?

Let $G$ be a Kleinian group, and let $H \lneq G$ be a finitely
generated subgroup. Must there be a proper finite index subgroup $U$ of $G$ containing $H$ ?
I know that this is true for Fuchsian ...

**1**

vote

**1**answer

344 views

### Kropholler's Conjecture and 3-manifolds

Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...

**1**

vote

**2**answers

409 views

### Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?

Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups?
I know that ...