Critère d'Hermite sur les polynômes
dans Arithmétique
de permutation.
Bonjour, je me demandais si ce critère pouvait faire l'objet d'un développement d'agrégation pour par exemple les leçons "Racines d'un polynômes et fonctions symétriques élémentaires", "Corps finis" et éventuellement "Groupes des permutations d'un ensembles fini".
Il se trouve dans le livre de Mignotte "Algèbre concrète" et voici son énoncé : «Si $q=p^n$ avec $p$ premier alors $f\in \mathbb{F}_p[X]$ est une permutation de $\mathbb{F}_q$ si et seulement si les deux conditions qui suivent sont réalisées : $f$ a exactement une racine dans $\mathbb{F}_q$ et pour tout $t\in [\vert 1,q-2\vert ]$, $p$ ne divisant pas $t$ on a $\deg(f^t \pmod{(X^q-X)})\le q-2.$ »
Peut-être que la preuve n'est pas assez longue donc niveau timing ça peut être délicat, je ne sais pas.
Merci d'avance !.
Bonjour, je me demandais si ce critère pouvait faire l'objet d'un développement d'agrégation pour par exemple les leçons "Racines d'un polynômes et fonctions symétriques élémentaires", "Corps finis" et éventuellement "Groupes des permutations d'un ensembles fini".
Il se trouve dans le livre de Mignotte "Algèbre concrète" et voici son énoncé : «Si $q=p^n$ avec $p$ premier alors $f\in \mathbb{F}_p[X]$ est une permutation de $\mathbb{F}_q$ si et seulement si les deux conditions qui suivent sont réalisées : $f$ a exactement une racine dans $\mathbb{F}_q$ et pour tout $t\in [\vert 1,q-2\vert ]$, $p$ ne divisant pas $t$ on a $\deg(f^t \pmod{(X^q-X)})\le q-2.$ »
Peut-être que la preuve n'est pas assez longue donc niveau timing ça peut être délicat, je ne sais pas.
Merci d'avance !.
Réponses
-
La dénomination "Critère d'Hermine" est inconnue de Google.
-
C'est Hermite
-
Cela peut peut-être être intéressant si tu en dis un peu plus sur les applications... "concrètes" de ce résultat !
-
Disons que la condition "$f$ a exactement une racine dans $\mathbb{F}_q$" ne me semble pas si triviale que cela à vérifier de façon effective. Mais le résultat caractérise les permutations polynomiales de $\mathbb{F}_q$ ce qui est intéressant en soi. C'est juste que vu le titre de la référence, on peut s'attendre à ce qu'il existe un côté effectif, voire une application "industrielle". Ce qui ne peut qu'enrichir un éventuel développement.
-
Merci, je pense que cela pourrait être utile dans le domaine de la cryptographie mais bon...
-
S'il y a des choses à dire elles sont peut-être présentes dans le livre de Mignotte (dont je ne dispose pas actuellement) ! Ça m'intéresse, soit dit en passant.
-
Pour ce qui est du livre de Mignotte, ce critère est proposé en exercice sans commentaires particuliers dessus :-X
-
Si $f \in \mathbb{F}_p[X]$ vue comme une fonction $a \mapsto f(a), \mathbb{F}_q \to \mathbb{F}_q $ alors j'écris $f(x) = g(x) (x^q-x)+ \sum_{a\in \mathbb{F}_q} f(a) \frac{h_a(x)}{h_a(a)}$ où $h_a(x) = \frac{x^q-x}{x-a}$ et $g \in \mathbb{F}_q[x]$.
Ensuite c'est quoi ton argument pour lier le degré de $f \bmod x^q-x$ avec le fait que $f$ soit une bijection ?
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres