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:
“We have had many harbingers and forerunners; but of a purely spiritual life, history has afforded no example. I mean we have yet no man who has leaned entirely on his character, and eaten angels food; who, trusting to his sentiments, found life made of miracles; who, working for universal aims, found himself fed, he knew not how; clothed, sheltered, and weaponed, he knew not how, and yet it was done by his own hands.”
—Ralph Waldo Emerson (18031882)
“We have good reason to believe that memories of early childhood do not persist in consciousness because of the absence or fragmentary character of language covering this period. Words serve as fixatives for mental images. . . . Even at the end of the second year of life when word tags exist for a number of objects in the childs life, these words are discrete and do not yet bind together the parts of an experience or organize them in a way that can produce a coherent memory.”
—Selma H. Fraiberg (20th century)
“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)