Related papers: Strongly topologically orderable gyrogroups with a…
A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\in\Delta}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\in\Delta}$ of elements in $S$. In this paper, we investigate how these sets…
The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…
The note contains a few results related to separation axioms and automatic continuity of operations in compact-like semitopological groups. In particular, is presented a semiregular semitopological group $G$ which is not $T_3$. We show that…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
A Hausdorff topological group is called minimal if it does not admit a strictly coarser Hausdorff group topology. This paper mostly deals with the topological group $H_+(X)$ of order-preserving homeomorphisms of a compact linearly ordered…
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,…
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…
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…
A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…
A class of topological spaces is topologically rigid if any two spaces with the same fundamental group are also homeomorphic. Topological rigidity, in addition to its intrinsic interest, has been useful for solving abstract commensurability…
We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view…
We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy…
In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G…
In this paper, we study some characterizations of $q$-spaces, strict $q$-spaces and strong $q$-spaces under $\omega$-balanced topological groups as follows: (1) A topological group $G$ is $\omega$-balanced and a $q$-space if and only if for…
Let G be a countable group. We proof that there is a model companion for the approximate theory of a Hilbert space with a group G of automorphisms. We show that G is amenable if and only if the structure induced by countable copies of the…
Let ${\cal E}$ be a topos, ${{\rm Dec}({\cal E}) \rightarrow {\cal E}}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg\neg} \rightarrow {\cal E}}$ be the full subcategory of double-negation sheaves. We give sufficient…
Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is…
We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…
We show that if a (locally compact) group $G$ acts properly on a locally compact $\sigma$-compact space $X$ then there is a family of $G$-invariant proper continuous finite-valued pseudometrics which induces the topology of $X$. If $X$ is…