**1**

vote

**0**answers

139 views

### Accessible subgroups of free groups

Let $F$ be a nonabelian free finitely generated group, and $F = G_0 \rhd G_1 \rhd G_2 \dots$ a strictly descending subnormal chain of subgroups ($G_n \lhd G_{n-1}$ for each $n \in \mathbb{N}$) each ...

**4**

votes

**0**answers

78 views

### Nice minimal embeddings of large finite groups into compact Riemannian manifolds

The initial motivation for this question is a very practical problem: I need to find the absolute minimum of a function on a very large symmetric group $\Sigma_N$ (with $N$ 10000 or more). So if ...

**6**

votes

**1**answer

251 views

### Amenability as a geometric property

Let $G$ be a discrete, finitely generated, and amenable group. Let $H$ be a group which is quasi- isometric to $G$. Is $H$ amenable?

**11**

votes

**1**answer

292 views

### What are smallest finite images of triangle groups?

Given integers $a, b, c$ all at least 2, I would like to identify the smallest group with an element $x$ of order $a$, element $y$ of order $b$ such that the product $yx$ has order $c$. For example, ...

**3**

votes

**0**answers

137 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**10**

votes

**1**answer

188 views

### Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$.
There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...

**1**

vote

**0**answers

128 views

### Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...

**2**

votes

**0**answers

141 views

### Finitely generated groups non-embeddable into $L_1(0,1)$

I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups:
(1) Heisenberg group ...

**4**

votes

**1**answer

108 views

### Stabiliser of the lamination of a free group - Invariant subgraphs

I am studying the paper "Laminations, trees, and irreducible automorphisms of free groups" of Bestvina, Feighn and Handel. But I found a note in the paper "Stabilisers of $\mathbb{R}$-trees with ...

**10**

votes

**1**answer

226 views

### Embeddings of finitely generated groups into uniformly convex Banach spaces

de Cornulier, Tessera, and Valette (Geom. Funct. Anal. 17 (2007), 770-792) conjectured that a finitely generated group $G$ with its word metric admits a bilipschitz embedding into a Hilbert space if ...

**6**

votes

**0**answers

126 views

### Homology groups of Noetherian groups

Let $G$ be a Noetherian group. Is $H_n(G,\mathbb{Z})$ finitely generated? Do we know the above for the special cases $n=2,3$ even?

**2**

votes

**0**answers

205 views

### Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...

**7**

votes

**1**answer

289 views

### Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...

**2**

votes

**1**answer

233 views

### Can a closure make the index finite?

Let $F$ be a free finitely generated group, $H \leq F$ of infinite index. Let $c : F \rightarrow \hat{F}$ be the embedding in the profinite completion. Denote by $\tilde{F}, \tilde{H}$ the closure of ...

**-2**

votes

**1**answer

95 views

### Is there some lattice not rigid

I heard that in complex hyperbolic space setting for example CH2, there is some deformation of lattice nontrivial. What confused me is it seems contradicting Mostow Rigidity. Could someone explain ...

**0**

votes

**0**answers

81 views

### Bases and transversals

Let $F$ be a free finitely generated group, $L \leq H \leq F$ subgroups of finite index.
Given bases $B$ of $F$ and $C$ of $H$, must there be a Schreier transversal $T$ for $H$ in $F$ such that the ...

**5**

votes

**1**answer

170 views

### Orbit spaces of crystallographic groups

In their paper "On Three-Dimensional Space Groups", Conway et al. write
Although this paper was inspired by the orbifold concept, we did not need to consider the 219 orbifolds of space groups ...

**1**

vote

**1**answer

137 views

### Products of subgroups that generate a finite group

Consider the following general problem. There is a finite group $G$ and $H_1,H_2 < G$. Suppose we know that $\langle H_1, H_2 \rangle = G$, i.e. $G$ is generated by $H_1$ and $H_2$. Denote by $n_0$ ...

**2**

votes

**1**answer

196 views

### Making a profinite group free

