The combinatorial-group-theor tag has no usage guidance.

**2**

votes

**0**answers

447 views

### Is this group given presentation isomorphic to $\mathbb{Z}_2$, and why? [migrated]

We have the group $G = \langle a, \,b \; | \; a^2b^2ab^{-1}, \, a^3b^4a^{-2}b^{-3}\rangle$.
Obviously $G/G' = \mathbb{Z}_2$. Is it true that $G = \mathbb{Z}_2$ or equivalently that $G'=1$? It is ...

**8**

votes

**1**answer

212 views

### Need a good name for an algorithmic problem in groups that generalizes the conjugacy problem

I am looking for a good name for the following problem:
Given elements $g_1,\dotsc,g_n$ in a (finitely generated) group $G$, determine if the product of their conjugacy classes $g_1^G\dotsb g_n^G$ ...

**0**

votes

**0**answers

68 views

### Expected shortest word length\depth in Braid groups from set of all braids with length L

Consider the set of all positive braids on n strands, with a fixed length L.
$$B^+_{n,L}:=\{\beta\in B_n:\beta=\sigma_{i_1}\sigma_{i_2}\ldots\sigma_{i_L},1\leq i_k \leq n-1\}$$.
Using the relations,
...

**2**

votes

**0**answers

166 views

### When can we establish an isomorphism between two not-finitely presented groups?

Assume that finitely generated groups $G$ and $H$, are not finitely presented. Fix a generating set $\mathfrak g:=\{g_1,\dotsc,g_n\}$ of $G$. Let $\mathfrak R:=\{R_1,R_2,\dots\}$ be the set of all ...

**2**

votes

**1**answer

129 views

### Could the number of defining relators of a finitely presented group increase

Do there exist finitely generated groups $G$ and $H$ with following properies:
$G=\langle g_1,\dotsc,g_n\rangle$ is not finitely presented, Let $R:=\{r_1,r_2,\dots\}$ be the set of its defining ...

**4**

votes

**2**answers

324 views

### A question about generating set of groups and epimorphism

Do there exist non-isomorphic finitely generated groups, $G$ and $H$, along with epimorphisms $\phi:G\rightarrow H$ and $\psi:H\rightarrow G$, such that every generating set of these groups is an ...

**8**

votes

**1**answer

160 views

### Does every generating set of the first homology group of a Cayley graph give rise to a presentation of its group?

Let $G$ be a group, and fix a symmetric generating set $S$. Let $X$ be the corresponding Cayley graph.
Let $R$ be a set of words in $S$, each corresponding to the identity of $G$, such that the set ...

**20**

votes

**1**answer

729 views

### Covering of a surface of a cube $n\times n \times n$ by pieces of paper $1\times 6$

When I was too young one of my problems was in the list of problems of All-Russian Olympiad. The problem is the following:
Problem. We have a surface of a cube $n\times n \times n$ such that each ...

**4**

votes

**1**answer

98 views

### Computations with conetypes of hyperbolic groups

I'd like to know if there exists (and, in this case, where I can find it) some computer program/programming language/any kind of software that can find explicitly the conetypes of a hyperbolic group ...

**5**

votes

**1**answer

219 views

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

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 generated by $x$ has Kazhdan's property $\mathrm{(T)}$ ?

**0**

votes

**1**answer

52 views

### Rank of a generall linear group over a finite field [closed]

What is the rank (minimal number of group generators) of the group $GL(n,F)$, when $F$ is a finite field of odd order? I found that $SL(n,F)$ is $2$, but I can't find this information.

**2**

votes

**4**answers

190 views

### Are the orders of the generators of a group and the product of pairs of thereof enough for this group to be isomorphic to a Coxeter group?

