23
$\begingroup$

What is the history behind the colorful name of this result? Cartan-Eilenberg states it without any particular fanfare.

$\endgroup$
8
  • 12
    $\begingroup$ Jill Clayburgh. youtube.com/watch?v=etbcKWEKnvg $\endgroup$
    – Will Jagy
    Sep 11, 2012 at 19:34
  • $\begingroup$ Very nice, Andrew! $\endgroup$ Sep 11, 2012 at 20:00
  • $\begingroup$ Nice, but the tikz-rendering of page 8 of jmilne.org/not/Mtikz.pdf seems to be even a bit more snaky (and was one of the reasons I switched to tikz). $\endgroup$ Sep 12, 2012 at 11:13
  • 3
    $\begingroup$ Oh, 4 votes to close !!! I don't see any reason why this interesting question should be closed. I think there are to many easy-closers around. $\endgroup$
    – Joël
    Sep 12, 2012 at 14:47
  • $\begingroup$ @Lennart: but i think Andrew's drawing looks more elegant :-) $\endgroup$
    – Suvrit
    Sep 12, 2012 at 15:07

2 Answers 2

24
$\begingroup$

I suspect the name just arose naturally (for obvious reasons) but that it would be tough to trace back to any single person. After Cartan-Eilenberg proved it in 1956 (Homological Algebra, p.40) the first mention I see in English is by Tate in 1966/67 (p-divisible groups, p.178) followed by Hartshorne in 1968 (Cohomological Dimension of Algebraic Varieties, p.446), neither of which bother with a citation, reference, or quotation marks (1). However, it was used a bit earlier - also without citation or quotation marks - by Begueri-Poitou in 1965 (2) as 'lemme du serpent'; mentioned early on in their abstract. [NB: the first page of the linked pdf incorrectly lists the second author's surname as Poiton.]


Edit: I used numdam to search for 'serpent'. Cartan has an unrelated quotation about a snake nearly biting its own tail (1965, pdf p.16/17), but actually relevant is a paper by Grothendieck dating to 1964 mentioning a snake diagram ("le diagramme du serpent", pdf p.195/258) that he attributes to (Bourbaki, Alg. comm, chap. I, $\S$1, no 4, prop. 2). You can see the term snake diagram in the much later English translation, and (confirmed by the comments below) it is found in the 1961 original, as well. As far as I know, this is the first published instance that uses the snake terminology.

My guess for the time being: The term snake diagram originated (in French) around 1961 and was first used by one of the Bourbaki members (possibly Cartan, Eilenberg, or Grothendieck). Snake lemma almost certainly has a similar origin.

$\endgroup$
4
  • $\begingroup$ For what it's worth: the English version of Bourbaki dates from 1981, but the Russian translation from 1971 uses the name "snake diagram" ("змеевидная диаграмма"). $\endgroup$ Sep 12, 2012 at 8:49
  • 3
    $\begingroup$ I confirm that the original edition of Algèbre commutative, Chap. 1 dates back from 1961. For the list of Bourbaki's original editions, see www.iecn.u-nancy.fr/~eguether/archives/elements.pdf $\endgroup$ Sep 12, 2012 at 9:18
  • 2
    $\begingroup$ And I confirm that the relevant pages of said french first edition look (up to language) as the english ones linked above. In particular, they mention "le diagramme de serpent". $\endgroup$ Sep 12, 2012 at 9:49
  • $\begingroup$ About the Cartan quotation : the french expression equivalent to "vicious circle" is about a snake biting its own tail -- so it has nothing to do with the snake's lemma. $\endgroup$ Sep 12, 2012 at 11:07
2
$\begingroup$

If you Google for "diagramme du serpent" it becomes plausible that it was a diagram in Cartan-Eilenberg first of all, before a lemma. Interesting example of how Bourbaki became the standard grad student syllabus.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.