Related papers: Suitable sets for strongly topological gyrogroups

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…

A group is said to be strongly amenable if each of its proximal topological actions has a fixed point. We show that a finitely generated group is strongly amenable if and only if it is virtually nilpotent. More generally, a countable…

For a linearly ordered group $G$ let us define a subset $A\subseteq G$ to be a \emph{shift-set} if for any $x,y,z\in A$ with $y < x$ we get $x\cdot y^{-1}\cdot z\in A$. We describe the natural partial order and solutions of equations on the…

Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…

Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex.…

For every countable group G we construct a compact path connected subspace K of R^4 whose fundamental group is isomorphic to G. Our construction is much simpler than the one found recently by Virk.

A subgroup $H$ of a finite group $G$ is called submodular in $G$, if we can connect $H$ with $G$ by a chain of subgroups, each of which is modular (in the sense of Kurosh) in the next. If a group $G$ is supersoluble and every Sylow subgroup…

A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…

In the topological category, the classification of homotopy ribbon discs is known when the fundamental group $G$ of the exterior is $\mathbb{Z}$ and the Baumslag-Solitar group $BS(1,2)$. We prove that if a group $G$ is geometrically…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no…

We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…

Answering a question of Gao and Kechris, we show that, given any polish group G, there exists a closed subset F of Urysohn's universal metric space U such that G is (topologically) isomorphic to the subgroup of isometries of U which map F…

Let $P$ be a simplex in $S^n$ and $G_P$ be a group generated by the reflections with respect to the facets of $P$. We are interested in the case when the group $G_P$ is discrete. In this case we say that $G$ generates the discrete…

By a recent result of Juh\'{a}sz and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense…

In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…

Let $G$ be a residually finite group and let $A$ be a finite set. We prove that if $X \subset A^G$ is a strongly irreducible subshift of finite type containing a periodic configuration then periodic configurations are dense in $X$. The…

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let…

In this paper we introduce perfectly supportable semigroups and prove that they are \sigma-discrete in each Hausdorff shift-invariant topology. The class of perfectly supportable semigroups includes each subsemigroup S of the semigroup…