Let's say we have $n$ generators $x_1, x_2, \cdots, x_n$ along with the following facts concerning their orders:
\begin{eqnarray*}
ord(x_i) &=& 2 \text{ for } i = 1, 2, \cdots, n \\
ord(x_i ...

**3**

votes

**3**answers

115 views

### Are there references for the properties of words formed in finite groups using L-systems? (In particular, the algae L-system.)

Let $G$ be a (finite) group, and $a, b \in G$ be any two elements. Consider the sequence defined by
\begin{eqnarray*}
s_0 &=& a, \\
s_1 &=& b, \text{and} \\
s_{n+2} &=& s_{n+1} ...

**13**

votes

**1**answer

481 views

### Avoiding countable subgroups of a group homeomorphic to the Cantor space

The following question is motivated by the paper
[Brian, Mislove, Every compact group can have a non-measurable subgroup].
A positive solution to a variation of the following problem implies a ...

**7**

votes

**2**answers

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

**5**

votes

**1**answer

174 views

### K-fellow traveler property and automatic structure

I have been reading several articles about automatic groups and metric spaces of negative curvature. However it is not clear for me the relationship between automatic groups, hyperbolcity and the ...

**2**

votes

**3**answers

323 views

### Rank of a special linear group over a finite field

What is the rank (minimal number of group generators) of $SL(n,\mathbb{F})$ in the situation when $SL(n,\mathbb{F})$ is not perfect (i.e. when $SL(n,\mathbb{F})$ is different from $SL(2,\mathbb{F}_2)$ ...

**1**

vote

**0**answers

105 views

### Intuitive meaning of benign subgroup

Disclaimer! This is a copy of a question I posted on M.SE!
I still think the question belongs there but I'm not getting any answers so I'm dublicating with slight changes:
I've been studying a proof ...

**13**

votes

**2**answers

446 views

### Why is “The Higman Rope Trick” thus named?

I'm studiyng Higman's Embedding Theorem, and a fundamental part of the proof is the following lemma:
If R is a benign normal subgroup of finitely generated group F, then F/R can be embedded in a ...

**3**

votes

**1**answer

229 views

### Reference request for non-commutative analogues of exterior algebras

I am reading Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (preprint available on web page). Here is an extract of the paper:
Cohen called $A^R_n$ "a standard tool used in ...

**7**

votes

**1**answer

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

**1**

vote

**1**answer

124 views

### Request a paper by Fred Cohen

I am looking for the following paper by Cohen, F. R.:
On combinatorial group theory in homotopy. Homotopy theory and its
applications (Cocoyoc, 1993), 57–63, Contemp. Math., 188, Amer. Math.
...

**4**

votes

**0**answers

133 views

### Log-concavity of the growth function

Given a Cayley graph of a group $G$ with finite generating set $A$ and exponential growth. Let $S_n$ be the elements whose word length is exactly $n$.
$\textbf{Question:}$ Is $f(n) = |S_{2n}|$ a ...

**5**

votes

**2**answers

348 views

### Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...

**2**

votes

**0**answers

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

**4**

votes

**2**answers

267 views

### A Karrass-Solitar theorem for surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. That is, there is 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$$
Is there a ...

**5**

votes

**1**answer

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

**0**

votes

**1**answer

63 views

### Monotonicity of the gap of permutated sequence

Let $a$ be an arbitrary sequence and denote by $\mbox{gap}_k(a) = a_{(k)} - a_{(k+1)}$, where $a_{(k)}$ is the $k$th largest component of $a$. Of course, $k+1$ should be no larger than the length of ...

**4**

votes

**0**answers

114 views

### When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...

**7**

votes

**2**answers

226 views

### Modifying Dehn's algorithm to allow equal length replacements?

I'm an analyst trying to understand a certain class of finitely presented groups (one example is below) so it's quite likely this question is naive but I hope it is at least intelligible. Given a ...

**7**

votes

**1**answer

214 views

### Minimal normally generating subsets of minimal generating sets

Let $G$ be a finitely generated group. The weight $w(G)$ of $G$ is defined to be the minimum number of elements of $G$ whose normal closure in $G$ is the whole of $G$ (this is sometimes also called ...

**3**

votes

**0**answers

3k views

### How many combinations does Android pattern have? [closed]

Rules-
1) At-least 4 and at-max 9 dots must be connected.
2) There can be no jumps
3) Once a dot is crossed, you can jump over it.

**3**

votes

**1**answer

96 views

### Long words represent by multiplication of short words

Give a free group $G$ and one of its subgroup $H$ satisfies $rank(G)=n$$[G:H]=k$ Fix a generators of $G$ so we can talk about the length of elements in $G$.Then do there exist constants $A,B,C$ which ...

**-1**

votes

**1**answer

158 views

### Homeomorphism of the punctured sphere which fixes an essential Jordan curve

