История теории групп - History of group theory

В история теории групп, а математический изучение предметной области группы в своих различных формах, развивалась в различных параллельных потоках. Есть три исторических корня теория групп: теория алгебраические уравнения, теория чисел и геометрия.[1][2][3] Жозеф Луи Лагранж, Нильс Хенрик Абель и Эварист Галуа были ранними исследователями в области теории групп.

Начало 19 века

Самое раннее изучение групп как таковых, вероятно, восходит к работам Лагранжа в конце 18 века. Однако эта работа была несколько изолированной, и 1846 публикаций Огюстен Луи Коши и Галуа чаще называют началом теории групп. Теория развивалась не на пустом месте, поэтому здесь раскрываются три важных направления ее предыстории.

Развитие групп перестановок

Одним из основополагающих принципов теории групп был поиск решений полиномиальные уравнения степени выше 4.

Первым источником является проблема формирования уравнения степени м имея своими корнями м корней данного уравнения степени . В простых случаях проблема возвращается к Иоганн ван Ваверен Худде (1659).[4] Николас Сондерсон (1740) отметил, что определение квадратичных множителей биквадратичного выражения обязательно приводит к шестнадцатеричному уравнению:[5] и Томас Ле Сёр (1703–1770) (1748)[6][7] и Эдвард Уоринг (1762–1782) еще больше развили идею.[8][3][9]

Общий фундамент теории уравнений на основе группы перестановки был найден Лагранжем (1770, 1771), и на нем была построена теория подстановок.[10] Он обнаружил, что корни всех противовоспалительных средств (резольвантес, редуиты), которые он исследовал, являются рациональными функциями корней соответствующих уравнений. Для изучения свойств этих функций он изобрел Calcul des Combinaisons.[11] Современная работа Александр-Теофиль Вандермонд (1770) также предвосхитил грядущую теорию.[3][12]

Паоло Руффини (1799) предпринял попытку доказать невозможность решения квинтик и более высокие уравнения.[13] Руффини различал то, что сейчас называется непереходным и переходный, и импринитивный и примитивный группы, а (1801) использует группу уравнения под именем l'assieme delle permutazioni. Он также опубликовал письмо от Пьетро Аббати самому себе, в котором видна групповая идея.[14][3]

Пятнадцатилетнему Галуа, нарисованный одноклассником.

Галуа обнаружил, что если являются п корней уравнения, всегда существует группа перестановок р'такие, что

  • любая функция корней, неизменяемая при подстановках группы, рационально известна, и
  • наоборот, любая рационально определимая функция корней инвариантна относительно подстановок группы.

Говоря современным языком, разрешимость присоединенной к уравнению группы Галуа определяет разрешимость уравнения с радикалами.

Галуа первым употребил слова группа (группа на французском) и примитивный в их современном понимании. Он не использовал примитивная группа но позвонил уравнение примитив уравнение, группа Галуа которого примитивный. Он открыл понятие нормальные подгруппы и обнаружил, что разрешимая примитивная группа может быть отождествлена ​​с подгруппой аффинная группа из аффинное пространство через конечное поле первого порядка.[15]

Галуа также внес свой вклад в теорию модульные уравнения и тому из эллиптические функции. Его первая публикация по теории групп была сделана в возрасте восемнадцати лет (1829 г.), но его работы не привлекали особого внимания до публикации его собрания статей в 1846 г. (Liouville, Vol. XI).[16][17] Галуа почитается как первый математик, связавший теорию групп и теория поля, с теорией, которая теперь называется Теория Галуа.[3]

Группы, подобные группам Галуа, (сегодня) называются группы перестановок, концепция, исследованная, в частности, Коши. Ряд важных теорем ранней теории групп принадлежит Коши. Артур Кэли с К теории групп в зависимости от символического уравнения (1854) дает первое абстрактное определение конечные группы.[18]

Группы, связанные с геометрией

Феликс Кляйн
Софус Ли

Во-вторых, систематическое использование групп в геометрии, в основном под видом группы симметрии, был инициирован Феликс Кляйн 1872 год Программа Эрланген.[19][20] Изучение того, что сейчас называется Группы Ли систематически началось в 1884 г. Софус Ли, а затем работа Вильгельм Киллинг, Эдуард Этюд, Иссай Шур, Людвиг Маурер, и Эли Картан. Прерывистый (дискретная группа ) теория была построена Клейном, Ли, Анри Пуанкаре, и Шарль Эмиль Пикар, в частности, в связи с модульные формы и монодромия.

Возникновение групп в теории чисел

Эрнст Куммер

