Who named it the Snake Lemma? - MathOverflow most recent 30 from http://mathoverflow.net2013-06-19T09:13:58Zhttp://mathoverflow.net/feeds/question/106943http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/106943/who-named-it-the-snake-lemmaWho named it the Snake Lemma?Adam Epstein2012-09-11T19:04:37Z2012-09-12T10:10:32Z
<p>What is the history behind the colorful name of this result? Cartan-Eilenberg states it without any particular fanfare.</p>
http://mathoverflow.net/questions/106943/who-named-it-the-snake-lemma/106962#106962Answer by Benjamin Dickman for Who named it the Snake Lemma?Benjamin Dickman2012-09-11T22:56:48Z2012-09-12T08:37:43Z<p>I suspect the name just arose naturally (for obvious reasons) and 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 (<a href="http://tinyurl.com/8h59j7o" rel="nofollow">1</a>). However, it was used a bit earlier - also without citation or quotation marks - by Begueri-Poitou in 1965 (<a href="http://tinyurl.com/9aoxzl7" rel="nofollow">2</a>) 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.]</p>
<p>I realize this answer is a bit unsatisfying, but the best I can say is that the name took hold at some point between 1956 and 1965; though I can't even say for sure whether the first use was in English or French. Each of the references above uses the term so casually that I would guess by the late 50s/early 60s it was already being referred to as such in Algebra classes -- though this is just a hunch.</p>
<p>I also did searches in Russian (and, for fun, Chinese) but could find nothing appearing any earlier than 1965.</p>
<p>If I were to suggest where to look next, it'd be in Cartan's Seminar Notes (reference: H. Cartan, Séminaire E.N.S., 1950-1951) or perhaps in the recently published book of letters between Cartan and Weil (Correspondance entre Henri Cartan et André Weil 1928-1991) to see if the word 'serpent' ever comes up.</p>
<hr>
<p><strong>Edit:</strong> I used <a href="http://www.numdam.org/numdam-bin/search" rel="nofollow">numdam</a> to search for 'serpent'. Cartan has a <a href="http://archive.numdam.org/ARCHIVE/SB/SB_1964-1966__9_/SB_1964-1966__9__271_0/SB_1964-1966__9__271_0.pdf" rel="nofollow">quotation</a> about a snake nearly biting its own tail (1965, pdf p.16/17), but more interesting is a <a href="http://archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1964__20_/PMIHES_1964__20__5_0/PMIHES_1964__20__5_0.pdf" rel="nofollow">paper</a> by Grothendieck dating to 1964 mentioning a <em>snake diagram</em> ("le diagramme du serpent", pdf p.195/258) that he attributes to (Bourbaki, <em>Alg. comm</em>, chap. I, $\S$1, no 4, prop. 2). You can see the term <em>snake diagram</em> in the much later <a href="http://books.google.com/books?id=Bb30CjGW7EAC&lpg=PA21&vq=snake&pg=PA4#v=onepage&q&f=true" rel="nofollow">English translation</a>, but I'm not sure when the original French version was written (I <a href="http://books.google.com/books/about/%25C3%2589l%25C3%25A9ments_de_math%25C3%25A9matique.html?id=qqhbcgAACAAJ" rel="nofollow">think</a> at least as early as 1961). If someone could dig up that reference, it would probably hold the first published instance (rooted out thus far) that uses the <em>snake</em> terminology.</p>
<p><strong>My guess for the time being:</strong> The term <em>snake diagram</em> originated (in French) around 1960 and was first used by one of the Bourbaki members (possibly Cartan, Eilenberg, or Grothendieck). <em>Snake lemma</em> almost certainly has a similar origin.</p>
http://mathoverflow.net/questions/106943/who-named-it-the-snake-lemma/106996#106996Answer by Charles Matthews for Who named it the Snake Lemma?Charles Matthews2012-09-12T10:10:32Z2012-09-12T10:10:32Z<p>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.</p>