Structure Theorem
Let Γ be the fundamental group corresponding to the spanning tree T. For every vertex x and edge y, Gx and Gy can be identified with their images in Γ. It is possible to define a graph with vertices and edges the disjoint union of all coset spaces Γ/Gx and Γ/Gy respectively. This graph is a tree, called the universal covering tree, on which Γ acts. It admits the graph Y as fundamental domain. The graph of groups given by the stabiliser subgroups on the fundamental domain corresponds to the original graph of groups.
Read more about this topic: Graph Of Groups
Famous quotes containing the words structure and/or theorem:
“Communism is a proposition to structure the world more reasonably, a proposition for changing the world. As such, we have to analyze it and, if we deem it reasonable, act upon it.”
—Friedrich Dürrenmatt (1921–1990)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)