« Anneau (mathématiques)/Idéal d’un anneau commutatif » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Idéal engendré : exemple d'idéal non principal
→‎Idéal engendré : exemple précédent remplacé par exo plus général
Ligne 46 :
{{Exemple|titre=Exemples|contenu={{Wikipédia|Idéal principal}}
*On appelle '''idéal principal''' tout idéal engendré par un singleton.<br />Soit <math>a\in A</math>. L'idéal <math>(\{a\})</math>, que l’on note simplement <math>(a)</math> est égal à <math>Aa:=\{xa\mid x\in A\}</math>.
*Soient ''B'' un anneau commutatifintègre, ''b'' un élément non inversible de ''B'', et ''A = B''[''X'', ''Y''] (l'anneau des [[w:Polynôme en plusieurs indéterminées|polynômes en deux indéterminéespolynôme]]s à coefficients dans ''B''). L'idéalDans (''XA'', l''Y'') des polynômes de termes constant nul n'est '''pas principal''' (même si ''B'' est un [[Corps commutatif|corps]]). En effet, pour tout idéal principal (''P'') contenant (''X'', ''Yb''), le polynôme n''P'' est unpas diviseurprincipal commun(voir à ''X'' et ''Y'' donc il est inversible, si bien que[[Anneau (''P''mathématiques)/Exercices/Exercices#Exercice = ''A3|''cet ≠ (''X'', ''Yexercice'']]).
}}