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) K[x] kertoimia voidaan ajatella myös kunnan K[x]/I alkioina. Koska symboli x sai merkityksen kunnan K[x] alkioiden merkinnässä, käytetään symbolia y polynomien yli kunnan K[x]/I muuttujana. Siis p(y) (K[x]/I)[y]. Polynomin p(y) nollakohta on x + I K[x]/I, sillä käyttäen jäännösluokkien laskusääntöjä saadaan
Linkit:
|