Roger Conant Lyndon (18 de diciembre de 1917 - 8 de junio de 1988) fue un matemático estadounidense , durante muchos años profesor de la Universidad de Michigan . [1] Es conocido por las palabras de Lyndon , el teorema de Curtis-Hedlund-Lyndon , la interpolación de Craig-Lyndon y la secuencia espectral Lyndon-Hochschild-Serre .
Lyndon nació el 18 de diciembre de 1917 en Calais, Maine , hijo de un ministro unitario . Su madre murió cuando él tenía dos años, tras lo cual él y su padre se mudaron varias veces a pueblos de Massachusetts y Nueva York . Hizo sus estudios universitarios en la Universidad de Harvard , originalmente con la intención de estudiar literatura, pero finalmente se decidió por las matemáticas, y se graduó en 1939. Aceptó un trabajo como banquero, pero poco después regresó a la escuela de posgrado en Harvard, donde obtuvo una maestría en 1941. Después de un breve período docente en el Instituto de Tecnología de Georgia , regresó a Harvard por tercera vez en 1942 y mientras estuvo allí enseñó navegación como parte del Programa de Capacitación Universitaria de la Marina V-12 mientras obtenía su doctorado. [1] Recibió su doctorado en 1946 bajo la supervisión de Saunders Mac Lane . [1] [2]
Después de graduarse de Harvard, Lyndon trabajó en la Oficina de Investigación Naval y luego durante cinco años como instructor y profesor asistente en la Universidad de Princeton antes de mudarse a la Universidad de Michigan en 1953. [1] En Michigan, compartió oficina con Donald G. .Higman ; [3] Entre sus notables estudiantes de doctorado se encontraban Kenneth Appel y Joseph Kruskal . [2]
Lyndon murió el 8 de junio de 1988 en Ann Arbor, Michigan . [1]
El doctorado de Lyndon. tesis se refería a la cohomología de grupo ; [1] la secuencia espectral Lyndon-Hochschild-Serre , que surge de ese trabajo, relaciona la cohomología de un grupo con las cohomologías de sus subgrupos normales y sus grupos cocientes .
Una palabra de Lyndon es una cadena de símbolos no vacía que es más pequeña, lexicográficamente , que cualquiera de sus rotaciones cíclicas; Lyndon introdujo estas palabras en 1954 mientras estudiaba las bases de los grupos libres . [4]
Lyndon fue acreditado por Gustav A. Hedlund por su papel en el descubrimiento del teorema de Curtis-Hedlund-Lyndon , una caracterización matemática de los autómatas celulares en términos de funciones equivariantes continuas en espacios de turno . [5]
El teorema de interpolación de Craig-Lyndon en lógica formal establece que cada implicación lógica se puede factorizar en la composición de dos implicaciones, de modo que cada símbolo no lógico en la fórmula intermedia de la composición también se usa en las otras dos fórmulas. William Craig demostró una versión del teorema en 1957 y Lyndon la fortaleció en 1959. [6]
Además de estos resultados, Lyndon hizo importantes contribuciones a la teoría combinatoria de grupos , el estudio de los grupos en términos de sus presentaciones en términos de secuencias de elementos generadores que se combinan para formar la identidad del grupo. [1]
El libro Contributions to Group Theory (American Mathematical Society, 1984, ISBN 978-0-8218-5035-0 ) es un festschrift dedicado a Lyndon con motivo de su 65 cumpleaños; incluye cinco artículos sobre Lyndon y su investigación matemática, así como 27 artículos de investigación invitados y arbitrados.
La Cátedra Colegiada de Matemáticas Roger Lyndon en la Universidad de Michigan, celebrada por Hyman Bass en 1999-2008, [7] lleva el nombre de Lyndon.
Lyndon fue el autor o coautor de los libros:
Algunos de sus artículos más citados incluyen: