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 de 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 ciudades de Massachusetts y Nueva York . Hizo sus estudios universitarios en la Universidad de Harvard , con la intención original de estudiar literatura, pero finalmente se decidió por las matemáticas, y se graduó en 1939. Consiguió un trabajo como banquero, pero poco después regresó a la escuela de posgrado en Harvard, obteniendo una maestría en 1941. Después de un breve período de docencia en el Instituto de Tecnología de Georgia , regresó a Harvard por tercera vez en 1942 y mientras estaba allí enseñó navegación como parte del Programa de Entrenamiento de la Escuela Naval 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 en 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ó una oficina con Donald G. Higman ; [3] sus notables estudiantes de doctorado allí incluyeron a Kenneth Appel y Joseph Kruskal . [2]
Lyndon murió el 8 de junio de 1988 en Ann Arbor, Michigan . [1]
La tesis doctoral de Lyndon trataba sobre la cohomología de grupos ; [1] la secuencia espectral Lyndon–Hochschild–Serre , surgida de ese trabajo, relaciona la cohomología de un grupo con las cohomologías de sus subgrupos normales y sus grupos cocientes .
Una palabra Lyndon es una cadena no vacía de símbolos 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]
Gustav A. Hedlund atribuyó a Lyndon 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 desplazamiento . [5]
El teorema de interpolación de Craig-Lyndon en lógica formal establece que cada implicación lógica puede factorizarse 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 utiliza en las otras dos fórmulas. William Craig demostró una versión del teorema en 1957, y Lyndon la reforzó en 1959. [6]
Además de estos resultados, Lyndon hizo importantes contribuciones a la teoría de grupos combinatorios , 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 Contribuciones a la teoría de grupos (American Mathematical Society, 1984, ISBN 978-0-8218-5035-0 ) es un homenaje 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 Universitaria de Matemáticas Roger Lyndon en la Universidad de Michigan, ocupada por Hyman Bass entre 1999 y 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: