Polynom nad konečným tělesem je formální součet tvaru
Zde je nezáporné celé číslo, které se nazývá stupeň polynomu a jsou to prvky algebry , jejichž násobení je dáno pravidly:
Taková definice umožňuje formálně násobit polynomy, aniž by se museli obávat, že různé stupně stejného prvku konečného pole se mohou shodovat [1] [2] .
Jakákoli funkce nad konečným polem může být specifikována pomocí nějakého polynomu (jako je Lagrangeův interpolační polynom ).
Polynom stupně m má přesně m kořenů (počítající násobnost), které patří do nějakého rozšířeného pole . Jestliže , kde je prvočíslo, pak . Na základě vlastností konečných těles je každý prvek pole kořenem binomu :
Kořeny polynomu jsou tedy zároveň kořeny binomu [10] .
Bezoutova věta a její důsledky jsou platné:
Zbytek po dělení je . |
Jestliže je kořen , pak dělí . |
Pokud jsou podstatou kořeny , pak |
Následující věty jsou také pravdivé:
Věta 1 . Jestliže je kořen , pak je také kořen [11] . |
Věta 2 . Konjugované prvky Galoisova pole mají stejné pořadí [9] . |
Důsledkem věty 1 může být skutečnost, že jestliže je kořenem polynomu nad polem , pak a jsou jeho kořeny.
Definice: Cyklotomická třída nad polem generovaným nějakým prvkem je množina všech odlišných prvků , které jsou mocninami [12] .
Jestliže je primitivním prvkem [13] (např. prvek pro ) pole , pak cyklotomická třída nad polem bude mít přesně prvky.
Je třeba poznamenat, že jakýkoli prvek z cyklotomické třídy může generovat tuto a pouze tuto třídu, a v důsledku toho patří pouze do ní.
Příklad 1. Dovolit , a být primitivní prvek pole , to je , pro . Uvážíme-li také , že můžeme získat rozklad všech nenulových prvků pole do tří cyklotomických tříd nad polem :
Příklad 2. Podobně můžete vytvořit třídy na poli nad polem , tedy . Nechť je primitivní prvek pole , tedy .
Následující věta zakládá spojení mezi cyklotomickými třídami a rozkladem polynomu na neredukovatelné polynomy nad polem .
Věta 3. Nechť cyklotomická třída generovaná prvkem a polynomem má za kořeny prvky této cyklotomické třídy, tzn. Pak koeficienty polynomu leží v poli a samotný polynom je nad tímto polem neredukovatelný. |
Takový důsledek lze vytvořit z věty 3 . Z vlastnosti konečných těles, která říká, že všechny nenulové prvky tělesa jsou kořeny polynomu , můžeme usuzovat, že polynom lze rozložit na polynomy neredukovatelné přes pole , z nichž každý odpovídá své vlastní cyklotomické třídě. [14] .
Definice . Pořadí kořenů ireducibilního polynomu se nazývá exponent, ke kterému tento polynom patří. Ireducibilní polynom se nazývá primitivní , pokud všechny jeho kořeny generují prvky multiplikativní grupy pole [15] . |
Všechny kořeny primitivního polynomu mají řád rovný řádu multiplikativní grupy rozšířeného pole , tj. [11] .
Nechť existuje generující prvek multiplikativní grupy pole a jeho pořadí je , tj . Nechť všechny prvky řádu jsou kořeny polynomu . Pak se takový polynom nazývá kruhový a rovnost [16] je pravdivá :
Mezi polynomy nad konečnými tělesy se zvláště rozlišují Zhegalkinovy polynomy . Jsou to polynomy mnoha proměnných nad polem [17] .
Pomocí takového polynomu můžete zadat libovolnou booleovskou funkci [18] , a to jedinečným způsobem [17] [19] .
Existuje mnoho algoritmů, které používají polynomy nad konečnými poli a kruhy.
Také polynomy nad konečnými poli se používají v moderním kódování pro opravu chyb [20] (pro popis cyklických kódů [21] a pro dekódování Reed-Solomonova kódu pomocí Euklidova algoritmu [22] ), generátory pseudonáhodných čísel [23] (implementováno pomocí posuvných registrů ) [24] , šifrování streamování [25] a algoritmy kontroly integrity dat.