Induced homomorphism

Induced homomorphism

In mathematics, an induced homomorphism is a structure-preserving map between a pair of objects that is derived in a canonical way from another map between another pair of objects. A particularly important case arises in algebraic topology, where any continuous function between two pointed topological spaces induces a group homomorphism between the fundamental groups of the two spaces. Likewise, the same continuous map induces a group homomorphism between the respective homotopy groups, the respective homology groups and a homomorphism going in the opposite direction between the corresponding cohomology groups.

A homomorphism is a structure-preserving map between two mathematical objects of the same type: a group homomorphism, for instance, is a map between two groups such that the image of the product of any two group items is the same as the product of their images, while a graph homomorphism is a map from the vertices of one undirected graph to the vertices of another such that any edge of the first graph is mapped to an edge of the second. Families of objects, and maps between them, are generally formalized as objects and morphisms in a category; by convention, the morphisms in categories are depicted as arrows in diagrams. In many of theimportant categories of mathematics, the morphisms are called homomorphisms. In category theory, a functor is itself a structure-preserving map, between categories: it must map objects to objects, and morphisms to morphisms, in a way that is compatible with the composition of morphisms within the category. If "F" is a functor from category "A" to category "B", ƒ is a morphism in category "A", and the morphisms of category "B" are called homomorphisms, then "F"(ƒ) is the homomorphism induced from ƒ by "F".

For example, let "X" and "Y" be topological spaces with fundamental groups π("X","x"0) and π("Y","y"0) respectively, with specified base points "x"0 and "y"0. If ƒ is a continuous function from "X" to "Y" that maps the base points to each other (that is, ƒ("x"0) = "y"0) then any loop based at "x"0 may be composed with ƒ to make a loop based at "y"0. This map of loops respects homotopy equivalence of loops: one can map any element of π("X","x"0) to π("Y","y"0) by choosing a loop representing the element, using ƒ to map that representative loop to "Y", and selecting the homotopy equivalence class of the resulting mapped loop. Thus, ƒ corresponds to a homomorphism of fundamental groups; this homomorphism is called the induced homomorphism of ƒ. The construction of a fundamental group for each topological space, and of an induced homomorphism of fundamental groups for each continuous function, forms a functor from the category of topological spaces to the category of groups. See fundamental group#functoriality for more on this type of induced homomorphism.

ee also

*Induced homomorphism (algebraic topology)
*Induced homomorphism (fundamental group)

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Induced homomorphism (fundamental group) — In mathematics, especially in the area of topology known as algebraic topology, the induced homomorphism is a group homomorphism related to the study of the fundamental group.DefinitionLet X and Y be topological spaces; let x 0 be a point of X… …   Wikipedia

  • Induced homomorphism (algebraic topology) — In mathematics, especially in the area of topology known as algebraic topology, an induced homomorphism is a way of relating the algebraic invariants of topological spaces which are already related by a continuous function. Such homomorphism… …   Wikipedia

  • Covering space — A covering map satisfies the local triviality condition. Intuitively, such maps locally project a stack of pancakes above an open region, U, onto U. In mathematics, more specifically algebraic topology, a covering map is a continuous surjective… …   Wikipedia

  • Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… …   Wikipedia

  • List of mathematics articles (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… …   Wikipedia

  • Pushforward (homology) — Let X and Y be two topological spaces and f:X ightarrow Y a continuous function. Then f induces a homomorphism between the homology groups f {*}:H nleft(X ight) ightarrow H nleft(Y ight) for ngeq0. We say that f {*} is the pushforward induced by… …   Wikipedia

  • Algebraically compact module — In mathematics, especially in the area of abstract algebra known as module theory, algebraically compact modules, also called pure injective modules, are modules that have a certain nice property which allows the solution of infinite systems of… …   Wikipedia

  • Cup product — In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p + q. This defines an associative (and distributive) graded commutative product… …   Wikipedia

  • Fundamental group — In mathematics, the fundamental group is one of the basic concepts of algebraic topology. Associated with every point of a topological space there is a fundamental group that conveys information about the 1 dimensional structure of the portion of …   Wikipedia

  • Torsion subgroup — In the theory of abelian groups, the torsion subgroup AT of an abelian group A is the subgroup of A consisting of all elements that have finite order. An abelian group A is called a torsion (or periodic) group if every element of A has finite… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”