Endomorphisme de Frobenius clôture algébrique
dans Algèbre
Bonjour,
Soit $K$ un corps de cardinal $q$ (donc $q=p^n, p$ la caractéristique de $K$), $\overline{K}$ sa clôture algébrique, et $\sigma$ l'endomorphisme de Frobenius : $\overline{K} \rightarrow \overline{K}, x \mapsto x^q$.
Je lis dans mon cours que cette application est un isomorphisme de corps. Ok pour morphisme injectif, mais pourquoi surjectif (en effet, $\overline{K}$ n'est pas fini car un corps fini n'est jamais algébriquement clos) ?
Merci d'avance.
Soit $K$ un corps de cardinal $q$ (donc $q=p^n, p$ la caractéristique de $K$), $\overline{K}$ sa clôture algébrique, et $\sigma$ l'endomorphisme de Frobenius : $\overline{K} \rightarrow \overline{K}, x \mapsto x^q$.
Je lis dans mon cours que cette application est un isomorphisme de corps. Ok pour morphisme injectif, mais pourquoi surjectif (en effet, $\overline{K}$ n'est pas fini car un corps fini n'est jamais algébriquement clos) ?
Merci d'avance.
Réponses
-
Parce que $\overline K$ est algébriquement clos.
-
Ah oui, j'aurais pu trouver. Merci beaucoup.
-
Alors, mon cours dit : $\sigma(x)=x^q=x \Leftrightarrow x \in K$.
Cette démonstration est-elle valable : <= évident (car $K$ est corps de décomposition de $X^q-X$, ou bien car $\forall x \in K, x^q=x$, car c'est vrai pour $x=0$ et sinon, $K^*$ est un groupe d'ordre $q-1$, donc $x^{q-1}=1$) ; donc dans l'autre sens, les racines de $X^q-X$ sont toutes distinctes, car le polynôme est séparable, en nombre $q$, donc elles occupent $K$.
Ou existe-t-il une considération plus simple dans le sens réciproque ? -
Pas besoin de faire jouer la séparabilité.
$X^q-X$ a au plus $q$ racines dans $\overline K$.
Les $q$ éléments de $K$ sont des racines de $X^q-X$.
Donc les racines de $X^q-X$ dans $\overline K$ sont exactement les éléments de $K$. -
En effet c'est plus simple. Merci !
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
- 53 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
In this Discussion
Qui est en ligne 4
4 Invités