- •1.1.Простое расширение поля.
- •4. Конечное расширение поля.
- •5. Минимальные алг. Элементов и их свойства
- •6. Степень и базис простого алгебраического расширения.
- •7. Исключение ирр. В знаменателе(через векторные пространства)
- •8. Исключение ирр. В знаменателе(через минимальный многочлен)
- •9. Конечно порождённые расширения. Определения и строение.
- •10. Алгебраические расширения.
- •12. Поле алгебраических чисел.
- •11. Алгебраичность алгебраического расширения алгебраического расширения.
- •13. Алгебраически замкнутые поля. Алгеброич. Замык. Поля рац.Чисел
- •14. Группы. Определение, прим., с-ва.
- •17. Подгруппы. Первый критерий подгруппы.
- •18. Подгруппы. Второй критерий подгруппы.
- •19. Подгруппы. Третий критерий подгруппы.
- •20. Отношение эквивалентности, задаваемое подгруппой на группе. Фактор-множество группы по подгруппе
- •21. Левые смежные классы элементов группы по подгруппе и классы эквивалентности.
- •22. Нормальные делители группы. Операции со смежными классами по нормальному делителю. Корректность определения операции.
- •23. Фактор-множество группы по нормальному делителю.
- •24. Гомоморфизмы групп. Определение, примеры, простейшие свойства.
- •25. Гомоморфный образ подгруппы
- •26. Прообраз подгруппы при гомоморфизме
- •27.Прообраз нормального делителя при гомоморфизме
- •28. Композиция гомоморфизмов
- •29.Изоморфизм групп. Определения, примеры, простейшие свойства.
- •30. Свойства вложений групп
- •33.Теорема Лагранжа
- •34.Группа подстановок
- •38. Циклические подгруппы и группы.
- •39. Кольца
- •40. Подкольца. Определение, примеры, простейшие свойства. Критерий подкольца.
- •41.Идеалы колец .Определение. Корректность определения.
- •42.Критерий идеала.
- •43.Операции с идеалом .Определение. Корректность определения.
- •45. Главные идеалы. Кольца главных идеалов. Определение и примеры.
- •46. Естесственный гомоморфизм кольца на его фактор-кольцо.
- •47. Максимальные идеалы. Фактор-кольцо по максимальному идеалу.
- •48. Простые идеалы. Фактор-кольцо по простому идеалу.
- •52 Теорема о примитивном элементе
- •53. Квадратичные расширения полей
5. Минимальные алг. Элементов и их свойства
1. Для любого алгебраического элемента из поля F существует неприводимый унитарный многочлен Р(Х)Э Р[х], корнем которого является z.
Док. Z- алгебраический над Р, значит существует f(x) ∈Р[х] , f(x)не равный 0,f(z)=0. Если он равен 0, значит f=an∙pi[x] ∙…….∙ps[x], где аn- старший коофициент в f. Все рi- неприводимые и унитарные.
f(z)=pi(z) ∙………..∙ps(z), ps(z0=0,значит существует pi(z)=0 . pi(x) – искомый.
2 Неприводимый унитарный многочлен от х такой, что p[x]-называется минимальным многочленом эл. z. Пусть p[x]- минимальный многочлен, f(x) ∈p[x] значит f(z)=0 , f(x ) кратен p(x).
Пусть f(x ) кратен p(x), тогда f(x)=p(x) ∙q(x) и f(z)=p(z) ∙q(z)=0 , q(z)=0 и f(z)=0
Пусть f(x ) не кратен p(x), р(х)-неприводимый .Любой многочлен либо кратен неприводимому, либо взаимопрост с ним. НОД(f(x); p(x)=1
u(x)∙f(x)+v(x) ∙p(x)=1 и если p(z)=0, то u(z) ∙f(z)=1 и f(z) не равно 0.
3 У каждого алгебраического элемента существует только один минимальный многочлен.
ДОК. Если p(z) и q(z) минимальные мн. элемента z . Если q(х) минимальный то p(х) кратен q(х), если p(z) минимальный то q(х) кратен p(х). Значит p(х)= q(х).
6. Степень и базис простого алгебраического расширения.
Опр:
Пусть
-
расширение поля
и z
.
Обозначим через
=
Опр: называется простым расширением поля с помощью «примитивного» эл-та z.
Опр:
подполе
Эл-т z
называется алгебраическим над
,
если
такой ненулевой многочлен
,
что f(z)=0
(является корнем f(x)).
Если эл-т не является алгебраическим,
то его называют трансцендентным над
Опр:
Рассм.
как линейное пространство на
.Если это пр-во имеет конечную размерность
n=
,
то говоря, что
,
расширение степени
поля
.
Обозначим n=[
]
– степень расширения.
Т: Конечное расширение конечного расширения является конечным расширением.
Пусть
.
[
]=m
базис
над
[
]=n
базис
над
Тогда
мн-вом таких произведений
, i=1,
,
j=1,
является базис расширения.
над
и при этом степень расширения [
]=m
n=[
]
[
]
Док-во: 1) Докажем, что система – полна.
-
базис
над
f=
,
-
базис
над
f=
2) Докажем линейную независимость.
,
Но
– это базис над
=> лин. независим. Это означает, что для
Но
– это базис над
значит для лин. независим =>
=0
=> тривиальная лин. комбинация => лин.
независ.
7. Исключение ирр. В знаменателе(через векторные пространства)
Если дано f(z)/g(z) и z алгебраическое над Р, р(z) наименьший полином степень которого равна n, то расширение P(z) над Q имеет размерность n и базисом является 1, z,z2,z3,……..,zn-1. Значит эта дробь единственным образом раглагается в виде а0, а1z,а2z2,а3z3,……..,аn-1zn-1, если минимальный многочлен эл-та z имеет степень n.Освободится от ирр. в знаменателе α/α-1 если а корень f(z)=x3+x-3. Базис 1, α, α2. α/α-1=А∙1+В∙α+С∙α2 α= (А∙1+В∙α+С∙α2)∙( α-1)
α=А∙α+ В∙α2+ С∙α3-A –B∙α-C∙α2
выразим α3 через f(z). α3=3-α, подставим: α=α2∙ (B-C)+ α∙ (A-C-B)+3∙C – A
составим систему уравнений из коофициентов при а и решим ее.
B-C=0
B=C
B=1
A-C-B=1 A=3C A=3 и подставим полученные коофициенты: α/α-1=3+ α+α2
3C-A=0 3C-C-C=1 C=1
