Roger Lyndon
Roger Conant Lyndon (18 de dezembro de 1917 - 8 de junho de 1988) foi um matemático estadunidense, por muitos anos professor na Universidade de Michigan. Ele é conhecido pelas palavras de Lyndon, pelo teorema de Curtis–Hedlund–Lyndon, pela interpolação de Craig–Lyndon e pela sequência espectral de Lyndon–Hochschild–Serre.
Pesquisa
editarO doutorado de Lyndon tese sobre cohomologia de grupo;[1] a sequência espectral Lyndon–Hochschild–Serre, proveniente desse trabalho, relaciona a cohomologia de um grupo às cohomologias de seus subgrupos normais e seus grupos quocientes.
Uma palavra Lyndon é uma sequência não vazia de símbolos que é menor, lexicograficamente, do que qualquer uma de suas rotações cíclicas; Lyndon introduziu essas palavras em 1954 enquanto estudava as bases dos grupos livres.[2]
Lyndon foi creditado por Gustav A. Hedlund por seu papel na descoberta do teorema de Curtis-Hedlund-Lyndon, uma caracterização matemática de autômatos celulares em termos de funções equivariantes contínuas em espaços de deslocamento.[3]
O teorema da interpolação de Craig-Lyndon na lógica formal afirma que toda implicação lógica pode ser fatorada na composição de duas implicações, de modo que cada símbolo não lógico na fórmula do meio da composição também seja usado em ambas as outras duas fórmulas. Uma versão do teorema foi provada por William Craig em 1957, e reforçada por Lyndon em 1959.[4]
Além desses resultados, Lyndon fez importantes contribuições para a teoria combinatória de grupos, o estudo de grupos em termos de suas apresentações em termos de sequências de elementos geradores que se combinam para formar a identidade do grupo.[1]
Publicações
editarLyndon foi o autor ou coautor dos livros:
- Notes on Logic (Van Nostrand, 1967)
- Word Problems: Decision Problem in Group Theory (com W. W. Boone and F.B. Cannonito, North-Holland, 1973)
- Combinatorial Group Theory (com Paul Schupp, 1976, reimpresso 2001 por Springer-Verlag, ISBN 978-3-540-41158-1)
- Groups and Geometry (Cambridge University Press, 1985, ISBN 978-0-521-31694-1).
Alguns de seus trabalhos mais citados incluem:
- Lyndon, Roger C. (1950). «Cohomology theory of groups with a single defining relation». Annals of Mathematics. 52 (3): 650–665. MR 0047046. doi:10.2307/1969440
- Chen, Kuo Tsai; Fox, Ralph H.; Lyndon, Roger C. (1958). «Free differential calculus. IV. The quotient groups of the lower central series.». Annals of Mathematics. 68 (1): 81–95. MR 0102539. doi:10.2307/1970044
Referências
editar- ↑ a b «Roger Lyndon - Biography». Maths History (em inglês). Consultado em 30 de janeiro de 2022
- ↑ Berstel, Jean; Perrin, Dominique (2007), «The origins of combinatorics on words» (PDF), European Journal of Combinatorics, 28 (3): 996–1022, MR 2300777, doi:10.1016/j.ejc.2005.07.019.
- ↑ Hedlund, G. A. (1969), «Endomorphisms and Automorphisms of the Shift Dynamical Systems», Mathematical Systems Theory, 3 (4): 320–375, doi:10.1007/BF01691062.
- ↑ Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000), Basic Proof Theory, ISBN 978-0-521-77911-1, Cambridge tracts in theoretical computer science, 43 2nd ed. , Cambridge University Press, p. 141.