Polynom nad konečným polem

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 ).

Související definice

Polynomiální kořeny

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] .

Cyklotomická třída

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říklady cyklotomických tříd

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 .

Spojení s kořeny polynomů

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] .

Typy polynomů

Primitivní polynomy

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] .

Kruhové polynomy

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á :

Zhegalkinovy ​​polynomy

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] .

Aplikace

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.

Viz také

Poznámky

  1. Akritas, 1994 , s. 146.
  2. 1 2 3 Blahut, 1986 , str. 88.
  3. Blahut, 1986 , s. 90.
  4. Blahut, 1986 , s. 91.
  5. 1 2 Blahut, 1986 , str. 89.
  6. 1 2 Sagalovich, 2014 , str. 79.
  7. Sagalovich, 2014 , str. 93.
  8. Blahut, 1986 , s. 104.
  9. 1 2 Sagalovich, 2014 , str. 101.
  10. Sagalovich, 2014 , str. 82.
  11. 1 2 Sagalovich, 2014 , str. 96.
  12. Sagalovich, 2014 , str. 105.
  13. Blahut, 1986 , s. 99.
  14. Sagalovich, 2014 , str. 97.
  15. Blahut, 1986 , s. 103.
  16. Sagalovich, 2014 , str. 102.
  17. 1 2 Yablonsky, 1986 , str. 32.
  18. Yablonsky, 1986 , s. 12.
  19. Gabidulin, Kshevetsky, Kolybelnikov, 2011 , str. 81.
  20. Sagalovich, 2014 , str. 169-172.
  21. Blahut, 1986 , s. 116-121.
  22. Blahut, 1986 , s. 223-228.
  23. Gabidulin, Kshevetsky, Kolybelnikov, 2011 , str. 77-83.
  24. Alferov, Zubov, Kuzmin et al., 2005 , str. 251-260.
  25. Gabidulin, Kshevetsky, Kolybelnikov, 2011 , str. 74-83.

Literatura