# Questions tagged [diagram-chase]

Mathematical proofs based on chasing elements in commutative diagrams

**10**

votes

**1**answer

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

**1**answer

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

**2**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**2**answers

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 ...