A space which has only one nontrivial group of this type is called an Eilenberg-MacLane space.
A space which has only one nontrivial group of this type is called an Eilenberg-MacLane space. According to a theorem by Hurewicz, there exists a homomorphism between homology groups and groups of this type. If a map between two cell complexes induces an isomorphism between all groups of this type, it is known as an equivalence of this type according to Whitehead's theorem. Two spaces are equivalent under this relation if they are both contained in some larger space of which they are the deformation retracts. This relation induces an equivalence class among all paths beginning and ending at the same point, leading to the definition of the fundamental group, which is the simplest algebraic group of the type that bear this relation's name. For 10 points, name this type of mapping, a continuous deformation from one topological space to another.
A space which has only one nontrivial group of this type is called an Eilenberg-MacLane space.
{homotopy} [accept word forms]