Related papers: Topological fundamental groups and small generated…
A topological group $G$ is topologically normally generated if there exists $g \in G$ such that the normal closure of $g$ is dense in $G$. Let $S$ be a tame, infinite type surface whose mapping class group $\mathrm{Map}(S)$ is generated by…
Let $X$ be a compact Riemann surface of genus $g$ and let $x \in X$. We derive the classical presentation of $\pi_1(X,x)$ (i.e the one given by $2g$ generators $a_1,b_1, \dots, a_g,b_g$ and the relation $\prod_{i=1}^g[a_i,b_i] = 1$) from…
This paper covers some recent progress in the study of sg-open sets, sg-compact spaces, N-scattered spaces and some related concepts. A subset $A$ of a topological space $(X,\tau)$ is called sg-closed if the semi-closure of $A$ is included…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.
Let $H$ be a subgroup of the fundamental group $\pi_{1}(X,x_{0})$. By extending the concept of strong SLT space to a relative version with respect to $H$, strong $H$-SLT space, first, we investigate the existence of a covering map for…
D. K. Biss (Topology and its Applications 124 (2002) 355-371) introduced the topological fundamental group and presented some interesting basic properties of the notion. In this article we intend to extend the above notion to homotopy…
In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal…
It is a well known result in the covering groups that a subgroup $G$ of the fundamental group at the identity of a semi-locally simply connected topological group determines a covering morphism of topological groups with characteristic…
We give a short proof that, for nice $X$, the based fundamental groupoid of $X$ with topology induced by the compact open topology on the space of paths, is indeed the universal covering space of $X$.
H. Fischer et al. (Topology and its Application, 158 (2011) 397-408.) introduced the Spanier group of a based space $(X,x)$ which is denoted by $\psp$. By a Spanier space we mean a space $X$ such that $\psp=\pi_1(X,x)$, for every $x\in X$.…
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…
We introduce two minimality properties of subgroups in topological groups. A subgroup $H$ is a key subgroup (co-key subgroup) of a topological group $G$ if there is no strictly coarser Hausdorff group topology on $G$ which induces on $H$…
Big mapping class groups are the mapping class groups of infinite-type surfaces, that is, surfaces whose fundamental groups are not finitely generated. While mapping class groups of finite-type surfaces have been extensively studied, the…
In order to make the fundamental group, one of the most well known invariants in algebraic topology, more useful and powerful some researchers have introduced and studied various topologies on the fundamental group from the beginning of the…
We introduce so-called cone topologies of paratopological groups, which are a wide way to construct counterexamples, especially of examples of compact-like paratopological groups with discontinuous inversion. We found a simple interplay…
It is known that any covering space of a topological group has the natural structure of a topological group. This article discusses a noncommutative generalization of this fact. A noncommutative generalization of the topological group is a…
We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $\pi_1(X)$ whose conjugates intersect trivially. For…
For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…
The goal of this paper is to establish a topological version of the notion of an Eilenberg-Mac Lane space. If $X$ is a pointed topological space, $\pi_1(X)$ has a natural topology coming from the compact-open topology on the space of maps…