Теория Галуа - Galois theory

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

В математика, Теория Галуа обеспечивает связь между теория поля и теория групп. Используя теорию Галуа, некоторые проблемы теории поля можно свести к теории групп, которая в некотором смысле проще и понятнее. Он использовался для решения классических проблем, в том числе для демонстрации того, что две проблемы древности не могут быть решены, как они были заявлены (удвоение куба и трисекция угла ); показывая, что нет формула пятой степени; и показывая, какие многоугольники можно построить.

Тема названа в честь Эварист Галуа, который ввел его для изучения корни из многочлен и характеризуя полиномиальные уравнения которые решаемый радикалами с точки зрения свойств группа перестановок их корней - уравнение решаемый радикалами если его корни могут быть выражены формулой, включающей только целые числа, пкорни, и четыре основных арифметические операции.

Теория была популяризирована среди математиков и развита Ричард Дедекинд, Леопольд Кронекер, Эмиль Артин, и другие, которые интерпретировали группу перестановок корней как группа автоморфизмов из расширение поля.

Теория Галуа была обобщена на Связи Галуа и Теория Галуа Гротендика.

Приложение к классическим задачам

Рождение и развитие теории Галуа было вызвано следующим вопросом, который был одним из основных открытых математических вопросов до начала 19 века:

Существует ли формула для корней полиномиального уравнения пятой (или более высокой) степени в терминах коэффициентов полинома, использующая только обычные алгебраические операции (сложение, вычитание, умножение, деление) и применение радикалов (квадратные корни, кубические корни и т. д.)?

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

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

1. Который правильные многоугольники находятся конструктивный ?^[1]
2. Почему невозможно разрезать каждый угол с помощью компас и линейка ?^[1]
3. Почему удвоение куба невозможно с помощью того же метода?

История

Смотрите также: Абстрактная алгебра § Ранняя теория групп

Предыстория

Теория Галуа возникла при изучении симметричные функции - коэффициенты при монический многочлен (до подписания) элементарные симметричные полиномы в корнях. Например, (Икс – а)(Икс – б) = Икс² – (а + б)Икс + ab, где 1, а + б и ab - элементарные многочлены степени 0, 1 и 2 от двух переменных.

Впервые это было формализовано французским математиком XVI века. Франсуа Виет, в Формулы Вьете, для случая положительных действительных корней. По мнению британского математика XVIII века Чарльз Хаттон,^[2] выражение коэффициентов полинома через корни (не только для положительных корней) было впервые понято французским математиком 17 века Альбер Жирар; Хаттон пишет:

... [Жирар] был первым человеком, который понял общую доктрину образования коэффициентов степеней из суммы корней и их произведений. Он был первым, кто открыл правила суммирования степеней корней любого уравнения.

В этом ключе дискриминант является симметричной функцией в корнях, которая отражает свойства корней - она ​​равна нулю тогда и только тогда, когда многочлен имеет кратный корень, а для квадратичных и кубических многочленов она положительна тогда и только тогда, когда все корни действительные и различные, и отрицательные тогда и только тогда, когда существует пара различных комплексно сопряженных корней. Увидеть Дискриминант: природа корней для подробностей.

Кубика была впервые частично решена итальянским математиком 15–16 веков. Сципионе-дель-Ферро, который, однако, не опубликовал свои результаты; этот метод, однако, решал только один тип кубического уравнения. Это решение было затем независимо открыто заново в 1535 г. Никколо Фонтана Тарталья, кто поделился этим с Джероламо Кардано, прося его не публиковать это. Затем Кардано распространил это на множество других случаев, используя аналогичные аргументы; подробнее см. на Кардано метод. После открытия работы дель Ферро он почувствовал, что метод Тартальи больше не является секретом, и поэтому опубликовал свое решение в своей книге 1545 года. Арс Магна.^[3] Его ученик Лодовико Феррари решил полином четвертой степени; его решение также было включено в Ars Magna. В этой книге, однако, Кардано не привел «общую формулу» для решения кубического уравнения, поскольку у него не было ни одной сложные числа в его распоряжении, ни алгебраические обозначения, чтобы описать общее кубическое уравнение. Благодаря современным обозначениям и комплексным числам формулы в этой книге действительно работают в общем случае, но Кардано этого не знал. Это было Рафаэль Бомбелли кто сумел понять, как работать с комплексными числами, чтобы решать все формы кубического уравнения.

