# Tagged Questions

Homological algebra studies homology in a general algebraic setting. The purpose is extraction of information about structures involved in terms of tangible objects like rings groups and modules.

29 views

93 views

### The bigger picture the Five Lemma fits into

The Five Lemma is a statement in category theory about certain conditions under which certain maps in exact sequences are isomorphisms. It has a few relatives like the 4 lemmas and maybe the Nine ...
45 views

### Translation functor in a triangulated category under certain hypotheses

Let $\mathcal{T}$ be a $\Bbbk$-linear triangulated category which is Hom-finite and Krull-Schmidt, with translation functor $\Sigma$ satisfying $\Sigma^2 = \text{id}$. Suppose that $\mathcal{T}$ has ...
26 views

### Yoneda extensions and $\operatorname{Ext}$ functor.

I am reading this this entry http://stacks.math.columbia.edu/tag/06XU of the Stacks Project. I'm having problems in understanding how $\left(L^{-i+1}\oplus A\right) / L^{-i}$ is constructed. I mean, ...
86 views

### What comes after diagram chasing?

An early edition of Lang's algebra textbook gives the famous exercise to Take any book on homological algebra, and prove all the theorems without looking at the proofs given in that book. Here ...
23 views

56 views

### Degree theory and Invariance of domain

We'll use the Proposition (F) to show that: (Invariance of domain) Let $f: M \to N$ be a proper smooth mapping of two oriented, boundaryless, smooth manifolds of dimension $m$; furthermore, $N$ is ...
64 views

### Definition of $Hom(A,B)$

I have lots of confusion about definition of $Hom(A,B)$. I would like to ask several questions with my thoughts. Hopefully I could solve my problem. -Firstly, my book write that if $A$ and $B$ is R-...
25 views

100 views

47 views

### Proof of Birger Iversen “Cohomology of Sheaves” Theorem 6.8

I am having troubles completing the proof of theorem 6.8 (page 44) from Birger Iversen, Cohomology of Sheaves. (pdf here) Previously we had constructed a functor $\rho$ from $K^+(A)$ (the homotopy ...
109 views

### Does trivial cohomology imply trivial homology? Does $\operatorname{Hom}(A,\mathbb Z) = \operatorname{Ext}^1(A, \mathbb Z) = 0$ imply $A = 0$?

Is there a topological space $X$ such that $H^i(X; \mathbb{Z}) = 0$ for all $i > 0$, but $H_n(X; \mathbb{Z}) \neq 0$ for some $n > 0$? In his answer to the question Is homology determined by ...
Let $A$ be an augmented graded unital algebra over field $k$. Define $A_+=\bigoplus\limits_{i\ge 1}A^{(i)}$. I'm trying to show that \$\sum\limits_{i+j>k}A_+^i\otimes A_+^j=\bigcap\limits_{l+m=k}...