Let $F$ be a free profinite group, $G$ a profinite group. Suppose that the free profinite product $F \amalg G$ is a free profinite group. Must $G$ be a free profinite group?
For abstract groups the ...

**3**

votes

**3**answers

300 views

### Stallings' Theorem for free products of groups

There is a well known theorem which states that:
Theorem(Stallings):
For any immersion $f$ from a finite graph $D$ to $G$ there is a finite-sheeted covering space $D '$ of $G$ that extends $f$. ...

**4**

votes

**1**answer

640 views

### solvable word problem without algorithm

Let $G$ be a finitely generated group. I wonder if there are examples where:
1) The word problem is known to be solvable in $G$ but there is no algorithm known.
2) The word problem is known to be ...

**6**

votes

**0**answers

157 views

### “Twisted” Lyndon equation in a free group

In 1959, Lyndon showed that in a free group, the equation $u^2v^2=w^2$ has only commuting solutions: $uv=vu=w$. Is there in the litterature any information about the following "twisted" version of the ...

**3**

votes

**1**answer

211 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$ ...

**6**

votes

**0**answers

105 views

### Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...

**1**

vote

**1**answer

298 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

**1**answer

111 views

### the lower bounded of metrics on a group

Let $G$ be a finitely generated group, S is a set of generators. If $\forall s\in S, n\in \mathbb{Z}$, $\exists C>0$ such that $|s^n|_S\ge C|n|$, does it imply $\forall$ infinite order element ...

**4**

votes

**1**answer

123 views

### Action of the isometry group of the hyperbolic 5-space

We can think hyperbolic 5-space as, $$\mathcal{H}^5=SO^+_{5,1}(\mathbb{R})/SO_5(\mathbb{R})=SL_2(\mathbb{H})/Sp^*_2(\mathbb{H}),$$$\mathbb{H}$ is real quaternion algebra. By Iwasawa Decomposition the ...

**3**

votes

**0**answers

198 views

### Profinite groups, completions, and Schreier's formula

Let $G$ be a finitely generated profinite group, and $H \leq_o G$. We say that $H$ satisfies Schreier's formula in $G$ if $d(H) - 1 = (d(G)-1)[G:H]$. We say that $G$ satisfies Schreier's formula if ...

**2**

votes

**0**answers

64 views

### L_2-Betti numbers of random groups

Are there any results in calculating $l_2$-Betti numbers of random groups in the Gromov density model?
I can deduce myself a few facts:
If a group has Property (T) then the first $l_2$-Betti ...

**2**

votes

**3**answers

177 views

### Combination of Stallings theorem and Dunwoody's accessibility

I am interested in applications of the combination of Stallings theorem and Dunwoody's accessibility, which can be summarized as follow:
Theorem: Let $G$ be a finitely presented group. Then $G$ is ...

**4**

votes

**0**answers

106 views

### Regularity of polynomial growth of groups

Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies:
$$
A n^d \leq B_n \leq Bn^d
$$
for some constants $A$, $B$.
My question ...

**4**

votes

**1**answer

119 views

### Rationality of translation lengths in hyperbolic groups

Recall that the translation length $\tau(g)$ of an element $g \in G$ is the limit $d(1, g^n)/n$, where $d$ is the word metric on $G$ with resepct to some generating set.
It is a theorem of Gromov ...

**6**

votes

**3**answers

587 views

### Links between Geometric Group Theory and Number Theory

Do You know any successful applications of the geometric group theory in the number theory? GTG is my main field of interest and I would love to use it to prove new facts in the number theory.

**3**

votes

**0**answers

104 views

### Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...

**11**

votes

**2**answers

310 views

### Algorithms in hyperbolic groups

I'm stuck in some algorithms in hyperbolic groups, which may be rather simple.
Let $G$ be a hyperbolic group given by a finite presentation. It is known that the hyperbolicity constant $\delta$ can ...

**3**

votes

**0**answers

92 views

### Does there exists a finitely presented group with Dehn function > n^3 and all asymptotic cones simply connected

It is well known that all asymptotic cones simply connected implies polynomial Dehn function (Gromov). It is also well known that quadratic Dehn function implies all asymptotic cones simply connected ...

**0**

votes

**0**answers

160 views

### Induced graphs of cayley graph

I have a Cayley graph $Cay(G,S)$, its group presentation $G=< S | R >$ and it is a metric graph by assigning a length equal to 1 to each edge. I also have an induced subgraph of that Cayley ...

**3**

votes

**1**answer

117 views

### Non co-hopfian groups - finite index

What sort of spaces cover themselves with a finite fibre? Or, what sort of finitely generated groups contain isomorphic copies of themselves as subgroups as finite index? Is it a reasonable question ...

**15**

votes

**1**answer

340 views

### Asymmetric metrics and cohomology

If $(X,d)$ is a metric space and $f : X \rightarrow \mathbb{R}$ is a Lipschitz function with Lipschitz constant $k < 1$, then the function
$$
D(x,y) := d(x,y) + f(y) - f(x)
$$
defines an asymmetric ...

**0**

votes

**0**answers

95 views

### Help understanding a proof in Stallings' Triangle of Groups paper

I'm trying to understand the proof of theorem 1 in Stalling's Non-positively Curved Triangle of Groups. I have specific questions, but is there anywhere someone has written out the proof in more ...

**7**

votes

**2**answers

380 views

### Kaplansky's idempotent conjecture for Thompson's group F

Let $K$ be a field and $G$ be a torsion-free group. Kaplansky's idempotent conjecture states that the group ring $K[G]$ does not contain any non-trivial idempotent, i.e. if $x^2=x$ then $x=0$ or ...

**4**

votes

**1**answer

123 views

### Connection between degree of growth and return probabilities of random walks on Lie groups

Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...

**6**

votes

**0**answers

125 views

### How much do the classes of geodesic metrics and Green metrics on a Gromov hyperbolic group differ?

Background
Let $G$ be a Gromov hyperbolic group. If $G$ acts properly discontinuously and cocompactly on a proper geodesic metric space $X$, then any bijective identification of $G$ with its orbit ...

**0**

votes

**0**answers

76 views

### Groups and triangle-square complexes

I would like to know what kind of groups (and/or their group presentation) acting geometrically on CAT(0) curved piecewise Euclidean triangle-square complexes.
Thanks

**0**

votes

**1**answer

201 views

### JSJ-decompositions of hyperbolic groups and elementary vertices

My question is the following:
In Bowditch's JSJ-decomposition of hyperbolic groups, can elementary (virtually-cyclic) vertices have degree 1? If not, why not?
I had thought for a long time that ...

**6**

votes

**1**answer

343 views

### Candidates for non-sofic groups

What are the "simplest" examples of countable groups that are not known to be sofic?

**4**

votes

**0**answers

185 views

### Computing the pro-solvable closure of a finitely generated subgroup of a free group

The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...

**8**

votes

**1**answer

225 views

### Is there a finitely generated residually finite group with solvable word problem that does not embed in a finitely presented residually finite group?

The famous Higman embedding theorem says that every recursively presented group embeds in a finitely presented group. This is a convenient tool to construct finitely presented groups with bizarre ...

**3**

votes

**0**answers

129 views

### Topological interpretation for groups of type $FP_2$

A group $G$ is of type $FP_2$ if it admits a partial projective resolution of $\mathbb{Z}G$-modules $$ P_2 \rightarrow P_1 \rightarrow P_0 \rightarrow \mathbb{Z} \rightarrow 0$$ with each $P_i$ being ...

**1**

vote

**1**answer

103 views

### Module structure of the abelianization of the commutator subgroup

Let $G$ be a (non-abelian) group, and let $G_2$ denote its commutator subgroup. Then the abelianization $G_2^{ab} = H_1(G_2,\mathbb{Z})$ is a module over the group ring $\mathbb{Z}[G^{ab}]$. The ...