Следующим шагом стала статья 1770 г. Réflexions sur la résolution algébrique des équations французско-итальянского математика Жозеф Луи Лагранж в его методе Резольвенты Лагранжа, где он проанализировал решение Кардано и Феррари о кубиках и квартиках, рассматривая их с точки зрения перестановки корней, которые дали вспомогательный многочлен более низкой степени, обеспечивающий единое понимание решений и закладывающий основу для теории групп и теории Галуа. Однако принципиально он не считал сочинение перестановок. Метод Лагранжа не распространяется на уравнения пятой степени и выше, поскольку резольвента имеет более высокую степень.

Квинтика практически не имеет общих решений радикалами. Паоло Руффини в 1799 году, ключевой идеей которого было использование перестановка группы, а не просто перестановка. Его решение содержало пробел, который Коши считал незначительным, хотя он не был исправлен до тех пор, пока работа норвежского математика Нильс Хенрик Абель, который опубликовал доказательство в 1824 году, тем самым установив Теорема Абеля – Руффини.

Хотя Руффини и Абель установили, что Общее квинтик не решается, некоторые конкретный квинтики могут быть решены, например Икс⁵ - 1 = 0, и точный критерий, по которому данный пятый или более высокий многочлен мог быть определен как разрешимый или не был задан Эварист Галуа, который показал, что решимость многочлена эквивалентна тому, является ли группа перестановок его корней - в современных терминах, его Группа Галуа - имели определенную структуру - говоря современным языком, было ли это разрешимая группа. Эта группа всегда была разрешима для многочленов четвертой или меньшей степени, но не всегда так для многочленов пятой и большей степени, что объясняет, почему не существует общего решения для более высоких степеней.

Сочинения Галуа

Портрет Эвариста Галуа, около 15 лет

В 1830 году Галуа (в возрасте 18 лет) подчинялся Парижская академия наук мемуары о его теории разрешимости радикалами; В 1831 году статья Галуа была окончательно отвергнута как слишком схематичная и дававшая условие в терминах корней уравнения, а не его коэффициентов. Затем Галуа умер на дуэли в 1832 году, и его газета "Mémoire sur les conditions de resolubilité des équations par radicaux", оставалась неопубликованной до 1846 г., когда она была опубликована Джозеф Лиувиль сопровождается некоторыми из его собственных объяснений.^[4] Перед этой публикацией Лиувиль объявил академии результат Галуа в речи, которую он произнес 4 июля 1843 года.^[5] По словам Аллана Кларка, характеристика Галуа «кардинально заменяет работы Абеля и Руффини».^[6]

Последствия

Теория Галуа была общеизвестно трудной для понимания его современниками, особенно до того уровня, на котором они могли ее расширить. Например, в своем комментарии 1846 года Лиувилль полностью упустил теоретико-групповое ядро ​​метода Галуа.^[7] Джозеф Альфред Серре присутствовавший на некоторых выступлениях Лиувилля, включил теорию Галуа в свой учебник 1866 г. (третье издание) Cours d'algèbre supérieure. Ученик Серре, Камилла Джордан, имел еще лучшее понимание, отраженное в его книге 1870 г. Traité des replaces et des équations algébriques. За пределами Франции теория Галуа долгое время оставалась более неясной. В Британии, Кэли не смогли понять ее глубины, и популярные британские учебники по алгебре даже не упоминали теорию Галуа до конца столетия. В Германии работы Кронекера были больше сосредоточены на результате Абеля. Дедекинд мало писал о теории Галуа, но читал по ней лекции в Геттингене в 1858 году, продемонстрировав очень хорошее понимание.^[8] Евгений Нетто книги 1880-х годов, основанные на Traité, сделал теорию Галуа доступной для широкой немецкой и американской аудитории, как и Генрих Мартин Вебер Учебник алгебры 1895 г.^[9]

Подход группы перестановок к теории Галуа

Учитывая многочлен, может оказаться, что некоторые из корней связаны различными алгебраические уравнения. Например, может быть, что для двух корней, скажем, А и B, это А² + 5B³ = 7. Центральная идея теории Галуа заключается в рассмотрении перестановки (или перестановки) корней так, что Любые алгебраическое уравнение, которому удовлетворяют корни: все еще доволен после перестановки корней. Первоначально теория была разработана для алгебраических уравнений, коэффициенты которых равны рациональное число. Он естественным образом распространяется на уравнения с коэффициентами в любых поле, но это не будет рассматриваться в простых примерах ниже.

Эти перестановки вместе образуют группа перестановок, также называемый Группа Галуа полинома, который подробно описывается в следующих примерах.

Первый пример: квадратное уравнение

Рассмотрим квадратное уровненеие

${\displaystyle x^{2}-4x+1=0.}$

Используя квадратичная формула, мы находим, что два корня

