Конечно порождённое расширение

Коне́чно порождённое расшире́ние по́ля $K$ — расширение $E$ поля $K$ , такое, что в $E$ существуют элементы $\alpha _{1},\dots ,\alpha _{n}$ такие, что $E=K(\alpha _{1},\ldots ,\alpha _{n})$ . Элементы $E$ суть алгебраические дроби ${\frac {f(\alpha _{1},\dots ,\alpha _{n})}{g(\alpha _{1},\ldots ,\alpha _{n})}}$ , где $f$ и $g$ — многочлены. Если $n=1$ , то расширение $K(\alpha )$ называется простым.

Свойство конечно порождённых расширений

Если конечно порождённое расширение $E=K(\alpha _{1},\ldots ,\alpha _{n})$ алгебраично над $K$ , то оно конечно.

Для простого алгебраического расширения $E=K(\alpha )$ это следует из того, что множество значений многочленов от $\alpha$ $K[\alpha ]$ является не только кольцом, но и полем. Действительно, пусть $g(\alpha )\neq 0$ . Тогда многочлен $g(x)$ не делится на $p(x)$ — минимальный многочлен $\alpha$ над $K$ . Но $p(x)$ — неприводимый многочлен, значит $g(x)$ и $p(x)$ взаимно просты. Отсюда следует, что существуют такие многочлены $a(x)$ и $b(x)$ над $K$ , что $a(x)p(x)+b(x)g(x)=1$ . Подставляя в это равенство $\alpha$ имеем $b(\alpha )g(\alpha )=1$ , то есть $g(\alpha )$ обратим и $K[\alpha ]$ является искомым полем $K(\alpha )$ . Таким же образом деля $f(x)$ на $p(x)$ получаем, что если $p(x)$ имеет степень $n$ , то $[E:K]=n$

Для расширения от нескольких элементов имеем: $K(\alpha _{1},\alpha _{2},\ldots \alpha _{n})=K(\alpha _{1})(\alpha _{2})\ldots (\alpha _{n})$ . Элементы $\alpha _{i}$ будучи алгебраическими над $K$ остаются таковыми и над большим полем $K(\alpha _{1})\ldots (\alpha _{i-1})$ . Далее применяем теорему о башне конечных расширений.

Литература

Ван дер Варден Б. Л. Алгебра -М:, Наука, 1975
Зарисский О., Самюэль П. Коммутативная алгебра т.1 -М:, ИЛ, 1963
Ленг С. Алгебра -М:, Мир, 1967

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.