Induced homomorphism (algebraic topology)
- 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 exist whenever the algebraic invariants are functorial. For example, they exist for fundamental groups, higher homotopy groups, singular homology, and De Rham cohomology. For the more categorical approach, see induced homomorphism, and for the specific case of fundamental groups, see induced homomorphism (fundamental group).
Definitions
A continuous function between topological spaces (possibly with some additional structure) induces homomorphisms between various algebraic structures associated with and , respectively.
Examples
A useful example is the induced homomorphism of fundamental groups. 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. Similarly, any cohomology comes induced homomorphisms. For instance, Čech cohomology, de Rham cohomology, and singular cohomology all have induced homomorphisms. Generalizations such as cobordism also have induced homomorphisms.
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 — 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 … Wikipedia
topology — topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c … Universalium
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
É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
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
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
Homological algebra — is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract… … 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
Localization of a ring — In abstract algebra, localization is a systematic method of adding multiplicative inverses to a ring. Given a ring R and a subset S , one wants to construct some ring R* and ring homomorphism from R to R* , such that the image of S consists of… … Wikipedia
