Fundamental Group
The fundamental group of M fits into the exact sequence
where π1(B) is the orbifold fundamental group of B (which is not the same as the fundamental group of the underlying topological manifold). The image of group π1(S1) is cyclic, normal, and generated by the element h represented by any regular fiber, but the map from π1(S1) to π1(M) is not always injective.
The fundamental group of M has the following presentation by generators and relations:
B orientable:
where ε is 1 for type o1, and is −1 for type o2.
B non-orientable:
where εi is 1 or −1 depending on whether the corresponding generator vi preserves or reverses orientation of the fiber. (So εi are all 1 for type n1, all −1 for type n2, just the first one is one for type n3, and just the first two are one for type n4.)
Read more about this topic: Seifert Fiber Space
Famous quotes containing the words fundamental and/or group:
“In a period of a people’s life that bears the designation “transitional,” the task of a thinking individual, of a sincere citizen of his country, is to go forward, despite the dirt and difficulty of the path, to go forward without losing from view even for a moment those fundamental ideals on which the entire existence of the society to which he belongs is built.”
—Ivan Sergeevich Turgenev (1818–1883)
“The virtue of dress rehearsals is that they are a free show for a select group of artists and friends of the author, and where for one unique evening the audience is almost expurgated of idiots.”
—Alfred Jarry (1873–1907)