**13**

votes

**0**answers

284 views

### Linear groups which don't contain products of free groups

Let $G \subset GL(n, \Bbb Z)$ be a f.g. linear group. The Tits alternative says that $G$ is either virtually solvable (i.e. has a solvable subgroup of finite index), or contains a free group $F_2$. ...

**13**

votes

**0**answers

216 views

### Bounding the lengths of the conjugators in the word problem for finite group presentations

Let $G = \langle X \mid R \rangle$ be a group defined by a finite presentation, and let $F$ be the free group on $X$. If $w \in F$ represents the identity in $G$, then $w$ is equal in $F$ to (the free ...

**12**

votes

**0**answers

310 views

### What is an example of a word hyperbolic group without a finite complete rewriting system?

I believe that it was an open question back when I was a graduate student whether every word hyperbolic group admits a finite complete (=Church-Rosser=Noetherian+confluent) rewriting system for some ...

**12**

votes

**0**answers

330 views

### Splay trees and Thompson's group $F$

( I apologize for only indicating some easy to find references, but new users are not allowed to link more than five). This is very speculative, but:
Question: Is there a reformulation of the Dynamic ...

**10**

votes

**0**answers

533 views

### Definition of a uniformly bounded dual of a group

The unitary dual of a group $G$ is the set of equivalence classes of irreducible unitary representations of $G$ with the Fell topology. (This topology is defined using convergence of positive definite ...

**9**

votes

**0**answers

224 views

### Group with unsolvable conjugacy problem but solvable conjugacy length?

Could there exist a finitely presented group with unsolvable conjugacy problem, in which it is decidable whether a word over the group generators is a shortest representative of an element in its ...

**8**

votes

**0**answers

192 views

### A Magnus theorem in the category of residually finite groups

There is a natural notion of a presentations in the category of residually finite groups. Namely, if $X$ is set and $R$ is a set of words in the free group $FG(X)$ on $X$, then define $G=RF\langle ...

**8**

votes

**0**answers

396 views

### Is it true that every f.g. infinite simple group has exponential growth?

Is it true that every finitely generated infinite simple group has
exponential (word-)growth?
Remark: As Mark Sapir has pointed out, the question whether
every finitely generated group of ...

**8**

votes

**0**answers

348 views

### is a group $G$, that admits finite $k(G, 1)$ and has no Baumslag-Solitar subgroups, necessarily hyperbolic?

This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is ...

**7**

votes

**0**answers

68 views

### Approximation of the effective resistance on Cayley graph

Let $\Gamma$ be a finitely generated group, and denote by $G$ the Cayley graph of $\Gamma$. Denote by $d_R$ the resistance distance metric on this graph. The resistance distance metric between the ...

**7**

votes

**0**answers

414 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 ...

**6**

votes

**0**answers

204 views

### When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space.
Let $d$ a word metric on $\Gamma$ coming from some finite set of generators.
My question is:
Does there exist a ...

**6**

votes

**0**answers

185 views

### Polynomial growth without Gromov's theorem

It is a consequence of the theorem of M. Gromov on groups with polynomial growth and a result of P. Pansu(*) that if a finitely generated group $\Gamma = \langle S\rangle,\, S=S^{-1}$ satisfies ...

**6**

votes

**0**answers

123 views

### CAT(0) groups that does not act on CAT(0) cubical complex

CAT(0) groups are groups that act on a CAT(0) space properly and cocompactly. If a group acts on a CAT(0) cubical complex properly and cocompactly, then of course it is a CAT(0) Group. I am wondering ...

**6**

votes

**0**answers

132 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?

**6**

votes

**0**answers

160 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 ...

**6**

votes

**0**answers

108 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 ...

**6**

votes

**0**answers

136 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 ...

**5**

votes

**0**answers

106 views

### Centralizers in virtually special groups

Let $G$ be a virtually compact special group, in the terminology of Haglund and Wise (i.e., $G$ has a finite index subgroup $H$ which is isomorphic to the fundamental group of some compact special ...

**5**

votes

**0**answers

146 views

### Dynamics of virtual automorphisms of free group

The setup is that $F$ is a free finitely generated group, $H, H'$ are subgroups of index $2$, and $\tau:H\to H'$ is an isomorphism.
Denote by $B_r$ the ball around $1$ of radius $r$ in $F$, in the ...

**5**

votes

**0**answers

166 views

### Can one characterize amenable groups with $C_G(x)$ cyclic for all $x\neq 1$?

Can one characterize the amenable groups that have the property that the centralizer of every non-identity element is cyclic?
For example, must they be solvable?

**5**

votes

**0**answers

209 views

### Any method to detect subgroup generated by a subset of the generators from its presentation

I have met the following problem. A group $G$ is given as follows
$G = \langle x,y,t| y^{-2}xy^2 = x,t^{-1}yt =y^2 ,t^{-1}xt = xy^{-1}xy\rangle$
Is the subgroup generated by $y$ and $t$ just the ...

**4**

votes

**0**answers

87 views

### A subgroup of corank 1 in a free group contains a primitive element?

Let $F$ be the free group on $\{x_i\}_{i=1}^\infty$, and let $H \leq F$ be a subgroup with $\langle H \cup \{x_1\} \rangle = F$. Must there be a free basis $B$ of $F$ for which $B \cap H \neq ...

**4**

votes

**0**answers

167 views

### Primitive elements in a free group

Let $F$ be a free group of rank $\aleph_0$ and let $H$ be a subgroup for which there exists some $a \in F$ such that $\langle H \cup \{a\} \rangle = F$. Must there be some free basis $B$ for $F$ and a ...

**4**

votes

**0**answers

102 views

### Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...

**4**

votes

**0**answers

88 views

### Actions of amenable groups on graphs with uncountably many ends

Let $G$ be a finitely generated amenable group acting transitively on an amenable Schreier graph $S$. Is it possible for $S$ to have uncountably many ends? An amenable graph with uncountably many ends ...

**4**

votes

**0**answers

80 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 ...

**4**

votes

**0**answers

107 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

**0**answers

297 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 ...

**4**

votes

**0**answers

126 views

### Uniform incentre of collection of quasi convex subspaces in hyperbolic spaces

I'm reading a paper of Wise on cubulations and the following fact is used:
Let $H$ be a quasi-convex subgroup of a $\delta$-hyperbolic group and let $H_i, i\in I$ be a finite family of translates of ...

**4**

votes

**0**answers

236 views

### Can one pose a Toeplitz index problem associated to a discrete group?

Before posing my question, let me provide a little background since the Wikipedia page on this stuff is sorely lacking.
Let's start with the classical case of the Toeplitz index problem on the ...

**3**

votes

**0**answers

57 views

### Is the family of probabilities generated by a random walk on a finitely generated amenable group asymptotically invariant?

Is the family of probabilities $\mu^n$ (convolution) generated by a random walk $\mu$ on a finitely generated amenable group $G$ asymptotically invariant ($\|g\mu^n-\mu\|_{L^1}\to 0$ for any $g\in ...

**3**

votes

**0**answers

150 views

### Uniform sub-linearity of sub-additive functions on groups

Suppose $G$ is a finitely generated group and suppose $f: G \to \mathbb{R}$ is subadditive function, that is: $f(g_1\circ g_2) \leq f(g_1) + f(g_2)$. One example of such $f$ is the word length in some ...

**3**

votes

**0**answers

70 views

### Number of unitary representations of a Kazhdan group

It was proved by de la Harpe, Robertson, and Valette that for a discrete group $\Gamma$ with Kazhdan's property (T), there is a constant $c$ so that the number of irreducible unitary representations ...

**3**

votes

**0**answers

175 views

### every element with eigenvalue 1

Is there a "non-trivial" subgroup $G$ of $GL(n,\mathbb C)$ whose every element has an eigenvalue $1$?
"Non-trivial" here means that is no common eigenvector with eigenvalue $1$ for all elements of ...

**3**

votes

**0**answers

80 views

### Geometric automorphism of free group respect to nonorientable suface

An outer automorphism $[ϕ]\in Out(F_n)$ is geometric if it is induced by a surface homeomorphism h:M→M, where M is a compact surface with nonempty boundary. I am wondering is it enough we only ...

**3**

votes

**0**answers

155 views

### Growth of the number of generators in hyperbolic groups

Let $G$ be an infinite hyperbolic group, and let us further assume that it is residually finite (or even LERF/GFERF) so that we have plenty of subgroups of finite index.
I would like to know if one ...

**3**

votes

**0**answers

140 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 ...

**3**

votes

**0**answers

216 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 ...

**3**

votes

**0**answers

67 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 ...

**3**

votes

**0**answers

118 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, ...

**3**

votes

**0**answers

100 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 ...

**3**

votes

**0**answers

135 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 ...

**3**

votes

**0**answers

100 views

### Cogrowth and value of its series at the critical exponent

Let $G$ be a finitely generated group and write $G = F/N$ for $N$ a normal subgroup of a free group $F$. Let $S_n$ be the elements in $F$ written as words of exactly $n$ letters. So, for $n\geq 1$, ...

**2**

votes

**0**answers

94 views

### Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...

**2**

votes

**0**answers

149 views

### One question about iteration on groups

Let $G$ be a finitely generated group, $H$ a subgroup of $G$ of index $n$, with $a_i$ a set of coset representatives and $$G=\displaystyle\bigcup_{i=1}^nH{a_i}.$$
Let $\phi:H\rightarrow G$ be a ...

**2**

votes

**0**answers

146 views

### Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density).
I ...

**2**

votes

**0**answers

162 views

### Exotic actions of hyperbolic groups

Let $G$ be a hyperbolic group acting faithfully on $\mathbb{Z}$ such that:
The action is highly transitive - it is $k$-transitive for each $k \in \mathbb{N}$.
For every quasiconvex subgroup $H \leq ...

**2**

votes

**0**answers

168 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 ...

**2**

votes

**0**answers

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