A véges mező feletti polinom az alak formális összege
Itt van egy nem-negatív egész szám, amelyet a polinom fokának neveznek , és az algebra azon elemei , amelyek szorzását a szabályok megadják:
Egy ilyen definíció lehetővé teszi a polinomok formális szorzását anélkül, hogy attól kellene tartani, hogy a véges mező ugyanazon elemének különböző fokai egybeeshetnek [1] [2] .
Egy véges mező felett bármely függvény megadható valamilyen polinom segítségével (például a Lagrange interpolációs polinom ).
Egy m fokú polinomnak pontosan m gyöke van (a multiplicitást számolva), amelyek valamely kiterjesztett mezőhöz tartoznak . Ha , hol a prím, akkor . A véges mezők tulajdonságai alapján a mező bármely eleme a binomiális gyöke :
Így a polinom gyökerei egyben a binomiális gyökerei is [10] .
Bezout tétele és következményei érvényesek:
Az elosztás után a maradék . |
Ha gyök , akkor oszt . |
Ha a lényeg a gyökerek , akkor |
A következő tételek is igazak:
1. tétel . Ha gyök , akkor gyök is [11] . |
2. Tétel . A Galois-mező konjugált elemei azonos sorrendűek [9] . |
Az 1. Tétel következménye lehet, hogy ha egy polinom gyöke a mező felett , akkor és annak gyökei.
Definíció: Egy bizonyos elem által generált mező feletti ciklotómikus osztály az összes különálló elem halmaza, amely hatvány [12] .
Ha a mező primitív eleme [13] (olyan eleme, mint a ) , akkor a mező feletti ciklotomikus osztálynak pontosan lesznek elemei.
Megjegyzendő, hogy egy ciklotómikus osztály bármely eleme létrehozhatja ezt, és csak ezt az osztályt, következésképpen csak ehhez az osztályhoz tartozik.
Példa 1. Legyen , és a mező primitív eleme , azaz for . Figyelembe véve azt is , hogy a mező összes nullától eltérő elemét három ciklotómikus osztályra bonthatjuk a mezőn keresztül :
2. példa Hasonlóképpen építhet osztályokat a mezőre a mező fölé , azaz . Legyen tehát a mező primitív eleme .
A következő tétel kapcsolatot létesít a ciklotómikus osztályok és egy polinom irreducibilis polinomokra való felbontása között egy mezőn keresztül .
3. Tétel. Legyenek egy elem és egy polinom által generált ciklotomikus osztály gyökei ennek a ciklotómikus osztálynak az elemei, azaz. Ekkor a polinom együtthatói a mezőben vannak , és maga a polinom irreducibilis ezen a területen. |
A 3. Tételből megállapítható egy ilyen következmény . A véges mezők tulajdonságából, amely szerint a mező minden nem nulla eleme a polinom gyöke , arra a következtetésre juthatunk, hogy a polinom felbontható a mező felett irreducibilis polinomokra , amelyek mindegyike megfelel a saját ciklotomikus osztályának. [14] .
Meghatározás . Egy irreducibilis polinom gyökeinek sorrendjét nevezzük annak a kitevőnek, amelyhez ez a polinom tartozik. Egy irreducibilis polinomot primitívnek nevezünk, ha minden gyöke a mező multiplikatív csoportjának generáló eleme [15] . |
Egy primitív polinom minden gyökének sorrendje megegyezik a kiterjesztett mező multiplikatív csoportjának sorrendjével , azaz [11] .
Legyen a mező multiplikatív csoportjának generáló eleme, melynek sorrendje , azaz . Legyen a rend minden eleme a polinom gyöke . Ekkor egy ilyen polinomot körkörösnek nevezünk, és a [16] egyenlőség igaz :
A véges mezők feletti polinomok közül a Zhegalkin-polinomok különösen megkülönböztethetők . Ezek sok változó polinomjai a mezőben [17] .
Egy ilyen polinom segítségével bármilyen logikai függvényt megadhatunk [18] , és egyedi módon [17] [19] .
Sok olyan algoritmus létezik, amely véges mezők és gyűrűk felett polinomokat használ.
Valamint a véges mezők feletti polinomokat használják a modern hibajavító kódolásban [20] ( ciklikus kódok leírására [21] és a Reed-Solomon kód dekódolására az Euclid algoritmus [22] segítségével ), pszeudo-véletlenszám-generátorokban [23]. ( Shift regiszterekkel valósítva meg ) [24] , streaming titkosítással [25] és adatintegritás-ellenőrző algoritmusokkal.