${\displaystyle {\begin{aligned}A&=2+{\sqrt {3}},\\B&=2-{\sqrt {3}}.\end{aligned}}}$

Примеры алгебраических уравнений, которым удовлетворяет А и B включают

${\displaystyle A+B=4,}$

и

${\displaystyle AB=1.}$

Если мы обменяем А и B в любом из последних двух уравнений мы получаем другое верное утверждение. Например, уравнение А + B = 4 становится B + А = 4. Вернее, что это справедливо для каждый возможное алгебраическое отношение между А и B так что все коэффициенты находятся рациональный; то есть в любом таком отношении замена А и B дает другое истинное отношение. Это следует из теории симметричные многочлены, которые в этом случае могут быть заменены манипуляциями с формулами с использованием биномиальная теорема. (Можно возразить, что А и B связаны алгебраическим уравнением А − B − 2√3 = 0, что не остается верным, когда А и B обмениваются. Однако здесь это соотношение не рассматривается, поскольку оно имеет коэффициент −2√3 который не рационально.)

Мы заключаем, что группа Галуа многочлена Икс² − 4Икс + 1 состоит из двух перестановок: идентичность перестановка, которая оставляет А и B нетронутый, и транспозиция перестановка, которая обменивает А и B. Это циклическая группа второго порядка, и поэтому изоморфный к Z/2Z.

Аналогичное обсуждение применимо к любому квадратичному многочлену топор² + bx + c, где а, б и c - рациональные числа.

• Если многочлен имеет рациональные корни, например Икс² − 4Икс + 4 = (Икс − 2)², или Икс² − 3Икс + 2 = (Икс − 2)(Икс − 1), то группа Галуа тривиальна; то есть он содержит только тождественную перестановку.
• Если есть два иррациональный корни, например Икс² − 2, то группа Галуа содержит две перестановки, как в приведенном выше примере.

Второй пример

Рассмотрим многочлен

${\displaystyle x^{4}-10x^{2}+1,}$

который также можно записать как

${\displaystyle \left(x^{2}-5\right)^{2}-24.}$

Мы хотим описать группу Галуа этого многочлена снова над полем рациональное число. У многочлена четыре корня:

${\displaystyle {\begin{aligned}A&={\sqrt {2}}+{\sqrt {3}},\\B&={\sqrt {2}}-{\sqrt {3}},\\C&=-{\sqrt {2}}+{\sqrt {3}},\\D&=-{\sqrt {2}}-{\sqrt {3}}.\end{aligned}}}$

Есть 24 возможных способа перестановки этих четырех корней, но не все эти перестановки являются членами группы Галуа. Члены группы Галуа должны сохранять любое алгебраическое уравнение с рациональными коэффициентами, содержащими А, B, C и D.

Среди этих уравнений:

${\displaystyle {\begin{aligned}AB&=-1\\AC&=1\\A+D&=0\end{aligned}}}$

Отсюда следует, что если φ является перестановкой, принадлежащей группе Галуа, мы должны иметь:

${\displaystyle {\begin{aligned}\varphi (B)&={\frac {-1}{\varphi (A)}},\\\varphi (C)&={\frac {1}{\varphi (A)}},\\\varphi (D)&=-\varphi (A).\end{aligned}}}$

Отсюда следует, что перестановка корректно определяется образом А, и что группа Галуа состоит из 4 элементов, а именно:

(А, B, C, D) → (А, B, C, D)

(А, B, C, D) → (B, А, D, C)

(А, B, C, D) → (C, D, А, B)

(А, B, C, D) → (D, C, B, А)

Отсюда следует, что группа Галуа изоморфна группе Кляйн четыре группы.

Современный подход теории поля

В современном подходе каждый начинает с расширение поля L/K (читать "L над K"), и исследует группу автоморфизмы из L это исправление K. См. Статью о Группы Галуа для дальнейшего объяснения и примеров.

Связь между двумя подходами заключается в следующем. Коэффициенты рассматриваемого полинома следует выбирать из базового поля K. Верхнее поле L должно быть полем, полученным путем присоединения корней рассматриваемого многочлена к базовому полю. Любая перестановка корней, которая уважает алгебраические уравнения, как описано выше, приводит к автоморфизму L/K, и наоборот.

В первом примере выше мы изучали расширение Q(√3)/Q, где Q это область рациональное число, и Q(√3) это поле, полученное из Q путем присоединения √3. Во втором примере мы изучали расширение Q(А,B,C,D)/Q.

У современного подхода есть несколько преимуществ перед подходом группы перестановок.

• Это позволяет гораздо проще сформулировать основная теорема теории Галуа.
• Использование базовых полей, отличных от Q имеет решающее значение во многих областях математики. Например, в алгебраическая теория чисел, теория Галуа часто используется числовые поля, конечные поля или местные поля в качестве базового поля.
• Это позволяет легче изучать бесконечные расширения. Опять же, это важно в теории алгебраических чисел, где, например, часто обсуждают абсолютная группа Галуа из Q, определенную как группу Галуа K/Q где K является алгебраическое замыкание из Q.
• Это позволяет учитывать неразделимые расширения. Эта проблема не возникает в классических рамках, поскольку всегда неявно предполагалось, что арифметика имеет место в характеристика нулевая, но ненулевая характеристика часто возникает в теории чисел и алгебраическая геометрия.
• Это устраняет довольно искусственную зависимость от поиска корней многочленов. То есть разные полиномы могут давать одни и те же поля расширения, и современный подход признает связь между этими полиномами.

Разрешаемые группы и решение радикалами

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

Если все фактор-группы в ее композиционном ряду циклические, группа Галуа называется разрешимый, и все элементы соответствующего поля могут быть найдены путем многократного извлечения корней, произведений и сумм элементов из базового поля (обычно Q).

Одним из величайших достижений теории Галуа было доказательство того, что для каждого п > 4, существуют многочлены степени п которые не решаются радикалами (это было независимо доказано аналогичным методом Нильс Хенрик Абель несколько лет назад, и это Теорема Абеля – Руффини ), а также систематический способ проверки того, разрешается ли конкретный многочлен в радикалах. Теорема Абеля – Руффини вытекает из того факта, что для п > 4 то симметричная группа S_п содержит просто, нециклический, нормальная подгруппа, а именно переменная группа А_п.

Неразрешимый пятый пример

Для полинома ж(Икс) = Икс⁵ − Икс − 1, одинокий настоящий корень Икс = 1.1673... является алгебраическим, но не выражается в терминах радикалов. Остальные четыре корня сложные числа.

Ван дер Варден^[10] цитирует многочлен ж(Икс) = Икс⁵ − Икс − 1. Посредством теорема о рациональном корне у этого нет рациональных нулей. У него также нет линейных множителей по модулю 2 или 3.

Группа Галуа ж(Икс) по модулю 2 является циклическим порядка 6, поскольку ж(Икс) по модулю 2 делится на многочлены 2-го и 3-го порядков, (Икс² + Икс + 1)(Икс³ + Икс² + 1).

ж(Икс) по модулю 3 не имеет линейного или квадратичного множителя и, следовательно, неприводим. Таким образом, ее группа Галуа по модулю 3 содержит элемент порядка 5.

Известно^[11] что группа Галуа по простому модулю изоморфна подгруппе группы Галуа над рациональными числами. Группа перестановок на 5 объектах с элементами порядков 6 и 5 должна быть симметричной группой S₅, которая, следовательно, является группой Галуа ж(Икс). Это один из простейших примеров неразрешимого полинома пятой степени. Согласно с Серж Ланг, Эмиль Артин нашел этот пример.^[12]

Обратная задача Галуа

Основная статья: Обратная задача Галуа

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

Пока также не указывается наземное поле, задача не очень сложная, и все конечные группы действительно встречаются как группы Галуа. Чтобы показать это, можно поступить следующим образом. Выберите поле K и конечная группа г. Теорема Кэли Говорит, что г является (с точностью до изоморфизма) подгруппой группы симметричная группа S на элементах г. Выбрать неопределенные {Икс_α}, по одному для каждого элемента α из г, и присоединить их к K получить поле F = K({Икс_α}). Содержащиеся в F это поле L симметричных рациональные функции в {Икс_α}. Группа Галуа F/L является S, по основному результату Эмиля Артина. г действует на F ограничением действия S. Если фиксированное поле этого действия M, то по основная теорема теории Галуа, группа Галуа F/M является г.

С другой стороны, остается открытым вопрос, является ли всякая конечная группа группой Галуа полевого расширения поля Q рациональных чисел. Игорь Шафаревич доказал, что всякая разрешимая конечная группа является группой Галуа некоторого расширения Q. Различные люди решили обратную задачу Галуа для выбранных неабелевых простые группы. Существование решений было показано для всех, кроме, возможно, одного (Группа Матье M₂₃) 26 спорадических простых групп. Существует даже многочлен с целыми коэффициентами, группа Галуа которого является Группа монстров.

Смотрите также

• Группа Галуа для большего количества примеров
• Основная теорема теории Галуа
• Дифференциальная теория Галуа для теории Галуа дифференциальных уравнений
• Теория Галуа Гротендика для обширного обобщения теории Галуа

