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 6503

This tag is used if a reference is needed in a paper or textbook on a specific result.

10 votes
3 answers
426 views

A malnormal embedding theorem?

Let $Q$ be a recursively presented group. Is it possible to embed $Q$ into a finitely presented group $G$ such that the image of $Q$ is malnormal in $G$? Note that a subgroup $H$ of $G$ is malnormal …
12 votes
Accepted

Torsion-free virtually free-by-cyclic groups

The group $$G=\langle a, b, x, y\mid [a, b]^2=[x, y]^2\rangle$$ is a torsion-free group which is not free by cyclic. However, $G$ is free-by-$D_{\infty}$ and so virtually free-by-cyclic (containing an …
ADL's user avatar
  • 2,821
1 vote
1 answer
241 views

When are fixed point sets in $T_1$ spaces always closed?

Let $X$ be a topological space, and say that $X$ satisfies the closed fixed point set property if every continuous self-map $f:X\to X$ has fixed point set $\operatorname{Fix}(f)=\{x\in X\mid f(x)=x\}$ …
11 votes
1 answer
1k views

When is an HNN-extension finitely presented?

Let $G=\langle H, t; K^t=K^{\prime}\rangle$ be an HNN-extension of $H$, with $t$ inducing the isomorphism $\phi: K\rightarrow K^{\prime}$. I was wondering if the following question can be answered, an …
10 votes
4 answers
2k views

residually finite-by-$\mathbb{Z}$ groups are residually finite

I believe I read somewhere that residually finite-by-$\mathbb{Z}$ groups are residually finite. That is, if $N$ is residually finite with $G/N\cong \mathbb{Z}$ then $G$ is residually finite. However, …
3 votes
1 answer
243 views

Free Automorphisms

If $\varphi$ is an automorphism of $G = \langle x_1, \ldots, x_n; \mathbf{r}\rangle$ such that there exists an automorphism of $F(x_1, \ldots, x_n)$, $\overline{\varphi}$, with $$x_i\varphi=_G x_i\ove …