Michela Ceria edited section_Bytes_The_polynomials_in__.tex  about 6 years ago

Commit id: 834fdac4f0e0c88ac29d5f87ca2c8f673c8723c8

deletions | additions      

       

$$  A \,=\, \{ 0,1,x,x+1,\ldots,x^{n-1},x^{n-1}+1,\ldots,x^{n-1}+x^{n-2}+\cdots+x+1\} \,.  $$  We will denote $A=\FF_{2^n}$.\\  Also in this general setting, we can sum and multiply. The sum is obvious, the multiplication  may require some divisions by $g$ before we can arrive at a small-degree polynomial. 

We define $\FF_{256}:=\{p \in \Fb[x] \vert \deg(p) <8\}$.  As explained above $\FF_{256}$ is the set of the remainders of divisions by $g$, i.e.  $\FF_{256}=\{0,1,,x,x+1,\ldots,x^5+x^4+x^3+x^2+x+1\}. $\\  It is possible to prove that for each $n$, $\FF_{2^n}$ is a field, i.e. that for each $f\in \FF_{2^n}$, $f \neq 0$, there is an element $h \in \FF_{2^n}$ such that $hf=fh = 1$ in $\FF_{2^n}$. Such an element $h$ is called \emph{inverse} of $f$.  The following fact holds   \begin{Theorem}  The finite set $A=\FF_{2^n}$ $A$  is a field if and only if $p$ is an irreducible polynomial. \end{Theorem}  We will denote $A=\FF_{2^n}$.\\  \begin{Example}  \textbf{Nota (M)}: non capisco cosa intendi comunicare con l'esempio...