1968
DOI: 10.1017/s0305004100042845
|View full text |Cite
|
Sign up to set email alerts
|

The fundamental group of the orbit space of a discontinuous group

Abstract: A group G of homeomorphisms of a topological space X will be called discontinuous if(1) the stabilizer of each point of X is finite, and(2) each point x ∈ X; has a neighbourhood U such that any element of G not in the stabilizer of x maps U outside itself (i.e. if gx ≠ x then U ∩ gU is empty). The purpose of this note is to prove the following result.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
134
0
1

Year Published

1982
1982
2017
2017

Publication Types

Select...
7
2

Relationship

1
8

Authors

Journals

citations
Cited by 107 publications
(137 citation statements)
references
References 3 publications
0
134
0
1
Order By: Relevance
“…If π : X → X/ denotes the canonical projection, then π • δ is a loop in X/ based at p 0 , and because X is simply connected, its homotopy class does not depend on the choice of γ and we can write [γ ] = ϕ(c) for a uniquely defined ϕ(c) ∈ π 1 (X/ , p 0 ). The theorem of Armstrong [1] (O, p 0 ), and that its kernel is equal to the smallest normal subgroup A of which contains all c ∈ such that…”
Section: Topology Of the Orbit Spacementioning
confidence: 99%
“…If π : X → X/ denotes the canonical projection, then π • δ is a loop in X/ based at p 0 , and because X is simply connected, its homotopy class does not depend on the choice of γ and we can write [γ ] = ϕ(c) for a uniquely defined ϕ(c) ∈ π 1 (X/ , p 0 ). The theorem of Armstrong [1] (O, p 0 ), and that its kernel is equal to the smallest normal subgroup A of which contains all c ∈ such that…”
Section: Topology Of the Orbit Spacementioning
confidence: 99%
“…Results for simplicial and discontinuous groups have been given in [1] and [2]. The object of this note is to produce a theorem which can deal with both discontinuous and continuous actions.…”
mentioning
confidence: 99%
“…Thus, in [5,3,5], the subgroup φ~ι(G\) contains no element, except the identity, fixing a point of H 3 . Thus, by the Theorem in [1], φ~ι(G\) is the fundamental group of its orbit space, the Weber-Seifert manifold. From the given relations, it is easy to calculate that the quotient group of ^"^(Gi) over its derived group is isomorphic to C5 x C5 x C 5 , thus confirming the calculation at the end of [11].…”
Section: The Spherical Spacesmentioning
confidence: 99%
“…By the Theorem in [1], the groups φ" x {G\) and φ~ι{G 2 ) are the fundamental groups of these manifolds. The Reidemeister-Schreier process in CAYLEY shows that φ~ι(G\) is generated by p = bacbdacdbcda, q = adcbdcbabcdc, r = ababcdabcdba, s = cdcdcbdcbaba, and has defining relations, In the representation of [5,3,5] on the left cosets of φ~ι{G\), the representation of each of the stabilizers V, E, F and C is faithful and the image of φ~ι (G\) intersects their images, and the images of all their conjugates, trivially.…”
Section: The Spherical Spacesmentioning
confidence: 99%