Que nombre es el Lema de la Serpiente?

Question

¿Cuál es la historia detrás del colorido nombre de este resultado? Cartan-Eilenberg unidos sin fanfarria.

Answer 1

Sospecho que el nombre surgió de forma natural (por razones obvias), pero que sería difícil de rastrear a cualquier persona. Después de Cartan-Eilenberg demostró en 1956 (Álgebra Homológica, p.40) la primera mención veo en inglés es por Tate en 1966/67 (p-divisible entre grupos, p.178), seguido por Hartshorne en 1968 (Cohomological Dimensión de Variedades Algebraicas, p.446), ni de los que se molestan con una cita, referencia, o comillas (1). Sin embargo, fue utilizado un poco antes - también sin citación o entre comillas - por Begueri-Poitou, en 1965 (2) como 'déjame du serpent'; mencionado antes en su resumen. [NB: la primera página del pdf enlazadas muestra incorrectamente el segundo apellido del autor como Poiton.]

---

Edit: he utilizado numdam a la búsqueda de la 'serpiente'. Cartan tiene una relación de comilla sobre una serpiente de casi mordiendo su propia cola (1965, pdf p.16/17), pero en realidad es un papel por Grothendieck que data de 1964 mencionar una serpiente diagrama ("le diagrama du serpent", pdf p.195/258) que él atribuye a la (Bourbaki, Alg. comm, cap. I, $\S$1, no 4, prop. 2). Usted puede ver el término de la serpiente diagrama en el mucho más tarde traducción al inglés, y (confirmado por los comentarios de abajo) se encuentra en 1961 en el original, así. Hasta donde yo sé, esta es la primera publicación de ejemplo que utiliza la serpiente de la terminología.

Supongo que por el momento: El término de la serpiente diagrama se originó (en francés) alrededor de 1961 y fue utilizado por primera vez por uno de los Bourbaki miembros (posiblemente Cartan, Eilenberg, o Grothendieck). La serpiente lema casi seguro que tiene un origen similar.

Answer 2

Si buscas en Google por "diagrama du serpent", es plausible que se trataba de un diagrama de Cartan-Eilenberg primero de todo, antes de un lexema. Interesante ejemplo de cómo Bourbaki se convirtió en el estándar de estudiante de posgrado, programa de estudios.