Search Results
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 |
This tag is used if a reference is needed in a paper or textbook on a specific result.
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 …
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\}$ …
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 …
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 …