Anello semplice

In algebra astratta un anello semplice è un anello che ha come unici ideali bilateri l'ideale nullo e se stesso. Il termine semplice indica che l'anello non è scomponibile in anelli più semplici, in quanto non possiede alcun anello quoziente, salvo quelli banali.

 Anelli semplici e ideali massimali

Gli ideali massimali sono in stretto rapporto con gli anelli semplici, infatti dato A anello:

${\displaystyle I\,\mathrm {massimale} \Leftrightarrow A/I\,\mathrm {semplice} }$ 

Inoltre se A anello commutativo unitario abbiamo che il quoziente ${\displaystyle A/I}$  oltre ad essere semplice e` pure un campo; questo non è più vero in un anello senza unità, ad esempio l'ideale ${\displaystyle 4\mathbb {Z} }$  è massimale in ${\displaystyle 2\mathbb {Z} }$ , ma ${\displaystyle {\frac {2\mathbb {Z} }{4\mathbb {Z} }}}$  non è un campo nonostante sia un anello semplice.

Il teorema di Artin-Wedderburn fornisce una caratterizzazione degli anelli semplici artiniani.

Esempi

• L'algebra di Weyl è un anello semplice;
• gli anelli di matrici su anello con divisione sono semplici;

Voci correlate

• Ideale nullo

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica