# Induced homomorphism

In mathematics, especially in the area of topology known as algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a continuous map from a topological space X to a space Y induces a group homomorphism from the fundamental group of X to the fundamental group of Y.

More generally, in category theory, any functor by definition provides an induced morphism in the target category for each morphism in the source category. For example, fundamental groups, higher homotopy groups, singular homology, and De Rham cohomology are algebraic structures that are functorial, meaning that their definition provides a functor from the category of (e.g.) topological spaces to the category of (e.g.) groups or rings. This means that each space is associated with an algebraic structure, while each continuous map between spaces is associated with a structure-preserving map between structures, called an induced homomorphism. A homomorphism induced from a map h is often denoted $h_{*}$ .

Induced homomorphisms often inherit properties of the maps they come from; for example, two maps that are inverse to each other up to homotopy induce homomorphisms that are inverse to each other. A common use of induced homomorphisms is the following: by showing that a homomorphism with certain properties cannot exist, one concludes that there cannot exist a continuous map with properties that would induce it. Thanks to this, relations between spaces and continuous maps, often very intricate, can be inferred from relations between the homomorphisms they induce. The latter may be simpler to analyze, since they involve algebraic structures which can be often easily described, compared, and calculated in.

## In fundamental groups

Let X and Y be topological spaces with points x0X, y0Y. Let h : X→Y be a continuous map such that h(x0) = y0. Then we can define a map $h_{*}$ from the fundamental group π1(X, x0) to the fundamental group π1(Y, y0) as follows: any element of π1(X, x0), represented by a loop f in X based at x0, is mapped to the loop in π1(Y, y0) obtained by composing with h:

$h_{*}([f]):=[h\circ f]$ Here [f] denotes the equivalence class of f under homotopy, as in the definition of the fundamental group. It is easily check from definitions that $h_{*}$ is a well defined function π1(X, x0)π1(Y, y0): loops in the same equivalence class, i.e. homotopic loops in X, are mapped to homotopic loops in Y, because a homotopy can be composed with h as well. It also follows from the definition of the group operation in fundamental groups (namely by concatenation of loops) that $h_{*}$ is a group homomorphism:

$h_{*}([f+g])=h_{*}([f])+h_{*}([g])$ (where + denotes concatenation in loops, the first + in X, the second in Y). The resulting homomorphism $h_{*}$ is the homomorphism induced from h.

It may also be denoted as π(h). Indeed, π gives a functor from the category of pointed spaces to the category of groups: it associates the fundamental group π1(X, x0) to each pointed space (X,x0) and it associates the induced homomorphism $\pi (h)=h_{*}$ to each base-point preserving continuous map f: (X,x0) (Y,y0). To prove it satisfies the definition of a functor, one has to further check that it is compatible with composition: for base-point preserving continuous maps f: (X,x0) (Y,y0) and g: (Y,y0) (Z,z0), we have:

$\pi (g\circ f)=\pi (g)\circ \pi (f).$ This implies that if h is not only a continuous map but in fact a homeomorphism between X and Y, then the induced homomorphism $\pi (h)$ is an isomorphism between fundamental groups (because the homomorphism induced by the inverse of h is the inverse of $\pi (h)$ , by the above equation). (See section III.5.4, p. 201, in H. Schubert.) 

### Applications

1. The torus is not homeomorphic to R2 because their fundamental groups are not isomorphic (their fundamental groups don’t have the same cardinality). More generally, a simply connected space cannot be homeomorphic to a non-simply connected space; one has a trivial fundamental group and the other does not.

2. The fundamental group of the unit circle is isomorphic to the group of integers. Therefore, the one-point compactification of R has a fundamental group isomorphic to the group of integers (since the one-point compactification of R is homeomorphic to the unit circle). This also shows that the one-point compactification of a simply connected space need not be simply connected.

3. The converse of the theorem need not hold. For example, R2 and R3 have isomorphic fundamental groups but are still not homeomorphic. Their fundamental groups are isomorphic because each space is simply connected. However, the two spaces cannot be homeomorphic because deleting a point from R2 leaves a non-simply connected space but deleting a point from R3 leaves a simply connected space (If we delete a line lying in R3, the space wouldn’t be simply connected any more. In fact this generalizes to Rn whereby deleting a (n − 2)-dimensional subspace from Rn leaves a non-simply connected space).

4. If A is a strong deformation retract of a topological space X, then the inclusion map from A to X induces an isomorphism between fundamental groups (so the fundamental group of X can be described using only loops in the subspace A).

## Other examples

Likewise there are induced homomorphisms of higher homotopy groups and homology groups. Any homology theory comes with induced homomorphisms. For instance, simplicial homology, singular homology, and Borel–Moore homology all have induced homomorphisms (IV.1.3, pp. 240–241)  Similarly, any cohomology comes induced homomorphisms, though in the opposite direction (from a group associated with Y to a group associated with X). For instance, Čech cohomology, de Rham cohomology, and singular cohomology all have induced homomorphisms (IV.4.2–3, pp. 298–299). Generalizations such as cobordism also have induced homomorphisms.

## General definition

Given some category $T$ of topological spaces (possibly with some additional structure) such as the category of all topological spaces Top or the category of pointed topological spaces, that is, topological spaces with a distinguished base point, and a functor $F:T\to A$ from that category into some category $A$ of algebraic structures such as the category of groups Grp or of abelian groups Ab which then associates such an algebraic structure to every topological space, then for every morphism $f:X\to Y$ of $T$ (which is usually a continuous map, possibly preserving some other structure such as the base point) this functor induces an induced morphism $F(f):F(X)\to F(Y)$ in $A$ (which is a group homomorphism if $A$ is a category of groups) between the algebraic structures $F(X)$ and $F(Y)$ associated to $X$ and $Y$ , respectively.

If $F$ is not a functor but a contravariant functor then by definition it induces morphisms in the opposite direction: $F(f):F(Y)\to F(X)$ . Cohomology groups give an example.
{"ft_lang_label":"__label__en","ft_lang_prob":0.9194943,"math_prob":0.98577815,"size":7235,"snap":"2020-45-2020-50","text_gpt3_token_len":1708,"char_repetition_ratio":0.16788825,"word_repetition_ratio":0.019163763,"special_character_ratio":0.2219765,"punctuation_ratio":0.13002191,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9992965,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50],"im_url_duplicate_count":[null,null,null,null,null,4,null,null,null,null,null,4,null,null,null,4,null,3,null,8,null,8,null,null,null,3,null,null,null,null,null,null,null,4,null,null,null,null,null,null,null,5,null,null,null,null,null,null,null,4,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-11-26T05:55:44Z\",\"WARC-Record-ID\":\"<urn:uuid:4eac7a60-f943-4a60-bac6-5525ee4d26ce>\",\"Content-Length\":\"68631\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7266b810-ab35-41f9-9fdc-ed5b95983429>\",\"WARC-Concurrent-To\":\"<urn:uuid:4ce063c7-37e3-4a94-9d10-e87076a94b4e>\",\"WARC-IP-Address\":\"208.80.154.224\",\"WARC-Target-URI\":\"https://en.wikipedia.org/wiki/Induced_homomorphism_(quotient_group)\",\"WARC-Payload-Digest\":\"sha1:SCMQ5G23MR3OX5MXMZBXGRPSGKKK6PXZ\",\"WARC-Block-Digest\":\"sha1:LGFHCNM33BUQP4HXSK4AYCVN4BGOSPGA\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-50/CC-MAIN-2020-50_segments_1606141186414.7_warc_CC-MAIN-20201126030729-20201126060729-00470.warc.gz\"}"}