Questions tagged [combinatorial-group-theory]

Filter by
Sorted by
Tagged with
24 votes
4 answers
2k views

Free splittings of one-relator groups

Roughly speaking, I want to know whether one-relator groups only have 'obvious' free splittings. Consider a one-relator group $G=F/\langle\langle r\rangle\rangle$, where $F$ is a free group. Is it ...
HJRW's user avatar
  • 24.2k
21 votes
1 answer
797 views

Can a hyperbolic, one ended, one relator group, have a shorter trivial word?

Let $G= \langle S \mid r \rangle$ be a one-relator presentation for a one-ended hyperbolic group, with $r$ cyclically reduced. Question: Can there be a nontrivial word $w(S)$ which is trivial in the ...
user avatar
17 votes
3 answers
1k views

Examples of locally hyperbolic groups

It is well-known that a subgroup of a hyperbolic group need not be hyperbolic. Let us say that a (finitely generated) group $G$ is locally hyperbolic if all its finitely generated subgroups are (...
Jean Charles's user avatar
15 votes
2 answers
2k 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 ...
John M's user avatar
  • 153
13 votes
1 answer
650 views

Avoiding countable subgroups of a group homeomorphic to the Cantor space

Update: Further work with Adam (who answers below) and Piotr led to a rather satisfactory result about the problem that motivated the problem below, see our recent paper The Haar Measure Problem. In ...
Boaz Tsaban's user avatar
  • 3,104
10 votes
2 answers
779 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 ...
user50229's user avatar
  • 201
10 votes
2 answers
380 views

Reference request: Recent progress on the conjugacy problem for torsion-free one-relator groups?

I am aware that the Spelling Theorem of B. B. Newman implies that one-relator groups with torsion are hyperbolic, and thus have a solvable conjugacy problem. My understanding is that for one-relator ...
jpmacmanus's user avatar
10 votes
1 answer
998 views

When is the semidirect product of an elementary abelian group and a cyclic group generated by two elements?

I am trying to characterize when a semi-direct product of the form $(Z/pZ)^n \rtimes (Z/qZ)$ is isomorphic to a group generated by two elements. Here $p$ and $q$ are distinct odd primes. I would be ...
Pat Devlin's user avatar
  • 2,660
9 votes
0 answers
293 views

Breuer-Guralnick-Kantor conjecture and infinite 3/2-generated groups

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g'...
Sebastien Palcoux's user avatar
9 votes
3 answers
789 views

Is there a one relator group with property (T)?

Is there a one-relator group with property (T)? That is, is there an $n > 2$, and some $x \in F_n$ (the free group on $n$ generators) such that the quotient of $F_n$ by the normal subgroup ...
Pablo's user avatar
  • 11.2k
8 votes
2 answers
746 views

Avoiding countable subgroups of general uncountable groups

The following problem is a general form of another problem (motivation is available there). Initially, the problems were posted together, but the first one is solved below, a solution that does not ...
Boaz Tsaban's user avatar
  • 3,104
3 votes
0 answers
406 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$ ...
Pablo's user avatar
  • 11.2k
2 votes
2 answers
1k views

quotient groups of the lower central series of a free group

I have a question about some quotient groups of the lower central series of a free group. When there's a free group $F = \langle x_1,\cdots, x_n, y_1, \cdots, y_m\rangle $, let $A$ be the subgroup ...
qkqh's user avatar
  • 347
2 votes
1 answer
404 views

Quotient groups of the lower central series of a surface group

In the answer to MO question 132247, it is possible to find a nice computation of the quotient groups of the lower central series of a finitely generated free group. Q. What are the quotient ...
Francesco Polizzi's user avatar
2 votes
1 answer
623 views

Combinatorial problem in $\mathsf{S}_4$

I am working on a problem in Combinatorial Group Theory related to a construction in Algebraic Geometry, and I would like to have a conceptual proof of the fact described below. I am looking for ...
Francesco Polizzi's user avatar
0 votes
0 answers
122 views

Intersection of subgroup of a free group with the lower central series

If I have a subgroup $S$ of a free group $\mathcal{F}_m$, what can I say about the behaviour of the descending sequence of subgroups $\left< S, \Gamma_c(\mathcal{F}_m) \right>$ (where $\Gamma_c(\...
Thomas Meyer's user avatar