Reconnaître un idéal

Application directe du cours · niveau 2 · mathématiques (MP/MPI), chapitre 1 — Structures algébriques usuelles · Niveau ★★ — raisonnement intermédiaire

Énoncé

Montrer que $I = {P \in K [X] : P (0) = 0}$ est un idéal de $K [X]$ , et en donner un générateur. L'ensemble $J = {P : P (0) = 1}$ est-il un idéal ?

Corrigé

$I$ est le noyau du morphisme d'anneaux d'évaluation $P \mapsto P (0)$ : c'est un idéal (théorème du cours). Directement : stable par somme, et si $P (0) = 0$ , alors $(QP) (0) = Q (0) P (0) = 0$ pour tout $Q$ — absorbant.

Générateur : $P (0) = 0 ⟺ X ∣ P$ (première année), donc $I = X K [X]$ — principal, comme tout idéal de $K [X]$ .

$J$ n'est pas un idéal : $0 \in / J$ (ou : pas stable par somme, $1 + 1 = 2 \neq = 1$ en la valeur en $0$ ).

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.