Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [diagram-chase]

Mathematical proofs based on chasing elements in commutative diagrams

10
votes
1answer
433 views

Getting the most general form of Mayer-Vietoris from the Eilenberg-Steenrod axioms

I asked this question a while ago on MSE, got no answer, put a bounty on it, still got no answer, was advised to ask here instead, hesitated, forgot about the question for a while and now remembered ...
1
vote
1answer
226 views

Are these connecting homomorphisms commutative?

Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative? In other words, is the following statement true? If it is true, then, how can one prove it? ...
12
votes
2answers
2k views

Five-lemma for the end of long exact sequences of homotopy groups

Consider the commutative diagram below with exact rows (from the long exact sequence of homotopy groups) and $f_1,f_2,f_4,f_5$ bijective ($f_1,f_2$ homomorphisms). Does it follow that $f_3$ is also ...
-2
votes
3answers
649 views

Is this isomorphism canonical?

Suppose $A\leq A',B$ and $C' \leq C$ are (finite dimensional) vector spaces. Suppose that $$ 0 \to A \to B \to C \to 0 $$ $$ 0 \to A' \to B \to C' \to 0 $$ are exact. Then using a dimension argument ...
6
votes
1answer
508 views

What are the oldest illustrations of “Venn” diagrams?

Graphical representations of intersection of sets as logical combinations are much older than Venn. Euler and Leibniz are often quoted and the current Wikipedia article also quotes Ramon Llull but I ...
5
votes
1answer
268 views

When does adding inverses of morphisms preserve commutativity of a diagram?

Here is the essence of a problem I have run in to: I have a finite poset D with a terminal object. If I formally invert all of the morphisms, and add these into my diagram, does the new diagram D' ...
0
votes
2answers
2k views

The sharp 3x3 lemma: a proof by universal properties?

I was reading this paper a while ago, and I couldn't figure out how to prove a lemma that was left as an exercise by only using universal properties and the definition of an abelian category. I'll ...