# Questions tagged [presentations-of-groups]

The presentations-of-groups tag has no usage guidance.

The presentations-of-groups tag has no usage guidance.

35
questions

4
votes

0
answers

70
views

I know some 'nice' infinite presentations of the mapping class group of a surface, such as Gervais' and Luo's. By 'nice' I mean that generators and relations belong to a small number of families.
Is ...

4
votes

1
answer

306
views

Context: I'm trying to deal with presentations in the framework of Gonthier et al. formalization of the group theory in the proof assistant Coq. It was used to machine check the Feit-Thompson odd ...

3
votes

1
answer

225
views

Writing a paper on algebraic surfaces, I was led to consider the finite group $\mathsf{H}(A)$ whose presentation is the following.
I start with an anti-symmetric matrix $A=(a_{ij})$ of order $2n$ ...

3
votes

2
answers

166
views

Are there non-trivial superperfect groups with the property that there exists a presentation of the group where the number of generators equals the number of relations?

2
votes

1
answer

200
views

Looking at the images below, you recognize that the adjacency matrix of the graph $A_G$ splits up into three different colored submatrices, with $A_G=A_r+A_b+A_d$ (where $d$ is dark, damn...).
It's ...

1
vote

1
answer

190
views

Given a finitely presented group $G = (Gen|Rel)$, we have a set of inner automorphisms $\{ \phi_a(x) = axa^{-1} | a \in G\}$. Defining the set of outer automorphisms to be those automorphisms of $G$ ...

2
votes

1
answer

462
views

In 'A presentation of $PGL(2,p)$ with three defining relations' by E.F.Robertson and P.D.Williams, we can find a presentation of $PGL(2,p)$:
$\langle a,b | a^2 = b^p = (a b^2 a b^r)^2 = (abab^r)^3 = ...

0
votes

1
answer

192
views

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...

15
votes

2
answers

1k
views

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

9
votes

3
answers

405
views

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

4
votes

1
answer

304
views

My last question on the quotients of the group $$H := \langle a, b, c \ | \ a^2, b^2, c^2, (ab)^2, (ac)^3, (bc)^7, (abc)^{19} \rangle$$ couldn't be completely answered, because the finiteness of the ...

11
votes

1
answer

812
views

The group mentioned in the title, $\langle x,y,z|xyzx^{-1}y^{-1}z^{-1}=1\rangle$, is in between the torus fundamental group $\langle x,y|xyx^{-1}y^{-1}=1\rangle$ and the two-holed torus fundamental ...

3
votes

1
answer

358
views

I have a torsion-free non-abelian nilpotent group $\Gamma$ of cohomological dimension $n$. Is it possible to say anything about the number of generators of $\Gamma$ in a minimal presentation?
Can I ...

1
vote

1
answer

104
views

Let $\mathcal{P}$ be a finite presentation of some group. When we apply some Nielsen transformations on $\mathcal{P}$, will the homotope type of the presentation complex $K_{\mathcal{P}}$ of $\mathcal{...

3
votes

0
answers

403
views

Let $G$ be a finitely presentable group. If we assume $H_2(G,Z/pZ) =0$, $p$ is a prime, then can we always find a finite presentation $\mathcal{P}$ of $G$ so that its presentation complex $K_{\mathcal{...

0
votes

0
answers

388
views

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

0
votes

1
answer

134
views

In finitely presented groups, the question of the existence of a projective resolution $P_i$ (with each $P_i$ finitely generated) of $\mathbb{Z}G$ is equivalent to the existence of a $K(G,1)$ which ...

6
votes

2
answers

848
views

Suppose $K$ is a number field and I have a subgroup of $GL_2(K)$ for which I know a (finite) set of generators. Is there an algorithm that gives me a presentation of the group?
More precisely, the ...

6
votes

1
answer

462
views

I think this should be a 10 minute exercise in a decent computer algebra package - unfortunately I'm hopelessly ignorant of such things, so I'm putting it up here in the hope that someone will be kind ...

3
votes

1
answer

337
views

I've been using the Reidemeister-Schreier process (detailed in e.g. Holt et al. - Handbook of Computational Group Theory) to find the presentations of various modular subgroups. For example, this ...

2
votes

1
answer

340
views

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

7
votes

3
answers

1k
views

Are the congruence subgroups of the modular group $\Gamma\equiv\mathrm{PSL}\left(2,\mathbb{Z}\right)$ (e.g. $\Gamma\left(n\right)$, $\Gamma_{0}\left(n\right)$, $\Gamma_{1}\left(n\right)$ etc.) ...

7
votes

1
answer

234
views

If $G = \langle X | R \rangle$ is a $\delta$-hyperbolic group presentation, then Dehn's algorithm provides a linear time solution to the word problem, but the linear constant is horribly exponential ...

7
votes

3
answers

1k
views

I've been looking at combinatorial group theory, but all the results seem to be about infinite groups. Are there any important results about the presentations finite groups specifically (or are useful ...

0
votes

1
answer

176
views

Hi
Here there are two graphs for two functions from $R^2\mapsto R$.
Is there similar graph for the absolute value of a complex variable function $f:C\mapsto C$ that has the same point (like saddle ...

3
votes

0
answers

184
views

Recall from 1 that a cofibration of strict ω-categories is a retract of relative $I$-cell complexes, where $I$ denotes the set of boundary inclusions $\partial D^n \hookrightarrow D^n$, where $D_n$ ...

9
votes

3
answers

982
views

As is well known, the group $PSL(2,\mathbb Z)$ is isomorphic to the free product $C_2 \ast C_3$ of cyclic groups of order $2$ and $3$. Call the generators of the cyclic groups $S$ and $T$.
Problem: ...

28
votes

1
answer

3k
views

Let $G$ be Rubik's cube group. It is generated by the rotations by 90 degrees $L,R,D,U,F,B$ (left, right, down, up, front, behind), but what relations beyond $L^4=R^4=...=B^4=1$ do they satisfy? Thus ...

2
votes

2
answers

1k
views

What advice do you have for giving a talk on a mathematical research paper to people in other fields in science (not physics nor astronomy) but without lot of math background?
Thanks.

4
votes

2
answers

459
views

For a given group presentation of a group(finitely presented), I want to check whether it is residually solvable or not. Is there any good way to do it?
Actually, I'm curious whether the finitely ...

4
votes

3
answers

730
views

I'm studying Farb and Margalit's A primer on mapping class groups and trying to understand Wajnryb's finite presentation of Mod(S). I understand that There exists a finite presentation, but I can't ...

4
votes

2
answers

486
views

If $H$ is an infinite index subgroup of the braid group $\mathcal{B}_n$, is there a way to find a presentation for $H$ ?

12
votes

3
answers

1k
views

Do You know any kind of database of presentations of groups?
It may be on-line or off-line in form of tables, ideally case would be integrated in some Computer Algebra System. I am interested the ...

7
votes

4
answers

5k
views

I deleted a rant from this question because I felt it detracted from the given answer to the specific question. However, beamer is the "new kid on the block" in terms of giving talks (not that new!) ...

0
votes

2
answers

427
views

I have extracted URL links from a number of webpages and many of the webpages contain the same set of links (or subsets) as other webpages. I have ~1000 webpages and ~10 links per webpage.
What is an ...