$m_FF<sub>9</sub> es un cuerpo finito de característica 3. 
Contiene el cero 0 y la unidad 1, y elementos no nulos de $m_FF<sub>9</sub>
foman un grupo cíclico multiplicativo de orden 8. Denotamos por $r un 
generador de este grupo. Observamos que $r<sup>4</sup> = -1.
<p>
$r es por tanto una raíz del polinomio X<sup>4</sup>+1. Como <p><center>
!htmlmath X^4+1 = (X^2+X-1)(X^2-X-1)
</center> <p>
en característica 3, 
existen dos opciones diferentes para $r. En nuestra presentación, tomamos para
$r una raíz de X<sup>2</sup>-X-1, de ahí que 1+$r=$r<sup>2</sup>.
<p>
