Un isomorphisme d'anneaux
Bonjour,
je cherche à résoudre l'exercice suivant (exercice 11 chapitre XV d'algèbre le Grand combat).
je cherche à résoudre l'exercice suivant (exercice 11 chapitre XV d'algèbre le Grand combat).
Soit $K$ un corps de caractéristique différente de $2$ et $P = X^2 + aX + b$. On pose $\Delta = b^2 - 4a$. Démontrer que $K[X]/(P)$ et $K[X]/(X^2 - \Delta)$ sont isomorphes.
J'ai essayé d'utiliser le fait [que] $K$ n'est pas de caractéristique 2 en écrivant $P$ sous la forme $P = (X + \frac{a}{2})^2 - \frac{a^2 - 4b}{4}$ (à ce stade d'ailleurs je me demande s'il n'y a pas une erreur dans la définition de $\Delta$). Ensuite, je sais que pour tout $\lambda \in K$, $K[X]/(P)$ et $K[X]/(P(X - \lambda)$ sont isomorphes, mais en utilisant ce résultat j'obtiens un isomorphisme entre $K[X]/(P)$ et $K[X]/(X^2 - \frac{a^2 - 4b}{4})$ et je bloque : soit j'ai pris un mauvais chemin, soit j'approche du résultat (en supposant que la définition de $\delta$ est mauvaise) mais je peine à me débarrasser du facteur $\frac{1}{4}$.
Pourriez-vous me donner une indication s'il vous plaît ?
Pourriez-vous me donner une indication s'il vous plaît ?
Réponses
-
Sauf erreur il y a une erreur d'énoncé. Si je prends $K:=\Q$, $a:=1$ et $b:=2$ alors $P=X^2+X+2$ est irréductible et $K[X]/(P)$ est un corps tandis que $K[X]/(X^2 - \Delta)=K[X]/(X^2)$ non.
-
A vue de nez $\Delta = a^2-4b$ paraît plus naturel.Il ne faut pas respirer la compote, ça fait tousser.
J'affirme péremptoirement que toute affirmation péremptoire est fausse -
Salut, dans un corps qui n'est pas de caractéristique 2, 4 est différent de 0, donc inversible, puisque c'est un corps (et c'est un carré, son inverse aussi). Raoul.S est allé un peu vite, $X^2-\Delta$ peut très bien être irréductible dans $K[X]$ (par exemple $X^2-2$, K=Q)
-
Oui, c'est pour ça que je me demandais s'il y avait une erreur, car ce n'est pas le même discriminant que celui habituellement défini...
Merci @raoul.S pour ce contre-exemple qui confirme que cela ne fonctionne pas avec cette valeur de $\Delta$. Je pense aussi, mais je vais m'y pencher pour tenter de le confirmer, que c'est plutôt un isomorphisme entre $K[X]/(P)$ et $K[X]/(X^2 - \frac{\Delta}{4})$. En tout cas, la suite de l'exercice peut être résolu avec cet isomorphisme :
- Si $\Delta = 0$, montrer que $P$ a une racine double puis qu'il y a un isomorphisme entre $K[X]/(P)$ et $K[X]/(X^2)$
- Si $\Delta$ est un carré de $K$, montrer que $P$ possède deux racines distinctes dans $K$ puis que $K[X]/(P)$ est isomorphe à $K \times K$.
- Si $\Delta$ n'est pas un carré, montrer que $P$ n'a pas de racines et que $K[X]/(P)$ est un corps (à ce stade du livre, la notion d'éléments irréductibles n'est pas connue, donc il faut procéder autrement). -
Désolé Raoul.S pour hier, je suis passé à côté du discriminant mal défini (c'est moi qui suis allé trop vite). Barry, après correction sur le discriminant, tu peux conserver l'énoncé initial. Les automorphismes de $K[X]$ de forme $F(X) \rightarrow F(\alpha X +\beta ) $ ne nécessitent pas que $\alpha$ soit égal à 1
-
Pas de problème.
-
Titi le curieux a dit : https://les-mathematiques.net/vanilla/index.php?p=/discussion/comment/2382906/#Comment_2382906[Inutile de recopier l'avant-dernier message. Un lien suffit. AD]
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