Третий корень теории групп был теория чисел. Определенный абелева группа структуры неявно использовались в теоретико-числовой работать Карл Фридрих Гаусс, и более явно Леопольд Кронекер.[21] Ранние попытки доказать Последняя теорема Ферма привели к кульминации Эрнст Куммер путем введения группы, описывающие факторизацию в простые числа.[22]

Конвергенция

Камилла Джордан

Теория групп как все более независимый предмет была популяризирована Серре, посвятивший теории раздел IV своей алгебры; к Камилла Джордан, чей Traité des replaces et des équations algébriques (1870) - классик; и чтобы Евгений Нетто (1882), чей Теория подстановок и ее приложения к алгебре был переведен на английский Коул (1892). Другие теоретики групп XIX века были Жозеф Луи Франсуа Бертран, Чарльз Эрмит, Фердинанд Георг Фробениус, Кронекер и Эмиль Матье;[3] а также Уильям Бернсайд, Леонард Юджин Диксон, Отто Гёльдер, Э. Х. Мур, Людвиг Силов, и Генрих Мартин Вебер.

Схождение трех вышеуказанных источников в единую теорию началось с теории Жордана. Traité и Вальтер фон Дейк (1882), которые впервые дали определение группе в полном современном смысле. Учебники Вебера и Бернсайда помогли утвердить теорию групп как дисциплину.[23] Абстрактная групповая формулировка неприменима к большей части теории групп XIX века, и был дан альтернативный формализм в терминах теории групп. Алгебры Ли.

Конец 19 века

Группы в период 1870-1900 гг. Были описаны как непрерывные группы Ли, разрывные группы, конечные группы подстановок корней (постепенно называемые перестановками) и конечные группы линейных подстановок (обычно конечных полей). В период 1880-1920 годов группы, описанные в презентациях, начали жить своей собственной жизнью благодаря работам Кэли, Вальтер фон Дейк, Макс Ден, Якоб Нильсен, Отто Шрайер, и продолжился в период 1920-1940 годов работами Х. С. М. Коксетер, Вильгельм Магнус, и другие, чтобы сформировать поле комбинаторная теория групп.

Конечные группы в период 1870-1900 гг. Увидели такие яркие моменты, как Теоремы Силова, Классификация Гёльдера групп бесквадратного порядка и раннее начало теория характера Фробениуса. Уже к 1860 году группы автоморфизмов конечных проективных плоскостей были изучены (Матье), а в 1870-х годах теоретико-групповое видение геометрии Клейна реализовалось в его творчестве. Программа Эрланген. Группы автоморфизмов проективных пространств высшей размерности изучал Жордан в его работе. Traité и включены серии композиций для большинства так называемых классические группы, хотя он избегал непростых полей и опускал унитарные группы. Исследование было продолжено Муром и Бернсайдом, и оно было преобразовано в всеобъемлющую форму учебника Леонард Диксон в 1901 году. Роль простые группы было подчеркнуто Джорданом, а критерии непростоты были разработаны Гельдером до тех пор, пока он не смог классифицировать простые группы порядка менее 200. Исследование было продолжено Фрэнк Нельсон Коул (до 660) и Бернсайд (до 1092), и, наконец, в раннем «проекте тысячелетия» до 2001 года Миллера и Линга в 1900 году.

Сплошные группы в период 1870-1900 гг. Быстро развивались. Были опубликованы основополагающие статьи Киллинга и Ли, теорема Гильберта в теории инвариантов 1882 г. и т. Д.

Начало 20 века

В период 1900–1940 гг. Бесконечный «прерывистый» (теперь называемый дискретные группы ) группы обрели собственную жизнь. Знаменитая проблема Бернсайда положил начало изучению произвольных подгрупп конечномерных линейных групп над произвольными полями и даже произвольных групп. Фундаментальные группы и группы отражения поощрял развитие Дж. А. Тодд и Кокстер, такие как Алгоритм Тодда-Кокстера в комбинаторной теории групп. Алгебраические группы, определяемые как решения полиномиальных уравнений (а не действующие на них, как в прошлом веке), сильно выиграли от непрерывной теории Ли. Бернар Нойманн и Ханна Нойманн подготовили свое исследование разновидности групп, группы, определяемые теоретико-групповыми уравнениями, а не полиномиальными.

В период 1900-1940 гг. Непрерывные группы также быстро росли. Топологические группы начали изучать как таковые. В непрерывных группах было много великих достижений: классификация полупростых алгебр Ли Картаном, Герман Вейль теория представлений компактных групп, Альфред Хаар Работаем в локально компактном корпусе.

