Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Endomorphisme de Frobenius
Résumé
En mathématiques, l'endomorphisme de Frobenius, nommé ainsi en l'honneur de Georg Ferdinand Frobenius, est un endomorphisme d'anneau commutatif défini de façon naturelle à partir de la caractéristique.
Il est particulièrement utilisé dans le contexte de la théorie de Galois, soit dans le cas des corps de caractéristique non nulle et plus spécifiquement dans le cas des corps finis et dans la théorie des corps de classes. Si le corps est fini, il s'agit alors d'un automorphisme.
Il est généralement utilisé en théorie algébrique des nombres, par exemple pour la démonstration de la loi de réciprocité quadratique.
Soit A un anneau commutatif unitaire ayant pour caractéristique un nombre premier p > 0. L'endomorphisme de Frobenius est l'application définie par :
Elle est souvent notée FrobA, ou Frob s'il n'y a pas d'ambiguïté.
Un élément de Frobenius est une puissance de l'endomorphisme de Frobenius pour la loi de composition des applications.
L'automorphisme de Frobenius désigne l'endomorphisme de Frobenius s'il est bijectif.
Si l'endomorphisme de Frobenius est bijectif, l'ensemble des éléments de Frobenius forme un sous-groupe cyclique du groupe des bijections de l'anneau — le sous-groupe engendré par l'automorphisme de Frobenius — d'où la définition suivante :
Dans le cas où l'endomorphisme de Frobenius est bijectif, le groupe de Frobenius est l'ensemble des éléments de Frobenius muni de la loi de composition des applications.
L'endomorphisme de Frobenius est un morphisme d'anneaux.
Les deux propriétés multiplicatives sont dues au fait que l'anneau est commutatif (et unifère) :
Pour la propriété additive, on part de la formule du binôme de Newton :
Comme p est premier, il divise tous les coefficients binomiaux à l'exception du premier et du dernier ( Diviseurs et coefficients binomiaux). Cette propriété permet de conclure :
Si l'anneau A est intègre alors l'endomorphisme de Frobenius est injectif.
En effet, si l'anneau est intègre alors il ne contient aucun diviseur de zéro, donc une puissance d'un élément est nulle si et seulement si cet élément est nul.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées (24)
Personnes associées (1)
Concepts associés (19)
Corps de nombres
En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Corps parfait
En mathématiques et plus particulièrement en algèbre dans le contexte de la théorie de Galois, un corps parfait est un corps commutatif dont toutes les extensions algébriques sont séparables. Les corps parfaits sont utiles pour la théorie de Galois, car les théorèmes fondateurs, comme le théorème de l'élément primitif ou le théorème fondamental de la théorie de Galois utilisent dans les hypothèses le fait que l'extension considérée est séparable.
Extension de Galois
En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension normale séparable. L'ensemble des automorphismes de l'extension possède une structure de groupe appelée groupe de Galois. Cette structure de groupe caractérise l'extension, ainsi que ses sous-corps. Les extensions de Galois sont des structures largement utilisées pour la démonstration de théorèmes en théorie algébrique des nombres, comme le dernier théorème de Fermat, ou en théorie de Galois pure, comme le théorème d'Abel-Ruffini.
Cours associés (4)
MATH-110(a): Advanced linear algebra I
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.
MATH-115(b): Advanced linear algebra II
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux du sujet.
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
Séances de cours associées (32)
Endomorphismes et automorphismes des groupes compacts locaux totalement déconnectés III
Explore les propriétés des endomorphismes et des automorphismes des groupes compacts locaux, en mettant l'accent sur l'invariance, la théorie de la représentation des arbres et les sous-groupes minimaux.
Endomorphismes et automorphismes des groupes compacts locaux totalement déconnectés V
Explore les endomorphismes et les automorphismes de groupes compacts locaux totalement déconnectés, mettant l'accent sur les homomorphismes surjectifs et les groupes abeliens libres.
Endomorphismes et automorphismes de groupes compacts locaux totalement déconnectés
Explore les endomorphismes et les automorphismes des groupes compacts locaux totalement déconnectés, en mettant l'accent sur les propriétés des groupes plats et des sous-groupes abeliens libres.