Розширення Галуа

Шаблон:UniboxРозширення Галуа — алгебричне розширення $E/K$, що є нормальним і сепарабельним, тобто алгебричне розширення, для якого нерухоме поле групи автоморфізмів $\mathrm{Aut}(E/K)$ збігається з $K$.

Важливість розширень Галуа полягає в тому, що для них існує група Галуа, й тому виконується основна теорема теорії Галуа.

Пов'язані визначення

Група автоморфізмів факторгрупи $E/K$ — це підгрупа групи $\mathrm{Aut}E$, яка складається з тих автоморфізмів групи $E$, що переводять елементи підмножини $K$ в себе. Позначається $\mathrm{Aut}(E/K)$.

Для розширення Галуа, група автоморфізмів називається групою Галуа та позначається $\mathrm{Gal}(E/K)$ чи $\mathrm{G}(E/K)$.

Якщо група $\mathrm{Gal}(E/K)$ є абелевою, циклічною тощо, то розширення Галуа називається відповідно абелевим, циклічним тощо.

Властивості

• За цих умов $E$ матиме найбільшу кількість автоморфізмів над $K$, якщо $E$ — скінченне розширення:

$|\mathrm{Aut}(E/K)|=[E:K]$ кількість автоморфізмів дорівнює степеню розширення.

• $E$ — поле розкладу многочлена з коефіцієнтами з $K$.

Іноді розглядають групу Галуа для розширення $E$, яке є сепарабельним, але необов'язково нормальним. В цьому випадку під групою Галуа $E/K$ розуміють групу $\mathrm{Gal}(M/K)$, де $M$ — нормальне замикання $K$, що містить $E$ (у скінченному випадку, коли сепарабельне розширення є простим $E=K(\alpha )$ для деякого α, що є коренем незвідного многочлена $f(x)$ над $K$. $M$ є полем розкладу цього многочлена).

Див. також

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

Література

• Шаблон:Ван.дер.Варден.Алгебра
• Шаблон:Зарисский.Самюэль.Коммутативная алгебра.том1
• Шаблон:Ленг.Алгебра