Основна теорема теорії Галуа

Основна теорема теорії Галуа — у теорії полів теорема про властивості розширень Галуа.

Нехай — скінченне розширення Галуа. Основна теорема вказує взаємно-однозначну відповідність між множиною проміжних полів H виду і множиною підгруп групи Галуа даного розширення.

Твердження теореми

Відповідності Галуа

Нехай — розширення поля і — підгрупа автоморфізмів поля E, що залишають всі елементи підполя F нерухомими. Якщо — деяке проміжне поле то можна ввести підгрупу:

Для будь-якої підгрупи D групи можна ввести відповідне їй підполе:

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

Твердження теореми

Нехай — скінченне розширення Галуа. Тоді (з позначеннями як і вище):

• Для всіх проміжних полів і для всіх підгруп групи Галуа .

• Проміжне підполе є нормальним розширенням поля тоді і тільки тоді коли є нормальною підгрупою групи Галуа . У цьому випадку група є ізоморфною факторгрупі .

Приклад 1

Ґратка підполів і відповідна ґратка підгруп

Розглянемо поле . Кожен його елемент можна записати у вигляді

де a, b, c, d — раціональні числа. Розглянемо автоморфізм розширення , оскільки це розширення породжується і , будь-який автоморфізм однозначно визначається їх образами. Автоморфізм будь-якого розширення має тільки переставляти місцями корені многочлена над меншим полем, отже, в даному випадку всі можливі нетривіальні автоморфізми це перестановка і (позначимо цей автоморфізм ), перестановка і (автоморфізм ) і їх композиція . Більш точно, ці перетворення задаються наступним чином:

Очевидно, що ці відображення є бієктивними і переводять суму в суму, отже, для перевірки рівності досить перевірити його на парах базисних елементів, що також тривіально. Таким чином, група Галуа даного розширення — 4-група Клейна:

Вона має три нетривіальні підгрупи:

• Автоморфізми з підгрупи {1, f} фіксують елементи проміжного поля .
• Автоморфізми з {1, g} фіксують .
• Автоморфізми з {1, fg} фіксують .

Приклад 2

Ґратка підгруп і підполів

У цьому прикладі група Галуа не є комутативною.

Розглянемо поле розкладу K многочлена над тобто, де θ є кубічним коренем 2, і ω є кубічним коренем 1 (не рівним 1). Наприклад можна взяти (дійсний кубічний корінь), і

Група Галуа має шість елементів, і є ізоморфною групі перестановок трьох елементів. Її можна згенерувати двома елементами f і g, які визначаються за допомогою їх дії на θ і ω,

і тому

Підгрупами G і відповідними підполями є:

• Уся група G, що відповідає базовому полю і тривіальна група {1}, що відповідає усьому полю K.

• Підгрупа порядку 3 з елементами Відповідним підполем є яке є розширенням степеня 2 над (мінімальний многочлен елемента ω є ), що є рівним індексу підгрупи у групі G. Також ця підгрупа є нормальною, і тому відповідне підполе є нормальним розширенням поля

• Три підгрупи порядку 2, а саме і . Їм відповідають три підполя Ці підполя є розширеннями степеня 3 над . Ці підгрупи не є нормальними у G і тому підполя теж не є нормальними розширеннями над Наприклад, містить лише один корінь многочлена .

Приклад 3

Нехай — поле раціональних функцій аргумента і

З операцією композиції відображень є групою ізоморфною . Нехай — фіксоване поле групи , тоді .

Якщо є підгрупою то коефіцієнти многочлена

породжують фіксоване поле групи . Відповідність Галуа означає, що кожне проміжне поле у може бути одержание таким чином. Наприклад якщо то фіксованим полем є , якщо то фіксованим полем є .

Застосування

Основна теорема зводить питання існування проміжних полів до питання про існування підгруп деякої скінченної групи (так як порядок групи Галуа дорівнює розмірності розширення), багато завдань теорії Галуа вирішуються простим застосуванням основної теореми.

Наприклад, питання про можливість розв'язання рівняння в радикалах зазвичай формулюють так: чи можна записати корені даного многочлена через його коефіцієнти, використовуючи лише арифметичні операції і операцію одержання кореня n-го степеня. Мовою теорії полів це питання можна сформулювати так: розглянемо поле F, породжене коефіцієнтами многочлена і поле E, отримане приєднанням його коренів. Чи існує такий ланцюжок проміжних полів

що , де — корінь рівняння , причому поле містить всі корені рівняння . В цьому випадку можна довести, що відповідний ряд підгруп групи Галуа має властивість, що факторгрупа існує і є циклічною. Групи, для яких існує хоча б один ряд з такою властивістю, називаються розв'язними. Таким чином, рівняння розв'язується в радикалах тоді і тільки тоді, коли його група Галуа є розв'язною. Такі теорії, як теорія Куммера і теорія полів класів, ґрунтуються на фундаментальній теоремі теорії Галуа.

Див. також

• Група Галуа
• Нормальне розширення
• Розширення Галуа
• Сепарабельне розширення
• Теорія Галуа

Література

• Дрозд Ю. А. (1997). Теорія Галуа. Київ: РВЦ “Київський університет„. ISBN 966-594-022-8.  (укр.)
• Е. Артін, Теорія Галуа; пер. з нім. (В.А. Вишенського). - Київ : Радянська школа, 1963. - 98 с. (укр.)
• Garling, D.J.H. (1986). A Course in Galois Theory. Cambridge University Press. ISBN 0-521-31249-3. 
• Howie, John Mackintosh (2006), Fields and Galois Theory, London: Springer, ISBN 1852339861