1
On appelle idéal bilatère de l’anneau \((\mathcal{M}_n(\Kk),+,\times)\) tout sous-ensemble I de \(\mathcal{M}_n(\Kk)\) tel que
a) \((I,+)\) est un groupe et b) \(\forall A\in I\), \(\forall M\in\mathcal{M}_n(\Kk)\), \(AM\in I\) et \(MA\in I\).
Déterminer tous les idéaux bilatères de l’anneau \((\mathcal{M}_n(\Kk),+,\times)\).