Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 120914
1 vote
Accepted

Some questions on a paper of Baumslag and Solitar

I'll write out the answer to your first question (solving the word problem in one-relator groups) for how one might do this in practice. I'll focus on the case $\ell = 2, m=3, p=2$, but you'll hopeful …
Carl-Fredrik Nyberg Brodda's user avatar
24 votes

Recognizing free groups

As indicated in the comments, it's undecidable in general to take as input a finite presentation of a group and try to output whether or not this group is free or not. This is a direct consequence of …
Carl-Fredrik Nyberg Brodda's user avatar
7 votes
1 answer
216 views

Howson property of automorphism group of $F_2$ and of $F_3$

Is the intersection of any two finitely generated subgroups of $\operatorname{Aut}(F_2)$ (resp. $\operatorname{Aut}(F_3)$) again finitely generated? That is, does $\operatorname{Aut}(F_2)$ (resp. $\o …
Carl-Fredrik Nyberg Brodda's user avatar