Linearised polynomial: Difference between revisions

Content deleted Content added
References: authorlink Harald Niederreiter (but someone else needs to take care of updating the footnotes for the change from 1st ed. 1983 to 2nd ed. 1997)
Line 28:
 
==q-polynomials over '''F'''<sub>''q''</sub>==
Linearised polynomials with coefficients in '''F'''<sub>''q''</sub> have additional properties which make it possible to define symbolic division, symbolic reducibility and symbolic factorizatonfactorization. Two important examples of this type of linearised polynomial are the Frobenius automorphism <math>x \mapsto x^q</math> and the trace function <math>\operatorname{Tr}(x) = \sum_{i=0}^{n-1} x^{q^i}</math>.
 
In this special case it can be shown that, as an [[Operation (mathematics)|operation]], symbolic multiplication is [[Commutative property|commutative]], [[associative]] and [[Distributive property|distributes]] over ordinary addition.<ref>{{harvnb|Lidl|Niederreiter|1983|loc=pg. 115 (first edition)}}</ref> Also, in this special case, we can define the operation of '''symbolic division'''. If ''L''(''x'') and ''L''<sub>1</sub>(''x'') are linearised polynomials over '''F'''<sub>''q''</sub>, we say that ''L''<sub>1</sub>(''x'') ''symbolically divides'' ''L''(''x'') if there exists a linearised polynomial ''L''<sub>2</sub>(''x'') over '''F'''<sub>''q''</sub> for which: