Universal Covering Group
If H is a path-connected, locally path-connected, and semilocally simply connected group then it has a universal cover. By the previous construction the universal cover can be made into a topological group with the covering map a continuous homomorphism. This group is called the universal covering group of H. There is also a more direct construction which we give below.
Let PH be the path group of H. That is, PH is the space of paths in H based at the identity together with the compact-open topology. The product of paths is given by pointwise multiplication, i.e. (fg)(t) = f(t)g(t). This gives PH the structure of a topological group. There is a natural group homomorphism PH → H which sends each path to its endpoint. The universal cover of H is given as the quotient of PH by the normal subgroup of null-homotopic loops. The projection PH → H descends to the quotient giving the covering map. One can show that the universal cover is simply connected and the kernel is just the fundamental group of H. That is, we have a short exact sequence
where is the universal cover of H. Concretely, the universal covering group of H is the space of homotopy classes of paths in H with pointwise multiplication of paths. The covering map sends each path class to its endpoint.
Read more about this topic: Covering Group
Famous quotes containing the words universal, covering and/or group:
“If only nature is real and if, in nature, only desire and destruction are legitimate, then, in that all humanity does not suffice to assuage the thirst for blood, the path of destruction must lead to universal annihilation.”
—Albert Camus (19131960)
“Three forms I see on stretchers lying, brought out there untended
lying,
Over each the blanket spread, ample brownish woolen blanket,
Gray and heavy blanket, folding, covering all.”
—Walt Whitman (18191892)
“Instead of seeing society as a collection of clearly defined interest groups, society must be reconceptualized as a complex network of groups of interacting individuals whose membership and communication patterns are seldom confined to one such group alone.”
—Diana Crane (b. 1933)