相关论文: Ascending HNN extensions of polycyclic groups have…
Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of…
We investigate the conditions for a finite abelian group $G$ under which any cyclic subgroup $H$ and any group homomorphism $f \in \operatorname{Hom}(H,G)$ can be extended to an endomorphism $F \in \operatorname{End}(G)$. As a result, we…
A profinite group equipped with an expansive endomorphism is equivalent to a one-sided group shift. We show that these groups have a very restricted structure. More precisely, we show that any such group can be decomposed into a finite…
We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these…
Let $G$ be a finite group admitting a coprime automorphism $\phi$ of order $n$. Denote by $G_{\phi}$ the centralizer of $\phi$ in $G$ and by $G_{-\phi}$ the set $\{ x^{-1}x^{\phi}; \ x\in G\}$. We prove the following results. 1. If every…
Let $G=F\ast_\varphi t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1 = H_2$ of finite index. We prove that the word problem in $G$ is decidable in polynomial time. This result extends to the case…
Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…
The main result of this paper is an algorithmic answer to the question raised in the title, up to replacing the given $\hat{\phi} \in Out(F_n)$ by a positive power. In order to provide this algorithm, it is shown that every polynomially…
We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite…
We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is…
We show that if a $PD_3$-group $G$ splits as an HNN extension $A*_C\varphi$ where $C$ is a $PD_3$-group then the Poincar\'e dual in $H^1(G;\mathbb{Z})=Hom(G,\mathbb{Z})$ of the homology class $[C]$ is the epimorphism $f:G\to\mathbb{Z}$ with…
We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow \Gamma$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions…
We prove that the outer automorphism group $Out(G)$ is residually finite when the group $G$ is virtually compact special (in the sense of Haglund and Wise) or when $G$ is isomorphic to the fundamental group of some compact $3$-manifold. To…
A group $\Gamma$ has separable cohomology if the profinite completion map $\iota \colon \Gamma \to \widehat{\Gamma}$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is…
For $S=S_{g,n}$ a closed orientable differentiable surface of genus $g$ from which $n$ points have been removed, such that $\chi(S)=2-2g-n<0$, let $\mathrm{P}\Gamma(S)$ be the pure mapping class group of $S$ and…
Let $G$ be a discrete group. We give a decomposition theorem for the Hochschild cohomology of $\ell^1(G)$ with coefficients in certain $G$-modules. Using this we show that if $G$ is commutative-transitive, the canonical inclusion of bounded…
We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…
Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…
Let $\phi$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $\phi$ is equal to A. Then we…
We find a non-Hopfian ascending HNN-extension of a finitely presented Hopfian group by providing an explicit construction. This result addresses an analogous question to the one posed by Sapir and Wise, which asks whether there is a…