Given the following exact homology sequence of a pair. This is in Example 2 (page 134) from Munkres. This is where I am always stuck computing homology using exact sequence. I cannot grab the last paragraph. I know that $i$ is an inclusion, but why then it implies that $i_*$ maps both generator to the same generator of $H_1(K)$. And why it then implies $i_*$ is epim and the kernel is $\mathbb{Z}$? Can anyone elaborate this. Here $K$ is a complex whose polytope is annulus, and $K_0$ is a subcomplex whose polytope is the union of inner and outer circles of that annulus. Any help is appreciated :)
2026-03-30 00:21:10.1774830070
If $i$ is an inclusion why is the induced $i_*$ an epimorphism
270 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in GENERAL-TOPOLOGY
- Is every non-locally compact metric space totally disconnected?
- Let X be a topological space and let A be a subset of X
- Continuity, preimage of an open set of $\mathbb R^2$
- Question on minimizing the infimum distance of a point from a non compact set
- Is hedgehog of countable spininess separable space?
- Nonclosed set in $ \mathbb{R}^2 $
- I cannot understand that $\mathfrak{O} := \{\{\}, \{1\}, \{1, 2\}, \{3\}, \{1, 3\}, \{1, 2, 3\}\}$ is a topology on the set $\{1, 2, 3\}$.
- If for every continuous function $\phi$, the function $\phi \circ f$ is continuous, then $f$ is continuous.
- Defining a homotopy on an annulus
- Triangle inequality for metric space where the metric is angles between vectors
Related Questions in ALGEBRAIC-TOPOLOGY
- How to compute homology group of $S^1 \times S^n$
- the degree of a map from $S^2$ to $S^2$
- Show $f$ and $g$ are both homeomorphism mapping of $T^2$ but $f$ is not homotopy equivalent with $g.$
- Chain homotopy on linear chains: confusion from Hatcher's book
- Compute Thom and Euler class
- Are these cycles boundaries?
- a problem related with path lifting property
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- Cohomology groups of a torus minus a finite number of disjoint open disks
- CW-structure on $S^n$ and orientations
Related Questions in HOMOLOGY-COHOMOLOGY
- Are these cycles boundaries?
- Cohomology groups of a torus minus a finite number of disjoint open disks
- $f$ - odd implies $d(f)$ - odd, question to the proof
- Poincarè duals in complex projective space and homotopy
- understanding proof of excision theorem
- proof of excision theorem: commutativity of a diagram
- exact sequence of reduced homology groups
- Doubts about computation of the homology of $\Bbb RP^2$ in Vick's *Homology Theory*
- the quotien space of $ S^1\times S^1$
- Rational points on conics over fields of dimension 1
Related Questions in EXACT-SEQUENCE
- Does every sequence of digits occur in one of the primes
- Linear transformation and Exact sequences
- Snake lemma and regular epi mono factorization
- Replacing terms of an exact sequence by quotients
- Module over integral domain, "Rank-nullity theorem", Exact Sequence
- Inclusion and quotient mappings in exact sequences
- Parsing the Bockstein morphism
- Short exact sequence on modules
- G-groups homomorphism regarding the subgroup fixed by G
- A problem about split exact sequences.
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?

In applying the Mayer-Vietoris sequence, not only do you need to know how to evaluate homology groups of spaces, but you also need to evaluate induced homology homomorphisms of continuous maps.
In this example, you have correctly evaluated the homology groups $H_1(K) \approx \mathbb{Z}$ and $H_1(K_0) \approx \mathbb{Z} \oplus \mathbb{Z}$.
The additional information you need is how to evaluate the inclusion induced homology homomorphism $i_* : H_1(K_0) \to H_1(K)$. This is a linear map, with domain $H_1(K_0) \approx \mathbb{Z} \oplus \mathbb{Z}$ and range $H_1(K) \approx \mathbb{Z}$, and you need a formula for it.
In brief, $K_0$ has two components $C_1,C_2$, each of those two components separately includes into $K$ as a homotopy equivalence, and the induced homology homomorphisms $(i_1)_*, (i_2)_*$ from the homology groups of the components to the homology of $K$ are therefore isomorphisms.
From this you can derive a formula for $i_* : \mathbb{Z} \oplus \mathbb{Z} \to \mathbb{Z}$. It is a linear function. Its restriction to the first coordinate is the isomorphism $(i_1)_*$ and so $i_*(m,0)=m$. Its restriction to the second coordinate is the isomorphism $(i_2)_*$ and so $i_*(0,n)=n$. The general formula is therefore $i_*(m,n)=m+n$.
Can you take it from here?