$\phi$ is a homeomorphism from the 2-sphere to itself which represents an element of $PMCG(S^2,A)$ (we also denote it by $\phi$), where $A$ is a finite set of $S^2$. $\gamma$ is an essential Jordan ...

**7**

votes

**2**answers

477 views

### Number of subgroups of a given index of a free group

Given $n,d\in \mathbb{Z}^+$, how many subgroups of index $d$ does the free group of
rank $n$ have?
In case $n=1$ the question is trivial, and in case $n=2, d=2$ there are 3 such subgroups.
I think I ...

**8**

votes

**0**answers

280 views

### Computing van Kampen diagrams

If G is a finitely presented group (with generating set X) and w is a word over X such that
w=1 in G, then the latter can be witnessed by a so called van Kampen diagram for w, which is
a planar ...

**1**

vote

**1**answer

188 views

### how to classify epimorphisms from a subgroup to itself?

Assume $G$,$\hat{G}$ are both free group of rank $n$,and $H$,$\hat{H}$ be their subgroups of index $k$ respectively,$h:H \rightarrow G$, $\hat{h}:\hat{H} \rightarrow\hat{G}$, are two epimorphisms. We ...

**8**

votes

**2**answers

348 views

### generators of free group

Give a rank $n$ free group $G=\langle a_1,a_2,\dots,a_n\rangle$, let $g_1,g_2,\dots,g_n \in G$,
$b_j=g_j^{-1}a_jg_j$ . If $b_1,b_2,\dots,b_n$ can generates the whole $G$, what can we say about ...

**10**

votes

**1**answer

511 views

### “Concretely” writing down elements in a free profinite group

Let $r$ be a natural number. The elements of the free group $F_r$ on $r$ generators have a nice concrete description as "words" in the $r$ generators (and their inverses). I'd like to know if there is ...

**12**

votes

**1**answer

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

**9**

votes

**0**answers

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

**0**

votes

**2**answers

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

**1**

vote

**1**answer

737 views

### Dehn presentation of a knot group

The knot group is the fundamental group of the knot complement in $S^{3} $. The Dehn presentation of the knot group is a particular group presentation obtained by looking at the regions and crossings ...

**17**

votes

**1**answer

547 views

### What is the length of the shortest law of $S_n$?

What is the length of the shortest word $w\in F_2$ such that $w(x,y)$ is trivial for every $x,y\in S_n$?
There is a simple argument showing that we must have $\ell(w)\geq n$. See here for instance. ...

**0**

votes

**0**answers

280 views

### Finitely presented group and its subgroups

Suppose I have a finitely presented group $G$. By this, I mean I know explicitly what $S$ and $R$ are such that $G = \langle S \mid R \rangle$. Suppose I have a subgroup generated by a finite set of ...

**9**

votes

**1**answer

282 views

### Does every group embed into a co-hopfian group?

A group $G$ is co-hopfian if every injection $f\colon G \rightarrow G$ is an automorphism, or equivalently if $G$ is not isomorphic to any of its proper subgroups. Miller and Schupp, using small ...

**13**

votes

**2**answers

582 views

### Kernel of linear representation of Baumslag-Solitar group

Let $BS(m,n)$ be the Baumslag-Solitar group defined by $B(m,n) = < a,b ~|~ b a^m b^{-1} = a^n > $, $mn \neq 0$. There is a linear representation of $BS(m,n)$ by mapping $a$ to the matrix ...

**8**

votes

**1**answer

275 views

### The equality problem between conjugate group elements

The Novikov--Boone Theorem, which is perhaps the archetypal local unsolvability result in group theory, states existence of a finitely presented group whose word problem is recursively unsolvable. ...

**2**

votes

**1**answer

255 views

### Presentations of infinite index subgroups

Suppose we have a finitely presented group $G$ with a concrete presentation and a subgroup $H$, generated by a finite set of elements from $G$. How to find the presentation for $H$?
If $H$ has finite ...

**0**

votes

**1**answer

169 views

### Monodromy in presentations of one group over another

Consider a finitely presented group $G$ with presentation $P$ given by $\left\langle g_1,\ldots,g_n|\, r_1,\ldots,r_m\right\rangle$, equipped with a homomorphism $\rho\colon\, G\to H$ to a finitely ...