Soit \(\mathbb{K}\) un corps, \(E\) un ensemble fini, et \(A = K^E\). Pour \(e\in E\), on pose : \[I_e = \{ f\in A \text{ tq }f(e)=0\} ,\qquad \chi_e\ :\ x \mapsto \begin{cases} 1 &\text{ si }x=e\\ 0 &\text{ si }x\neq e.\end{cases}\]

  1. Montrer que \(I_e\) est un idéal monogène de \(A\).

  2. Soit \(f\in A\). Vérifier que \(f = \sum_{e\in E} f(e)\chi_e\).

  3. Soit \(I\) un idéal quelconque de \(A\), et \(F = \{ e\in E \text{ tq }\exists f\in I \text{ tq }f(e)\neq 0\}\). Montrer que \(I\) est un idéal monogène engendré par \(\sum_{e\in F}\chi_e\).


Barre utilisateur

[ID: 3441] [Date de publication: 12 mars 2024 08:30] [Catégorie(s): Anneaux ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 1 ] [Auteur(s): Michel Quercia ]




Solution(s)

Solution(s)

Documents à télécharger

L'exercice