Extension de corps fini
Réponses
-
Bonjour
dans $K/aK$ $P(a)\equiv 0$ donc...?
Dans $K/bK$ $Q(b)\equiv 0$ donc...?
Que peut-on alors dire de $Q(a)P(b)$?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
AlainLyon sévit encore ! Que désignerait le quotient $K/aK$, sans indiscrétion ? L'anneau à un élément ? Fascinant ! C'est une propriété spécifique des corps finis qu'il n'y a qu'une seule extension de chaque degré. On ne s'en tirera pas par une petite manipulation de la sorte.
-
Math Coss est incapable de faire un copier-coller pour remplacer $K$ par $\mathbb{Z}$!
:-PLes mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
Ah oui, ça arrange tout ! Enfin presque. On prend un élément $a$ dans le corps à $9$ éléments et on fait un mystérieux quotient $\Z/a\Z$. N'importe quoi.
-
Bonjour, si je prends $K = \mathbb{Q}$, $a = \sqrt{2}$ et $b = i$, il me semble que le polynôme minimal de $a$ est $P(X) = X^2-2$ et celui de $b$ est $Q(X) = X^2+1$; les degrés sont les mêmes (2). Bon; il fallait des corps finis...désoléA demon wind propelled me east of the sun
-
Tout corps fini est commutatif, un corps fini et commutatif qu'est ce c'est?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
@gilderetz : Il n'y a pas de réponse générale. Par contre, le polynôme minimal de de $a$ sur $\K(b)$ divise le polynôme minimal de $a$ sur $\K$.
Édit : J'ai un doute : a-t-on une relation entre les degrés des deux polynômes minimaux plus forte que l'inégalité élémentaire déduite de ma réponse?
Édit 2 : J'avais mal lu la question. Voir ci-dessous. -
Si $K$ est un corps fini et si $a$ et $b$ sont dans des extensions de $K$ de même degré, alors ces extensions sont isomorphes. Si on appelle $f:K(a)\to K(b)$ un tel isomorphisme, le polynôme minimal de $a$ sur $K(b)$ est $X-f(a)$.
Un tout petit exemple : $K=\newcommand{\F}{\mathbf{F}}\F_3$, $a$ racine de $x^2+1$ et $b$ racine de $x^2-x-1$. Alors, dans $K(b)$, \[x^2+1=(x+b+1)(x-b-1).\] En effet, si $b^2=b+1$ avec $3=0$, alors $(b+1)^2=b^2-b+1=b+1-b+1=-1$. -
Un corps fini et commutatif a pour cardinal une puissance de sa caractéristique qui est un nombre premier $p$, il a donc pour cardinal $p^n$. Un corps fini est isomorphe au corps de décomposition de $X^{p^n}-X$ sur $\mathbb{Z}/p\mathbb{Z}$. l'application $x\mapsto x^p$ est un automorphisme sur les corps finis de cardinal $p$ nombre premier, il est appelé l'isomorphisme de Frobenius....sur tout corps fini de cardinal $p$ premier c'est l'identité, il faut donc commencer par la division euclidienne de $P$ et $Q$ par $X^{car(K)}$.Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Et les bêtises continuent !AlainLyon a écrit:il est appelé l'isomorphisme de Frobenius... sur tout corps fini c'est l'identité
-
Désolé, j'avais mal lu la question.
Comme l'a indiqué Math Coss, comme il n'existe qu'un corps fini pour un cardinal (possible) à isomorphisme près, on en déduit que $\K(b)$ est à la fois un corps de rupture pour le polynôme minimal de $b$ sur $\K$ et celui de $a$ sur $\K$.
De plus, dans le contexte des corps finis, le corps de rupture d'un polynôme irréductible est aussi un corps de décomposition (merci le Frobenius !). Ainsi, le polynôme minimal de $a$ sur $\K(b)$ est $X-a$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K 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