Алгебраические расширения полей Введение.
    В педагогических вузах введена программа единого курса алгебры и теории чисел. Главная цель этого курса-изучение основных алгебраических систем и воспитание алгебраической культуры, необходимой будущему учителю для глубокого понимания целей и задач как основного школьного курса математики, так и школьных факультативных курсов.
    На наш взгляд, наиболее целесообразным является введение в школьное преподавание элементов современной абстрактной алгебры.
    Начавшийся в ХХ веке процесс алгебраизации математики не прекращается, а это вызывает упорные попытки введения в школьное математическое образование основных алгебраических понятий.
    Математическая глубина и необычайно широкая сфера применения полей сочетаются с простотой ее основных положений - понятий полей, целый ряд важных теорем можно сформулировать и доказать, обладая начальными представлениями в области теории множеств. Поэтому теория полей как нельзя лучше подходит для того, чтобы показать школьникам образец современной математики.
    Кроме того, изучение элементов теории поля полезно для школьников, способствует их интеллектуальному росту, проявляющемуся в развитии и обогащении различных сторон их мышления, качеств и черт личности, а также воспитанию у учащихся интереса к математике, к науке. 1. Простое алгебраическое расширение поля. 1.1.Простое расширение поля.
    Пусть P[x] - кольцо полиномов от x над полем P, где P - подполе поля F. Напомним, что элемент ? поля F называется алгебраическим над полем P, если ? является корнем какого-нибудь полинома положительной степени из P [x].
    Определение. Пусть P < F и ?(F. Простым расширением поля P с помощью элемента ? называется наименьшее подполе поля F, содержащее множество Р и элемент ?. Простое расширение P с помощью ? обозначается через P (?), основное множество поля P (?) обозначается через Р(?).
    Пусть ?(F, P [x] - кольцо полиномов от x и
    P[x]={f(?)(f(P[x]},
    т. е. P [?] есть множество всех выражений вида a0 + a1?+...+ an?n, где а0, a1,...an(P и n - любое натуральное число.
    Легко видеть, что алгебра (P[a], +, -, ., 1( - подкольцо поля P (?) - является кольцом; это кольцо обозначается символом P [?].
    Теорема 1.1. Пусть P [x]- кольцо полиномов от х над P и P (?)- простое расширение поля P. Пусть ? - отображение P[x] на P[?] такое, что ?(f)=f(?) для любого f из P[x]. Тогда:
    (а) для любого а из Р ? (а) = а;
    (b) ?(x) = ?;
    (с) ? является гомоморфизмом кольца P [x] на кольцо P [?];
    (d) Ker ? ={f(P[x](f(?)=0};
    (е) фактор-кольцо P [x]/Кег ? изоморфно кольцу P [?].
    Доказательство. Утверждения (а) и (Ь) непосредственно следуют из определения ?. Отображение ? сохраняет главные операции кольца P [x], так как для любых f и g из P[x]
    ?(f + g)=f(?)+g(?), ?(fg)= f(?)g(?), ?(1)=1.
    Далее, по условию, ? есть отображение Р[х] на Р[?]. Следовательно, ? является гомоморфизмом кольца P [x] на кольцо P [?].
    Утверждение (d) непосредственно следует из определения отображения ?.
    Поскольку ? - гомоморфизм кольца P [x] на P [?], то фактор-кольцо P[x]/Кег ? изоморфно кольцу P [?].
    Следствие 1.2. Пусть ? - трансцендентный элемент над полем P. Тогда кольцо полиномов P [x] изоморфно кольцу P [?]. ............