Roger Lyndon

Roger conant lyndon Descrierea acestei imagini, de asemenea comentată mai jos Roger Lyndon Date esentiale
Naștere 18 decembrie 1917
Calais (Maine) ( Statele Unite )
Moarte 8 iunie 1988
Ann Arbor (Michigan) ( Statele Unite )
Naţionalitate american
Zone algebră
Instituții Universitatea Princeton , Universitatea din Michigan
Diplomă Universitatea Harvard
Supervizor Saunders Mac Lane
Doctoranzi Kenneth Appel , Joseph Kruskal , Paul Schupp
Renumit pentru Cuvânt Lyndon ,
teorema Curtis-Hedlund-Lyndon  (en) ,
interpolare Craig-Lyndon ,
secvență spectrală Lyndon-Hochschild-Serre  (en)

Roger Conant Lyndon (1917–1988) este un matematician american, profesor la Universitatea din Michigan . Este cunoscut pentru cuvintele Lyndon , teorema lui Curtis-Hedlund-Lyndon  (în) , interpolare Craig-Lyndon și secvența spectrală a lui Lyndon-Hochschild-Serre  (în) .

Biografie

Și- a început studiile universitare la licență nivel de la Universitatea Harvard , mai întâi în literatură, apoi în matematică, și a obținut o diplomă de licență în 1939. A lucrat ca funcționar bancar, dar în curând a revenit la Universitatea Harvard, în școală absolvent , și a obținut un masterat în 1941. După o scurtă experiență didactică la Georgia Institute of Technology , sa întors pentru a treia oară la Harvard. În timp ce preda în cadrul V-12 Navy College Training Program  (în) , care urmărea să ofere pregătire de bază recruților din US Navy, pregătește un doctorat sub conducerea Saunders Mac Lane pe care l-a obținut în 1946.

După teza sa, Lyndon a lucrat la Office of Naval Research , apoi timp de cinci ani ca asistent și profesor asistent la Universitatea Princeton . Influențat de Tarski , Lyndon a lucrat la teoria modelelor . Vizita lui Ralph Fox și Kurt Reidemeister la Princeton în 1948 l-a determinat să lucreze în teoria grupurilor combinatorii .

În 1953, a fost numit la Universitatea din Michigan în 1953. A rămas acolo, cu excepția vizitelor la Berkeley, Londra, Montpllier și Amiens. La Universitatea din Michigan, el împarte în mod special un birou cu Donald G. Higman  (în) . Are mulți studenți, printre care Kenneth Appel , Joseph Kruskal și Paul Schupp.

Cercetare

Cohomologia grupurilor Teza lui Lyndon se referă la cohomologia grupurilor ; secvența spectrală a Lyndon- Hochschild - Serre este o consecință a acestei lucrări. Se leagă cohomologia unui grup de cohomologiile subgrupurilor sale normale și ale grupurilor de coeficienți ai acestora . Cuvintele lui Lyndon Un cuvânt Lyndon este un cuvânt pe un alfabet ordonat, care este strict mai mic, în ordine lexicografică , decât toate cuvintele obținute prin permutare circulară ( cuvintele sale conjugate ). Lyndon a introdus aceste cuvinte în 1954, când căuta baze de grup gratuite . Teorema Curtis-Hedlund-Lyndon Teorema Curtis-Hedlund-Lyndon este o caracterizare a automatelor celulare în ceea ce privește dinamica lor simbolică . Descoperirea acestei teoreme este co-atribuită lui Morton L. Curtis  (în) și Roger Lyndon de Gustav Hedlund însuși. Teorema de interpolare Craig-Lyndon Teorema de interpolare Craig-Lyndon în logica formală afirmă că orice implicație logică poate fi luată în considerare într-o compoziție de două implicații, astfel încât orice alt simbol decât un simbol logic care apare în formula centrală este, de asemenea, utilizat în alte două formule. O versiune timpurie a acestei teoreme a fost dovedită de William Lane Craig în 1957, iar o versiune mai puternică de Lyndon în 1959. Teoria grupurilor combinatorii Mai mult, Lyndon a adus contribuții semnificative în teoria grupurilor combinatorii în studiul grupurilor în ceea ce privește prezentările lor în raport cu teoria simplificării mici  (în) .

Cărți

Onoruri

Cartea Contribuții la teoria grupurilor ( AMS 1984 ( ISBN  978-0-8218-5035-0 ) este un Festschrift dedicat lui Lyndon cu ocazia  împlinirii a 65 de ani. Acest volum conține cinci articole despre Lyndon și cercetările sale matematice și 27 invitate și revizuite lucrări de cercetare.

Roger Lyndon Collegiate profesorat de Matematică la Universitatea din Michigan, ocupat de Hyman Bass din 1999, ia numele de la Lyndon.

Note și referințe

  1. (ro) John J. O'Connor și Edmund F. Robertson , „Roger Conant Lyndon” , în arhiva MacTutor History of Mathematics , Universitatea din St Andrews ( citiți online ).
  2. (ro) "  Roger Conant Lyndon  " , pe site - ul genealogia matematicienilor
  3. Eiichi Bannai , Robert L., Jr. Griess , Cheryl E. Praeger și Leonard Scott , Matematica lui Donald Gordon Higman , vol.  58, col.  „Michigan Math. Jurnal ",2009( citește online ).
  4. (în) Jean Berstel și Dominique Perrin , „  The Origins of combinatorics on words  ” , European Journal of Combinatorics , vol.  28, n o  3,aprilie 2007, p.  996-1022 ( DOI  10.1016 / j.ejc.2005.07.019 , citiți online ).
  5. În articol: Gustav A. Hedlund, „  Endomorfisme și automorfisme ale sistemelor dinamice de schimbare  ”, Teoria sistemelor matematice , vol.  3, n o  4,1969, p.  320–375 ( DOI  10.1007 / BF01691062 )
  6. Anne Sjerp Troelstra și Helmut Schwichtenberg , Teoria de bază a dovezilor , Cambridge University Press , col.  „Tractele Cambridge în informatică teoretică” ( nr .  43),2000, A 2 -a  ed. , 417  p. ( ISBN  978-0-521-77911-1 , citit online ) , p.  141.
  7. Curriculum vitae Hyman Bass
(fr) Acest articol este preluat parțial sau în totalitate din articolul din Wikipedia engleză intitulat „  Roger Lyndon  ” ( vezi lista autorilor ) .