F bir sonlu cisim ve
K da bo sonlu cisimin sonlu bir genislemesi olsun. Bu durunda
α∈K elemaninin izini
Tr(α)=∑σ∈Gal(K/F)σ(α)
olarak ve doyunu (normunu)
N(α)=∏σ∈Gal(K/F)σ(α)
olarak tanimliyoruz.
Eger
[K:F]=n ise
xn−Tr(α)xn−1+⋯+a1x+(−1)nN(α)∈F[x] olacak sekilde
α elemanini sifirlayan bir polinom mevcut. Yani
Tr(α) ve
N(α) fonksiyonlarini bu sekilde bulabiliriz, belki de tanimlayabiliriz.
Cebir iceisinde daha genel manada (genislemeler ayrisabilir olmak zorunda degil, en genel manada) iz ve boy nedir? Bu fonksiyonlari nasil gormeliyiz? Bu fonksiyonlarin islevleri nelerdir?