idéal d'un sous-anneau
Bonjour
J'ai une extension d'anneaux $A\hookrightarrow B$ et $\xi\in B$, on sait que l'ensemble des polynômes de $B[X]$ s'annulant en $\xi$ est un idéal principal de $B[X]$, c'est le noyau du morphisme $\psi: B[X]\longrightarrow B$ qui envoi $P$ sur sa valeur en $\xi$, la restriction de $\psi$ à $A[X]$ est un morphisme d'anneaux, son noyau est l'ensemble des polynômes de $A[X]$ nuls en $\xi$ qui est aussi $(X-\xi)B[X]\cap A[X]$.
Je me demande alors si cet idéal de $A[X]$ est principal ou non
Cordialement
J'ai une extension d'anneaux $A\hookrightarrow B$ et $\xi\in B$, on sait que l'ensemble des polynômes de $B[X]$ s'annulant en $\xi$ est un idéal principal de $B[X]$, c'est le noyau du morphisme $\psi: B[X]\longrightarrow B$ qui envoi $P$ sur sa valeur en $\xi$, la restriction de $\psi$ à $A[X]$ est un morphisme d'anneaux, son noyau est l'ensemble des polynômes de $A[X]$ nuls en $\xi$ qui est aussi $(X-\xi)B[X]\cap A[X]$.
Je me demande alors si cet idéal de $A[X]$ est principal ou non
Cordialement
Réponses
-
Non. Exemple à travailler :
$$
A = \Z[2i] = \Z \oplus 2i\Z, \qquad B = \Z[i\rbrack, \qquad \xi = i
$$
Faire attention au fait que $i \notin A$. Voici trois polynômes $F, G, H \in A[X]$ qui s'annulent en $\xi = i$ :
$$
F = X^2 + 1, \qquad G = 2X - 2i, \qquad H = 2iX + 2
$$
L'idéal de $A[X]$ constitué des polynômes $P$ tels que $P(i) = 0$ est engendré par $(F,G,H)$. Et n'est principal. -
Merci claude quitté, très clair
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres