Stránky: 1
Offline
GF(2) je těleso "mod 2" (má cenu ho přesdstavovat?)
Je-li T těleso, pak T[x] je obor integrity polynomů nad T.
Je-li X nějaká struktura (např. obor integrity), R kongruence, je T/R nějaká "faktorstruktura", kde jednoduše řečeno, sdružíme ekvivalentní prvky X do jejidého prvku. Existuje vícero zápisů této skutečnosti - kdy R je nahraženo nějakým prvkem "specifickým" pro danou relaci (např. v našem případě polynomem f, kde xRy právě když f dělí x-y).
Z tohoto pohledu by <x> měl být prostě rozklad podle polynomu x, ale to se mi moc nezdá... Nemá místo <x> být <f>?
Offline
Stránky: 1