Intereting Posts

How prove $f=0$,if $\frac{\partial f}{\partial x}+\frac{\partial f}{\partial y}+\frac{\partial f}{\partial z}=f$
Limsups of nets
Combinatorial Proof
Number of combinations such that each pair of combinations has at most x elements in common?
Proving that the order of $(a,b)$ is the lcm of $|a|,|b|$
Is it true that the unit ball is compact in a normed linear space iff the space is finite-dimensional?
Variance of sample mean (problems with proof)
How to solve $x+\sin(x)=b$
Hypersurfaces meet everything of dimension at least 1 in projective space
Monkeys and Typewriters
why 64 is equal to 65 here?
What's the proof that the Euler totient function is multiplicative?
Ratio between highest number among $n$ and $n+1$ samples
Exact Solution for Logarithmic Equation?
“Too simple to be true”

I have some trouble in proving Exercise A3.51 of Eisenbud’s book “Commutative Algebra with a view toward Algebraic Geometry”, pag. 688.

The solution is sketched at pag. 754 at the end of the book. The only step that is not clear to me is how to prove that the maps labelled $h$ e $k$ (of the diagram of pag. 755) give the surjection claimed.

Thank you

- Factoring morphisms in abelian categories
- If a functor between categories of modules preserves injectivity and surjectivity, must it be exact?
- Every chain complex is quasi-isomorphic to a $\mathcal J$-complex
- Hom is a left-exact functor
- Definition of a Functor of Abelian Categories
- Definition of the image as coker of ker == ker of coker?

- Comparing morphisms of algebraic structures and topology
- Categorification of $\pi$?
- The free abelian group monad
- Doubt about proof of factorization $f=pi$, where $i$ is acyclic cofibration and $p$ is fibration
- If $\operatorname{Hom}(X,-)$ and $\operatorname{Hom}(Y,-)$ are isomorphic, why are $X$ and $Y$ isomorphic?
- Relative chinese remainder theorem and the lattice of ideals
- Natural and coordinate free definition for the Riemannian volume form?
- Monoid as a single object category
- In which cases does pullback commute with the Hom-sheaf?
- How to define Homology Functor in an arbitrary Abelian Category?

We write down the problem statement for clarity:

**Exercise A3.51 (The category $K^+(\mathcal{M})$ is not Abelian):** *In an Abelian category, every morphism $A \to C$ can be factored into an epimorphism followed by a monomorphism $A \twoheadrightarrow B \rightarrowtail C$. Show that the natural map $\mathbf{Z} \to \mathbf{Z}/(p)$ gives rise to a map of complexes*

$$A = \{\cdots \to 0 \to \mathbf{Z} \to 0 \to \cdots\} \to \{\cdots \to 0 \to \mathbf{Z}/(p) \to 0 \to \cdots\} = C$$

*that cannot be factored in this way in $K^+(\mathcal{M})$.*

*Proof*. Suppose $\alpha\colon A \twoheadrightarrow B$ and $\beta\colon B \rightarrowtail

C$ form such a factorization. Let $C\alpha$, $C\beta$ be the respective mapping cones. The composition $A

\twoheadrightarrow B \to C\alpha$ is then homotopic to zero, as is $C\beta[-1] \to B

\rightarrowtail C$; by the universal properties of epimorphisms and monomorphisms,

we then have that $B \to C\alpha$ is homotopic to zero, as is $C\beta[-1] \to

B$. This gives rise to the diagram

$\hskip1.7in$

where the diagonal maps give the homotopies $(C\beta[-1] \to B) \simeq 0$ and

$(B \to C\alpha) \simeq 0$.

We first show that the complex $B$ is split. Let

$$s_n = \begin{cases}

h_n & n \ne -1\\

k_n & n = -1

\end{cases}$$

For all $n \ne 0$, we have $\mathrm{id} = dh_n + h_{n-1}d$, and so applying $d$,

we have $d = d^2h_n + dh_{n-1}d = dh_{n-1}d = ds_{n-1}d$, and similarly if $n=0$ we have $d = dk_{-1}d = ds_{-1}d$, so $B$ is indeed split.

Now we claim that $B$ is chain homotopy equivalent to a complex concentrated in degree $0$. Since $B$ is split, it suffices to show the homology of $B$ is concentrated in degree $0$, by Bourbaki, Algèbre Ch. X, §2, Prop. 6. But away from degree $0$, by either looking at the map $C\beta[-1] \to B$ or $B \to C\alpha$, we see that the identity $B_n \to B_n$ induces the zero map on homology because of $\alpha,\beta$ are null-homotopic. But the map on homology is also an isomorphism, hence all homology groups away from degree $0$ are trivial.

Thus, in the homotopy category we can assume without loss of generality that $B$ is concentrated in degree zero, and so the diagram above becomes

$\hskip2.2in$

and $h$, $k$ are (possibly different) maps from before that form the homotopies with the zero maps. By definition of homotopy, we then have that the composition $B_0 \to \mathbf{Z}/(p) \overset{h}{\to} B_0 \overset{k}{\to} \mathbf{Z} \to B_0$ must be the identity. But this is impossible since $\operatorname{Hom}(\mathbf{Z}/(p),\mathbf{Z}) = 0$. $\blacksquare$

- Prove that $ f(x) = e^x + \ln x $ attains every real number as its value exactly once
- Top homology of an oriented, compact, connected smooth manifold with boundary
- If the derivative approaches zero then the limit exists
- Convergence in measure and almost everywhere
- Linear Algebra Text Problem
- Is there any number greater than 8 of the form $2^{2k+1}$ which is the sum of a prime and a safe prime?
- Calculating derivative by definition vs not by definition
- If $\gcd(a,b)=1$, $\gcd(a,y)=1$ and $\gcd(b,x)=1$ then prove that $ax+by$ is prime to $ab$
- Characterization convex function.
- Simplify sum of factorials with mathematical induction
- Is $\int_0^2 dx=\int_{\pi /4}^{\pi /3}d\theta$?
- How to identify surfaces of revolution
- Evaluating the infinite product $\prod\limits_{k=2}^\infty \left ( 1-\frac1{k^2}\right)$
- Series in Real Analysis
- Are two invariant subspaces generated by two linearly independent generalized eigenvectors linearly independent?