Конечные группы в 1900-1940 годах сильно выросли. Этот период стал свидетелем рождения теория характера Фробениуса, Бернсайда и Шура, которые помогли ответить на многие вопросы XIX века о группах перестановок и открыли путь к совершенно новым методам работы с абстрактными конечными группами. В этот период работали Филип Холл: об обобщении теоремы Силова на произвольные наборы простых чисел, которое произвело революцию в изучении конечных разрешимых групп, и о структуре коммутатора степени p-группы, включая идеи регулярные p-группы и изоклинизм групп, который произвел революцию в изучении p-групп и стал первым крупным результатом в этой области со времен Силова. Этот период видел Ганс Цассенхаус знаменитый Теорема Шура-Цассенхауза о существовании дополнений к холловскому обобщению силовских подгрупп, а также о его прогрессе в Группы Фробениуса, и близкая классификация Группы Цассенхауза.

Середина 20 века

И глубина, и широта, и влияние теории групп впоследствии выросли. Домен начал разветвляться на такие области, как алгебраические группы, групповые расширения, и теория представлений.[24] Начиная с 1950-х годов, благодаря огромным совместным усилиям теоретикам групп удалось классифицировать все конечное простые группы в 1982 г. Завершение и упрощение доказательства классификации - области активных исследований.[25]

Анатолий Мальцев также внес важный вклад в теорию групп за это время; его ранние работы были в области логики в 1930-х годах, но в 1940-х он доказал важные свойства вложения полугрупп в группы, изучил проблему изоморфизма групповых колец, установил соответствие Мальчева для полициклических групп, а в 1960-х годах вернулся к логике, доказывая различные теории. в рамках исследования групп быть неразрешимым. Ранее, Альфред Тарский доказанная элементарная теория групп неразрешимый.[26]

Период 1960-1980 годов был периодом волнений во многих областях теории групп.

В конечных группах было много независимых вех. В одном было открытие 22 новых спорадических групп и завершение первого поколения классификация конечных простых групп. У одного была влиятельная идея Подгруппа Картера, и последующее создание теории формации и теории классов групп. У одного были замечательные расширения теории Клиффорда Грина на неразложимые модули групповых алгебр. В эту эпоху область вычислительная теория групп стала признанной областью исследований, отчасти благодаря ее огромному успеху при классификации первого поколения.

В дискретных группах геометрические методы Жак Титс и наличие сюръективности Серж Ланг Карта России позволила произвести революцию в алгебраических группах. В Проблема Бернсайда добились огромного прогресса, с лучшими контрпримерами, созданными в 1960-х и начале 1980-х годов, но последние штрихи «для всех, кроме конечного множества» не были завершены до 1990-х годов. Работа над проблемой Бернсайда повысила интерес к алгебрам Ли в экспоненте. п, а методы Мишель Лазар стали ощущать более широкое влияние, особенно при изучении п-группы.

Значительно расширились непрерывные группы, п-адические аналитические вопросы становятся важными. За это время было сделано много предположений, включая гипотезы кокласса.

Конец 20 века

Последние двадцать лет 20-го века были отмечены успехами более чем столетних исследований теории групп.

В конечных группах результаты постклассификации включали Теорема О'Нана – Скотта, классификация Ашбахера, классификация кратно транзитивных конечных групп, определение максимальных подгрупп простых групп и соответствующие классификации групп примитивные группы. В конечной геометрии и комбинаторике теперь можно было решить многие проблемы. Теория модульного представления вступила в новую эру, поскольку методы классификации были аксиоматизированы, включая системы слияния, теорию пар и нильпотентных блоков Луиса Пуига. Теория конечных разрешимых групп также была преобразована влиятельной книгой Клауса Дёрка и Тревора Хокса, которая представила теорию проекторов и инжекторов более широкой аудитории.

В отдельных группах несколько областей геометрии объединились, чтобы создать захватывающие новые области. Работа над теория узлов, орбифолды, гиперболические многообразия, и группы, действующие на деревьях ( Теория Басса – Серра ), очень оживили изучение гиперболические группы, автоматические группы. Такие вопросы как Уильям Терстон 1982 год гипотеза геометризации, вдохновил совершенно новые техники в геометрическая теория групп и низкоразмерная топология, и участвовал в решении одного из Задачи Премии тысячелетия, то Гипотеза Пуанкаре.

Непрерывные группы видели решение проблемы слышать форму барабана в 1992 г. с использованием групп симметрии лапласианский оператор. Непрерывные методы применялись ко многим аспектам теории групп с использованием функциональные пространства и квантовые группы. Многие проблемы 18-го и 19-го веков теперь пересматриваются в этой более общей постановке, и на многие вопросы теории представлений групп есть ответы.

Сегодня

