![Signes et sens Webzine](https://www.signesetsens.com/bannieres-forums-blogs/signes-et-sens-media-web-en-ligne-communiques.gif)
Le théorème d'Artin-Schreier est un concept important en théorie des corps et en théorie de Galois. Il a été formulé par les mathématiciens Emil Artin et Otto Schreier au début du 20e siècle. Le théorème établit une correspondance entre les extensions de corps finis et les extensions de corps de caractéristique positive.
Formellement, le théorème d'Artin-Schreier s'énonce comme suit :
Soit KK un corps de caractéristique p>0p>0 et LL une extension de KK. Alors l'extension L/KL/K est finie si et seulement si LL est engendré comme corps sur KK par les éléments xx tels que xp−x∈Kxp−x∈K.
En d'autres termes, si LL est une extension de KK dans laquelle chaque élément est une racine de l'équation xp−x=0xp−x=0 pour pp une puissance de p>0p>0, alors LL est finie sur KK.
Le théorème d'Artin-Schreier a des implications profondes en théorie de Galois. Il permet de caractériser les extensions finies de corps de caractéristique positive en termes d'équations polynomiales particulières. Il montre que toute extension finie d'un corps de caractéristique positive peut être obtenue en adjoignant des racines d'équations polynomiales de la forme xp−xxp−x à ce corps.
Une conséquence importante du théorème d'Artin-Schreier est que toute extension finie d'un corps fini est également un corps fini. Cela est dû au fait que dans un corps fini, chaque élément est une racine de l'équation xp−x=0xp−x=0 pour une certaine puissance de p>0p>0. Ainsi, toute extension finie d'un corps fini peut être obtenue en adjoignant des racines d'équations polynomiales de la forme xp−xxp−x.
Le théorème a des applications dans divers domaines des mathématiques, y compris en cryptographie, en théorie des codes, en géométrie algébrique et en théorie des nombres. Il fournit des outils essentiels pour comprendre les propriétés des extensions de corps de caractéristique positive et pour étudier les structures algébriques associées.
En conclusion, le théorème d'Artin-Schreier établit une correspondance entre les extensions de corps finis et les extensions de corps de caractéristique positive. Il montre que les extensions finies de corps de caractéristique positive peuvent être caractérisées en termes d'équations polynomiales de la forme xp−x=0xp−x=0. Ce théorème a des applications importantes en théorie de Galois et dans d'autres domaines des mathématiques. Il permet de comprendre et d'étudier les propriétés des extensions de corps de caractéristique positive de manière rigoureuse et précise.
IC