• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

The fundamental group as topological group (0)

by J Brazas
Add To MetaCart

Tools

Sorted by:
Results 1 - 5 of 5

Spanier spaces and covering theory of non-homotopically path Hausdorff spaces

by Ali Pakdaman, Hamid Torabi, Behrooz Mashayekhy
"... ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
Abstract not found
(Show Context)

Citation Context

...ogy such that inversion g −→ g−1 and all translations are continuous. For more details, see [1, 2, 4]. Also, 10 piτ1 (X, x) is the fundamental group endowed with another topology introduced by Brazas =-=[3]-=-. In fact, the functor piτ1 removes the smallest number of open sets from the topology of piqtop1 (X, x) so that make it a topological group. Here, by topological fundamental group we mean piτ1 (X, x)...

Thick Spanier groups and the first shape group

by Jeremy Brazas, Paul Fabel - Rocky Mountain Journal of Mathematics
"... We develop a new route through which to explore ker ΨX, the kernel of the pi1−shape group homomorphism determined by a general space X, and establish, for each locally path connected, paracompact Hausdorff space X, ker ΨX is precisely the Spanier group of X. 1 ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
We develop a new route through which to explore ker ΨX, the kernel of the pi1−shape group homomorphism determined by a general space X, and establish, for each locally path connected, paracompact Hausdorff space X, ker ΨX is precisely the Spanier group of X. 1
(Show Context)

Citation Context

...n of |∆2| containing the origin, then the origin is assumed to be the basepoint. We use the following conventions for paths and loops in simplexes and general spaces. A path in a space X is a map p : =-=[0, 1]-=- → X from the unit interval. The reverse path of p is the path given by p(t) = p(1− t) and the constant path at a point x ∈ X will be denoted cx. If p1, p2..., pn : [0, 1]→ X are paths in X 3 such tha...

Topological Fundamental Groups and Small Generated Coverings

by Hamid Torabi, Ali Pakdaman, Behrooz Mashayekhy
"... This paper is devoted to study some topological properties of the SG subgroup, pisg1 (X, x), of the quasitopological fundamental group of a based space (X, x), pi qtop 1 (X, x), its topological properties as a subgroup of the topological fundamental group piτ1 (X, x) and its influence on the existen ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
This paper is devoted to study some topological properties of the SG subgroup, pisg1 (X, x), of the quasitopological fundamental group of a based space (X, x), pi qtop 1 (X, x), its topological properties as a subgroup of the topological fundamental group piτ1 (X, x) and its influence on the existence of universal covering of X. First, we introduce small generated spaces which have indiscrete topological fundamental groups and also small generated coverings which are universal coverings in the categorical sense. Second, we give a necessary and sufficient condition for the existence of the small generated coverings. Finally, by introducing the notion of semi-locally small generatedness we show that the quasitopological fundamental groups of semi-locally small generated spaces are topological groups.

Open subgroups of free topological groups

by Jeremy Brazas , 2014
"... The theory of covering spaces is often used to prove the Nielsen-Schreier theorem, which states that every subgroup of a free group is free. We ap-ply the more general theory of semicovering spaces to obtain analogous subgroup theorems for topological groups: Every open subgroup of a free Graev topo ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
The theory of covering spaces is often used to prove the Nielsen-Schreier theorem, which states that every subgroup of a free group is free. We ap-ply the more general theory of semicovering spaces to obtain analogous subgroup theorems for topological groups: Every open subgroup of a free Graev topological group is a free Graev topological group. An open sub-group of a free Markov topological group is a free Markov topological group if and only if it is disconnected. 1
(Show Context)

Citation Context

...4], graphs with Top-graphs (i.e. topological graphs with discrete vertex spaces), and the fundamental groupoid (fundamental group) with the fundamental Top-groupoid [4] (topological fundamental group =-=[3]-=-). Our application of the classification of semicoverings relies heavily on the fact that the theory applies to certain non-locally path connected spaces, called locally wep-connected spaces, which ar...

On the Spanier Groups and Covering and Semicovering Spaces

by Hamid Torabia, Ali Pakdamanb, Behrooz Mashayekhya
"... For a connected, locally path connected space X, let H be a subgroup of the funda-mental group of X, pi1(X, x). We show that there exists an open cover U of X such that H contains the Spanier group pi(U, x) if and only if the core of H in pi1(X, x) is open in the quasitopological fundamental group p ..."
Abstract - Add to MetaCart
For a connected, locally path connected space X, let H be a subgroup of the funda-mental group of X, pi1(X, x). We show that there exists an open cover U of X such that H contains the Spanier group pi(U, x) if and only if the core of H in pi1(X, x) is open in the quasitopological fundamental group piqtop1 (X, x) or equivalently it is open in the topological fundamental group piτ1 (X, x). As a consequence, using the relation between the Spanier groups and covering spaces, we give a classification for connected covering spaces of X based on the conjugacy classes of subgroups with open core in piqtop1 (X, x). Finally, we give a necessary and sufficient condition for the existence of a semicovering. Moreover, we present a condition under which every semicovering of X is a covering.
(Show Context)

Citation Context

...ifying path components (see [2]). It should be mentioned that piqtop1 (X, x) is a quasitopological group in the sense of [1] and it is not always a topological group (see [3, 7]). Also we recall from =-=[5]-=- that the topological fundamental group piτ1 (X, x) is the fundamental group pi1(X, x) with the finest group topology on pi1(X, x) such that the canonical function Ω(X, x) −→ pi1(X, x) identifying pat...

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University