主題
Search

加法多項式


k 為有限特徵 p。則稱 多項式 P(x) in k[x] 是加法的,當且僅當對於 {a,b,a+b} subset k,有 P(a)+P(b)=P(a+b) 成立。例如,P(x)=x^2+x+4 對於 x in {1,2} 是加法的,因為

 P(1)+P(2)=P(1+2).

一類更有趣的加法多項式,被稱為絕對加法多項式,定義在 k^_ 上,其中 k 的代數閉包。例如,對於任何這樣的 ktau_p(x)=x^p 是一個絕對加法多項式,因為對於 j=0, ..., p-1,有 (p; j)=0 (mod p) 成立。多項式 tau_p^i(x)=x^(p^i) 也是絕對加法的。

設由 tau_p^i 的線性組合張成的多項式記為 k{tau_p}。如果 k!=F_p,則 k{tau_p} 不是交換的。

並非所有加法多項式都在 k{tau_p} 中。特別地,如果 k 是一個無限域,則 多項式 P(x) in k[x] 是加法的,當且僅當 P(x) in k{tau_p}。對於特徵為 p 的有限域 kk 上的絕對加法多項式的集合等於 k{tau_p},因此可以省略 “絕對” 的限定,而單獨使用術語 “加法” 來指代 k{tau_p} 的元素。

如果 p 是一個固定的冪 r=p^(k_0)tau=tau_p^(k_0),則 k{tau}tau 中的多項式環。此外,如果 P(x) in k{tau},則對於所有 a in F_r,有 P(ax)=aP(x)。在這種情況下,稱 PF_r-線性多項式。

加法多項式的基本定理指出,如果 P(x) in k[x] 是一個可分多項式,且 {omega_1,...,omega_n} subset k 是其根的集合,則 P(x) 是加法的,當且僅當 {omega_1,...,omega_n} 是一個子群

因此,作為推論,這樣的多項式 P(x)F_r-線性的,當且僅當它的根形成 F_r-向量子空間 k


另請參閱

多項式

此條目由 José Gallardo Alberni 貢獻

使用 探索

參考資料

Goss, D. Basic Structures of Function Field Arithmetic. Berlin: Springer-Verlag, 頁 1-33, 1996.

在 上被引用

加法多項式

請引用為

Alberni, José Gallardo. "Additive Polynomial." 來自 -- 資源,由 Eric W. Weisstein 建立. https://mathworld.tw/AdditivePolynomial.html

主題分類