Роджер Конант Линдон (18 декабря 1917 г. — 8 июня 1988 г.) — американский математик , много лет занимавший должность профессора в Мичиганском университете . [1] Он известен словами Линдона , теоремой Кертиса–Хедлунда–Линдона , интерполяцией Крейга–Линдона и спектральной последовательностью Линдона–Хохшильда–Серра .
Линдон родился 18 декабря 1917 года в Кале, штат Мэн , в семье священника -унитарианца . Его мать умерла, когда ему было два года, после чего он и его отец несколько раз переезжали в города в Массачусетсе и Нью-Йорке . Он учился в бакалавриате в Гарвардском университете , изначально намереваясь изучать литературу, но в конечном итоге остановился на математике и окончил его в 1939 году. Он устроился на работу банкиром, но вскоре вернулся в аспирантуру в Гарварде, получив степень магистра в 1941 году. После непродолжительной преподавательской работы в Технологическом институте Джорджии он вернулся в Гарвард в третий раз в 1942 году и, находясь там, преподавал навигацию в рамках программы обучения военно-морского колледжа V-12, одновременно получая степень доктора философии. [1] Он получил докторскую степень в 1946 году под руководством Сондерса Маклейна . [1] [2]
После окончания Гарварда Линдон работал в Управлении военно-морских исследований , а затем в течение пяти лет был инструктором и доцентом в Принстонском университете , прежде чем в 1953 году перешел в Мичиганский университет . [1] В Мичигане он делил кабинет с Дональдом Г. Хигманом ; [3] среди его выдающихся аспирантов были Кеннет Аппель и Джозеф Крускал . [2]
Линдон умер 8 июня 1988 года в Энн-Арборе, штат Мичиган . [1]
Кандидатская диссертация Линдона была посвящена когомологиям групп ; [1] спектральная последовательность Линдона –Хохшильда–Серра , полученная в результате этой работы, связывает когомологии группы с когомологиями ее нормальных подгрупп и их факторгрупп .
Слово Линдона — это непустая строка символов, которая лексикографически меньше любого из ее циклических вращений; Линдон ввел эти слова в 1954 году, изучая основания свободных групп . [4]
Густав А. Хедлунд отметил Линдона за его роль в открытии теоремы Кертиса–Хедлунда–Линдона , математической характеристики клеточных автоматов в терминах непрерывных эквивариантных функций на сдвиговых пространствах . [5]
Теорема интерполяции Крейга–Линдона в формальной логике утверждает, что каждое логическое следствие может быть разложено на составляющие двух следствий, так что каждый нелогический символ в средней формуле произведения также используется в обеих других двух формулах. Версия теоремы была доказана Уильямом Крейгом в 1957 году и усилена Линдоном в 1959 году. [6]
В дополнение к этим результатам Линдон внес важный вклад в комбинаторную теорию групп , изучение групп с точки зрения их представлений в виде последовательностей порождающих элементов, которые объединяются для формирования групповой идентичности. [1]
Книга «Вклад в теорию групп» (Американское математическое общество, 1984, ISBN 978-0-8218-5035-0 ) представляет собой юбилейный сборник , посвященный Линдону по случаю его 65-летия; в нее вошли пять статей о Линдоне и его математических исследованиях, а также 27 приглашенных и рецензируемых научных статей.
Должность профессора математики имени Роджера Линдона в Мичиганском университете, которую в 1999–2008 годах занимал Хайман Басс [7] , названа в честь Линдона.
Линдон был автором или соавтором книг:
Некоторые из его наиболее цитируемых работ включают в себя: