All Questions
4 questions
4
votes
2
answers
236
views
Presentationally finite group "extensions"
Fix a group $G$ and fix a presentation of $G$ as $\langle X\mid R\rangle$. A presentationally finite extension of $G$ is any group that can be presented as $H=\langle X\cup X'\mid R\cup R'\rangle$, ...
8
votes
1
answer
257
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$ ...
1
vote
0
answers
139
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 ...
14
votes
2
answers
770
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 ...