Теория групп продолжает оставаться предметом интенсивных исследований. Его важность для современной математики в целом можно увидеть из 2008 г. Премия Абеля, предназначенный кому-либо Джон Григгс Томпсон и Жак Титс за их вклад в теорию групп.

Примечания

  1. ^ Wussing2007
  2. ^ Кляйнер1986
  3. ^ а б c d е ж Смит1906
  4. ^ Худде, Йоханнес (1659) "Epistola prima, de Reductione æquationum" (Первое письмо: о редукции уравнений). В: Декарт, Рене; Бон, Флоримон де; Schooten, Франс ван; Худде, Йоханнес; Heuraet, Хендрик ван. Renati Des-Cartes Geometria. 2-е изд. т. 1. (на латыни) Амстердам, Нидерланды: Луи и Даниэль Эльзевир. С. 406–506.
  5. ^ Сондерсон, Николай (1740). Элементы алгебры в десяти книгах. т. 2. Кембридж, Англия: Издательство Кембриджского университета. стр. 735–736, «О разрешении всех видов биквадратных уравнений с помощью кубиков».
  6. ^ Ле Сёр, Томас (1748). Memoire sur le Calcul Integral (На французском). Рим (Италия): Freres Pagliarini. ; стр. 13 и далее, особенно стр. 22–23.
  7. ^ Статьи о Томасе Ле Сере доступны в Французская Википедия и Немецкая Википедия.
  8. ^ Видеть:
  9. ^ Буркхардт, Генрих (1892). "Die Anfänge der Gruppentheorie und Paolo Ruffini" [Начало теории групп и Паоло Руффини]. Zeitschrift für Mathematik und Physik (на немецком). 37 (Дополнение): 119–159.
  10. ^ Видеть:
  11. ^ (Лагранж, 1771), стр. 235.
  12. ^ Вандермонда (1771). "Mémoire sur la resolution des équations" [Воспоминание о решении уравнений]. Histoire de l'Académie Royale des Sciences. Avec les Mémoires de Mathématique & de Physique (на французском языке): 365–416.
  13. ^ Руффини, Паоло (1799). Teoria Generale delle Equazioni, in cui si dimostra impssibile la soluzione algebraica delle Equazioni generali di grado superiore al Quarto [Общая теория уравнений, в которой доказывается невозможность алгебраического решения общих уравнений степени выше четырех.] (на итальянском). т. 1 и 2. Болонья (Италия): Санкт-Томмазо д'Акино.
  14. ^ Аббати, Пьетро (1803). "Леттера ди Пьетро Аббати Моденезе аль социо Паоло Руффини" [Письмо Пьетро Аббати из Модены своему коллеге Паоло Руффини]. Memorie di Matematica e di Fisica della Società Italiana delle Scienze (на итальянском). 10 (часть 2): 385–409.
  15. ^ Последнее письмо Галуа:http://www.galois.ihp.fr/ressources/vie-et-oeuvre-de-galois/lettres/lettre-testament
  16. ^ Галуа1908
  17. ^ Кляйнер1986, п. 202
  18. ^ Кэли, А. (1854). «К теории групп в зависимости от символического уравнения θп = 1". Философский журнал. 4-я серия. 7 (42): 40–47. Дои:10.1080/14786445408647421.
  19. ^ Видеть:
    • Кляйн, Феликс (1872 г.). Vergleichende Betrachtungen über neuere geometrische Forschungen [Сравнительный обзор последних исследований в области геометрии] (на немецком). Эрланген, Германия: Андреас Дайхерт.
    • Печатается на: Кляйн, Феликс (1892). "Vergleichende Betrachtungen über neuere geometrische Forschungen" [Сравнительный обзор последних исследований в области геометрии]. Mathematische Annalen (на немецком). 43 (1): 63–100. Дои:10.1007 / bf01446615.
    • Английский перевод: Klein, Felix C.; Haskell, M.W., пер .; Ругоонаут, Северная Каролина, изд. (2008) «Сравнительный обзор последних исследований в области геометрии». Arxiv.org
  20. ^ Wussing2007, §III.2
  21. ^ Кляйнер1986, п. 204
  22. ^ Wussing2007, §I.3.4
  23. ^ Соломон пишет в «Собрании сочинений Бернсайда»: «Эффект [книги Бернсайда] был более широким и всепроникающим, влияя на весь курс некоммутативной алгебры в двадцатом веке».
  24. ^ Кертис2003
  25. ^ Ашбахер2004
  26. ^ Тарский, Альфред (1953) "Неразрешимость элементарной теории групп" у Тарского, Мостовского и Рафаэль Робинсон Неразрешимые теории. Северная Голландия: 77-87.

Рекомендации