We consider the lattice of subsemigroups of the general linear group over an Artinian ring containing the group of diagonal matrices and show that every such semigroup is actually a group.
This note proves a generalisation to inverse semigroups of Anisimovs theorem that a group has regular word problem if and only if it is finite, answering a question of Stuart Margolis. The notion of word problem used is the two-tape word problem -- the set of all pairs of words over a generating set for the semigroup which both represent the same element.
A family $mathcal L$ of subsets of a set $X$ is called linked if $Acap B eemptyset$ for any $A,Binmathcal L$. A linked family $mathcal M$ of subsets of $X$ is maximal linked if $mathcal M$ coincides with each linked family $mathcal L$ on $X$ that contains $mathcal M$. The superextension $lambda(X)$ of $X$ consists of all maximal linked families on $X$. Any associative binary operation $* : Xtimes X to X$ can be extended to an associative binary operation $*: lambda(X)timeslambda(X)tolambda(X)$. In the paper we study automorphisms of the superextensions of finite monogenic semigroups and characteristic ideals in such semigroups. In particular, we describe the automorphism groups of the superextensions of finite monogenic semigroups of cardinality $leq 5$.
We study algebraic and topological properties of subsemigroups of the hyperspace exp(G) of non-empty compact subsets of a topological group G endowed with the Vietoris topology and the natural semigroup operation. On this base we prove that a compact Clifford topological semigroup S is topologically isomorphic to a subsemigroup of exp(G) for a suitable topological group G if and only if S is a topological inverse semigroup with zero-dimensional idempotent semilattice.
We show that surface groups are flexibly stable in permutations. Our method is purely geometric and relies on an analysis of branched covers of hyperbolic surfaces. Along the way we establish a quantitative variant of the LERF property for surface groups which may be of independent interest.
Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.