Relations With Classifying Spaces and Group Cohomology
If X is a connected cell complex with homotopy groups πn(X) =0 for all n ≥ 2, then the universal covering space T of X is contractible, as follows from applying the Whitehead theorem to T. In this case X is a classifying space or K(G,1) for G = π1(X).
Moreover, for every n ≥ 0 the group of cellular n-chains Cn(T) (that is, a free abelian group with basis given by n-cells in T) also has a natural ZG-module structure. Here for an n-cell σ in T and for g in G the cell g σ is exactly the translate of σ by a covering transformation of T corresponding to g. Moreover, Cn(T) is a free ZG-module with free ZG-basis given by representatives of G-orbits of n-cells in T. In this case the standard topological chain complex
where ε is the augmentation map, is a free ZG-resolution of Z (where Z is equipped with the trivial ZG-module structure, g m = m for every g ∈ G and every m ∈ Z). This resolution can be used to compute group cohomology of G with arbitrary coefficients.
Read more about this topic: Covering Space
Famous quotes containing the words relations with, relations, spaces and/or group:
“Society does not consist of individuals but expresses the sum of interrelations, the relations within which these individuals stand.”
—Karl Marx (1818–1883)
“When any one of our relations was found to be a person of a very bad character, a troublesome guest, or one we desired to get rid of, upon his leaving my house I ever took care to lend him a riding-coat, or a pair of boots, or sometimes a horse of small value, and I always had the satisfaction of finding he never came back to return them.”
—Oliver Goldsmith (1728–1774)
“Surely, we are provided with senses as well fitted to penetrate the spaces of the real, the substantial, the eternal, as these outward are to penetrate the material universe. Veias, Menu, Zoroaster, Socrates, Christ, Shakespeare, Swedenborg,—these are some of our astronomers.”
—Henry David Thoreau (1817–1862)
“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)