Related papers: On hopfian cofinite subsemigroups

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

An algebra has the Howson property if the intersection of any two finitely generated subalgebras is finitely generated. A simple necessary and sufficient condition is given for the Howson property to hold on an inverse semigroup with…

We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which…

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the…

If totally periodic points are dense in a subshift $X$, its automorphism group is residually finite. We show a weak converse: if periodic points are not dense in a subshift $X$, then the automorphism group of $X \times Y$ is not residually…

In this paper, we obtain classification of the topological holonomy groups in $SO(3)$. Such a group is given by one of the following: a finite group (such groups are classified by Klein); a commutative infinite group which is generated by…

Let $G$ be a finite group and let $\pi: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^{\sigma}$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution…

Let $G$ be the group scheme $SL_2$ defined over a noetherian ring $k$. If $G$ acts on a finitely generated commutative $k$-algebra $A$, then $H^*(G,A)$ is a finitely generated $k$-algebra.

Necessary and sufficient conditions for finite commutative semihypergroups to be built from abelian groups of the same order are established.

This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or…

We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function…

We prove that most Artin groups of large and hyperbolic type are Hopfian, meaning that every self-epimorphism is an isomorphism. The class covered by our result is generic, in the sense of Goldsborough-Vaskou. Moreover, assuming the…

Let H be a complex infinite dimensional Hilbert space. We describe the form of all *-semigroup endomorphisms $\phi$ of B(H) which are uniformly continuous on every commutative C*-subalgebra. In particular, we obtain that if $\phi$ satisfies…

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…

Motivated by a problem on the dynamics of compositions of plane hyperbolic isometries, we prove several fundamental results on semigroups of isometries, thought of as real M\"obius transformations. We define a semigroup $S$ of M\"obius…

In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally…

For each positive integer Q there exists a path connected metric compactum X such that the Qth-homotopy group of X is compactly generated but not a topological group (with the quotient topology).