Роджер Линдон - Roger Lyndon
Роджер Конант Линдон (18 декабря 1917 - 8 июня 1988) был американцем математик, много лет профессор университет Мичигана.[1] Он известен Слова Линдона, то Теорема Кертиса – Хедлунда – Линдона., Интерполяция Крейга – Линдона и Спектральная последовательность Линдона – Хохшильда – Серра..
биография
Линдон родился 18 декабря 1917 года в г. Кале, Мэн, сын Унитарный министр. Его мать умерла, когда ему было два года, после чего он и его отец несколько раз переезжали в города в Массачусетс и Нью-Йорк. Он учился на бакалавриате в Гарвардский университет Изначально намеревался изучать литературу, но в конце концов остановился на математике и получил высшее образование в 1939 году. Он устроился на работу банкиром, но вскоре после этого вернулся в аспирантуру в Гарварде, получив степень магистра в 1941 году. После непродолжительной преподавательской работы в Институте Технологический институт Джорджии, он вернулся в Гарвард в третий раз в 1942 году, и пока там преподавал навигацию в рамках Программа обучения военно-морского колледжа V-12 при получении докторской степени.[1] Он получил докторскую степень в 1946 году под руководством Saunders Mac Lane.[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] назван в честь Линдона.
Публикации
Линдон был автором или соавтором книг:
- Замечания по логике (Ван Ностранд, 1967)
- Проблемы со словами: проблема решения в теории групп (с У. В. Бун и Ф. Каннонито, Северная Голландия, 1973 г.)
- Комбинаторная теория групп (с Пол Шупп, 1976 г., перепечатано в 2001 г. компанией Springer-Verlag, ISBN 978-3-540-41158-1)
- Группы и геометрия (Издательство Кембриджского университета, 1985 г., ISBN 978-0-521-31694-1).
Некоторые из его наиболее цитируемых работ включают:
- Линдон, Роджер С. (1950). «Теория когомологий групп с одним определяющим соотношением». Анналы математики. 52 (3): 650–665. Дои:10.2307/1969440. МИСТЕР 0047046.
- Чен, Куо Цай; Фокс, Ральф Х.; Линдон, Роджер С. (1958). «Свободное дифференциальное исчисление. IV. Фактор-группы нижнего центрального ряда». Анналы математики. 68 (1): 81–95. Дои:10.2307/1970044. МИСТЕР 0102539.
Рекомендации
- ^ а б c d е ж грамм О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Роджер Линдон", Архив истории математики MacTutor, Сент-Эндрюсский университет..
- ^ а б Роджер Конант Линдон на Проект "Математическая генеалогия".
- ^ Баннаи, Эйити; Грисс, Роберт Л., младший; Praeger, Cheryl E .; Скотт, Леонард (2009), «Математика Дональда Гордона Хигмана» (PDF), Michigan Math. Дж., 58.
- ^ Берстель, Жан; Перрен, Доминик (2007), «Истоки комбинаторики слов» (PDF), Европейский журнал комбинаторики, 28 (3): 996–1022, Дои:10.1016 / j.ejc.2005.07.019, МИСТЕР 2300777.
- ^ Хедлунд, Г.А. (1969), "Эндоморфизмы и автоморфизмы динамических систем сдвигов", Математическая теория систем, 3 (4): 320–375, Дои:10.1007 / BF01691062.
- ^ Троэльстра, Энн Сьерп; Швихтенберг, Гельмут (2000), Основная теория доказательств, Кембриджские трактаты по теоретической информатике, 43 (2-е изд.), Cambridge University Press, стр. 141, ISBN 978-0-521-77911-1.
- ^ "Биографическая справка Хаймана Басса" (PDF). Архивировано из оригинал (PDF) на 2019-02-05.