Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques et en théorie des codes correcteurs d'erreur, les codes de Goppa, aussi appelé codes de géométrie algébrique, sont une généralisation des codes de Reed-Solomon. Les codes de Goppa sont construits à partir d'une courbe algébrique ${\displaystyle C}$ sur un corps fini ${\displaystyle F}$. Dans le cas des codes de Reed-Solomon, la courbe en question est la droite projective, alors que les codes de Goppa généraux utilisent des courbes de genre plus élevé. De tels codes ont été proposés par V. D. Goppa. Parmi la famille des codes de Goppa, les codes dits hermitiens peuvent remplacer avantageusement les codes de Reed-Solomon.

Il ne faut pas confondre les codes de Goppa géométriques avec les codes de Goppa classiques, qui ne reposent pas sur la théorie des courbes algébriques sur les corps finis.

Posons ${\displaystyle C}$ une courbe algébrique projective non-singulière irréductible. Fixons ${\displaystyle n}$ points rationnels de ${\displaystyle C}$:

${\displaystyle P_{1},P_{2},...,P_{n}}$

et soit ${\displaystyle D}$, un diviseur de ${\displaystyle C}$, sur ${\displaystyle F}$, dont le support ne contient aucun des ${\displaystyle P_{i}}$.

Il existe un sous-espace vectoriel de dimension finie ${\displaystyle L(D)}$ du corps de fonctions de ${\displaystyle C}$, qui est constitué des fonctions rationnelles ${\displaystyle f}$ sur ${\displaystyle C}$ avec des zéros et pôles sujets à ${\displaystyle D}$. Autrement dit, ${\displaystyle D}$ qui est une somme formelle de points de ${\displaystyle C}$ sur la clôture algébrique de ${\displaystyle F}$, donne une borne inférieure pour l'ordre des zéros et une borne supérieure pour l'ordre des pôles de ${\displaystyle f}$.

Alors, pour une base fixe:

${\displaystyle f_{1},f_{2},...,f_{k}~}$

pour ${\displaystyle L(D)}$ sur ${\displaystyle F}$, le code de Goppa correspondant dans ${\displaystyle F}$ est généré sur ${\displaystyle F}$ par les vecteurs

${\displaystyle f_{i}(P_{1}),f_{i}(P_{2}),...,f_{i}(P_{n})~}$

De façon équivalente, on peut définir le code de Goppa comme l'ensemble de tous les vecteurs

${\displaystyle f(P_{1}),f(P_{2}),...,f(P_{n})~}$

où ${\displaystyle f}$ est dans ${\displaystyle L(D)}$.

Les codes de Goppa ont fait une apparition marginale en cryptographie dans le cryptosystème de McEliece.

Généralement, les codes de Goppa sont considérés comme de « bons » codes linéaires puisqu'ils permettent de corriger jusqu'à ${\displaystyle {n^{k}} \choose {\log _{2}n}}$ erreurs. Aussi, ils se décodent efficacement, par les algorithmes d'Euclide et de Berlekamp-Massey, en particulier.

• V.D. Goppa. Codes associated with divisors, Problems of Information Transmission, 12(1):22--27, 1977.

• Portail des mathématiques
• Portail de la cryptologie