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 ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
J'affirme péremptoirement que toute affirmation péremptoire est fausse
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).