Code de géométrie algébrique

Code de géométrie algébrique

Code de Goppa

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 C sur un corps fini F. Dans le cas des codes de Reed-Solomon, la courbe en question en 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

Sommaire

Codes géométriques

Notions préliminaires

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

P_1, P_2, ..., P_n~

et soit D, un diviseur de C, sur F, dont le support ne contient aucun des Pi.

Il existe un sous-espace de dimension finie L(D) du corps de fonctions de C, qui est constitué des fonctions rationnelles f sur C avec des zéros et pôles sujets à D. Autrement dit, D qui est une somme formelle de points de C sur la clôture algébrique de F, donne une borne pour le diviseur, faite de zéros et de pôles de f, énumérés avec la multiplicité appropriée.

Définition du code de Goppa

Alors, pour une base fixe:

f_1, f_2, ..., f_k~

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

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

f(P_1), f(P_2), ..., f(P_n)~

où f est dans L(D).

Codes de Goppa classiques

Définition

Utilisation

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

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

Bibliographie

  • V.D. Goppa. Codes associated with divisors, Problems of Information Transmission, 12(1):22--27, 1977.
  • Portail des mathématiques Portail des mathématiques
  • Portail de la cryptologie Portail de la cryptologie
Ce document provient de « Code de Goppa ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Code de géométrie algébrique de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Code De Goppa — 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… …   Wikipédia en Français

  • Code de goppa — 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… …   Wikipédia en Français

  • Code de Goppa — 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… …   Wikipédia en Français

  • Code Correcteur — Un code correcteur est une technique de codage basée sur la redondance. Elle est destinée à corriger les erreurs de transmission d une information (plus souvent appelée message) sur une voie de communication peu fiable. La théorie des codes… …   Wikipédia en Français

  • Code De Hamming — Un code de Hamming est un code correcteur linéaire. Il permet la détection et la correction automatique d une erreur si elle ne porte que sur une lettre du message. Un code de Hamming est parfait, ce qui signifie que pour une longueur de code… …   Wikipédia en Français

  • Code de hamming — Un code de Hamming est un code correcteur linéaire. Il permet la détection et la correction automatique d une erreur si elle ne porte que sur une lettre du message. Un code de Hamming est parfait, ce qui signifie que pour une longueur de code… …   Wikipédia en Français

  • Code Linéaire — En mathématiques, plus précisément en théorie des codes, un code linéaire est un code correcteur. Il est structuré comme un sous espace vectoriel sur un corps fini. L espace utilisé est souvent F2n le terme usuel est alors celui de code linéaire… …   Wikipédia en Français

  • Code lineaire — Code linéaire En mathématiques, plus précisément en théorie des codes, un code linéaire est un code correcteur. Il est structuré comme un sous espace vectoriel sur un corps fini. L espace utilisé est souvent F2n le terme usuel est alors celui de… …   Wikipédia en Français

  • Code correcteur — Un code correcteur est une technique de codage basée sur la redondance. Elle est destinée à corriger les erreurs de transmission d une information (plus souvent appelée message) sur une voie de communication peu fiable. La théorie des codes… …   Wikipédia en Français

  • Code de Hamming — Un code de Hamming est un code correcteur linéaire. Il permet la détection et la correction automatique d une erreur si elle ne porte que sur une lettre du message. Un code de Hamming est parfait : pour une longueur de code donnée il n… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”