Заметки

1. Стюарт, Ян (1989). Теория Галуа. Чепмен и Холл. ISBN  0-412-34550-1.
2. Funkhouser 1930
3. Кардано 1545
4. Тиньоль, Жан-Пьер (2001). Теория Галуа алгебраических уравнений. World Scientific. стр.232 –3, 302. ISBN  978-981-02-4541-2.
5. Стюарт, 3-е изд., Стр. xxiii
6. Кларк, Аллан (1984) [1971]. Элементы абстрактной алгебры. Курьер. п. 131. ISBN  978-0-486-14035-3.
7. Вуссинг, Ханс (2007). Генезис абстрактной концепции группы: вклад в историю происхождения абстрактной теории групп. Курьер. п. 118. ISBN  978-0-486-45868-7.
8. Шарлау, Винфрид; Дедекинд, Ильзе; Дедекинд, Ричард (1981). Ричард Дедекинд 1831–1981; eine Würdigung zu seinem 150. Geburtstag (PDF). Брауншвейг: Vieweg. ISBN  9783528084981.
9. Галуа, Эварист; Нойман, Питер М. (2011). Математические сочинения Эвариста Галуа. Европейское математическое общество. п. 10. ISBN  978-3-03719-104-0.
10. ван дер Варден, Современная алгебра (английское изд., 1949 г.), Vol. 1, раздел 61, стр.191
11. Прасолов, В. (2004). "5 Теорема Галуа 5.4.5 (а)". Полиномы. Алгоритмы и вычисления в математике. 11. Springer. С. 181–218. Дои:10.1007/978-3-642-03980-5_5. ISBN  978-3-642-03979-9.
12. Ланг, Серж (1994). Алгебраическая теория чисел. Тексты для выпускников по математике. 110. Springer. п. 121. ISBN  9780387942254.

использованная литература

• Артин, Эмиль (1998) [1944]. Теория Галуа. Дувр. ISBN  0-486-62342-4.
• Беверсдорф, Йорг (2006). Теория Галуа для начинающих: историческая перспектива. Американское математическое общество. Дои:10.1090 / stml / 035. ISBN  0-8218-3817-2.
• Кардано, Джероламо (1545). Артис Магну (PDF) (на латыни).
• Эдвардс, Гарольд М. (1984). Теория Галуа. Springer-Verlag. ISBN  0-387-90980-X. (Оригинальная статья Галуа с обширной историей и комментариями.)
• Фанкхаузер, Х. Грей (1930). «Краткое изложение истории симметричных функций от корней уравнений». Американский математический ежемесячный журнал. 37 (7): 357–365. Дои:10.2307/2299273. JSTOR  2299273.
• "Теория Галуа", Энциклопедия математики, EMS Press, 2001 [1994]
• Джейкобсон, Натан (1985). Базовая алгебра I (2-е изд.). В. Х. Фриман. ISBN  0-7167-1480-9. (Глава 4 дает введение в теоретико-полевой подход к теории Галуа.)
• Джанелидзе, Г .; Борсё, Фрэнсис (2001). Теории Галуа. Издательство Кембриджского университета. ISBN  978-0-521-80309-0. (Эта книга знакомит читателя с теорией Галуа Гротендик, и некоторые обобщения, ведущие к Галуа группоиды.)
• Ланг, Серж (1994). Алгебраическая теория чисел. Берлин, Нью-Йорк: Springer-Verlag. ISBN  978-0-387-94225-4.
• Постников, М. М. (2004). Основы теории Галуа. Dover Publications. ISBN  0-486-43518-0.
• Ротман, Джозеф (1998). Теория Галуа (2-е изд.). Springer. ISBN  0-387-98541-7.
• Фёлькляйн, Гельмут (1996). Группы как группы Галуа: введение. Издательство Кембриджского университета. ISBN  978-0-521-56280-5.
• ван дер Варден, Бартель Леендерт (1931). Современная алгебра (на немецком). Берлин: Springer.. английский перевод (2-го исправленного издания): Современная алгебра. Нью-Йорк: Фредерик Ангар. 1949 г. (Позже переиздано на английском языке компанией Springer под названием «Алгебра».)

внешние ссылки

Некоторые онлайн-руководства по теории Галуа можно найти по адресу:

• http://www.math.niu.edu/~beachy/aaol/galois.html
• http://nrich.maths.org/public/viewer.php?obj_id=1422
• http://www.jmilne.org/math/CourseNotes/ft.html

Онлайн-учебники на французском, немецком, итальянском и английском языках можно найти по адресу:

• http://www.galois-group.net/