Kuntalaajennus polynomirenkaassaMääritelmä. Jos (K, +, . ) on kunnan (L, +, . ) alikunta, sanotaan, että (L, +, . ) on kunnan (K, +, . ) laajennuskunta tai kuntalaajennus (extension field, field extension). Olkoon (K, +, . ) kunta ja p(x) jaoton polynomi yli kunnan K. Lause. Kunnalla (K[x]/ < p(x) >, +, . ) on alikuntana (K', +, . ), joka on isomorfinen kunnan (K, +, . ) kanssa. Kun samaistetaan kunnat K ja K' on kunta K[x]/ < p(x) > kunnan K laajennus. Tässä laajennuksessa polynomilla p(x) on nollakohta.
Todistus. Merkitään I =< p(x) >, siis I on jaottoman polynomin generoima pääihanne. Kuvaus ![]() on kuntahomomorfismi. Jätetään asian tarkistaminen harjoitukseksi. Sivun Huomioita kunnasta toisen lauseen mukaan kuvauksen j kuva K' = Im (j) on isomorfinen kunnan K kanssa. Koska K' on isomorfinen kunnan kanssa, on se itsekin kunta, joten se on kunnan K[x]/I alikunta. Siis ![]() Kuntien K ja K' samaistaminen tarkoittaa nyt, että kunnan K alkiot samaistetaan jäännösluokkiin a + I. Erityisesti siis polynomin p(x) ![]()
Linkit:
|