Teorema di Artin-Wedderburn

In algebra astratta, il teorema di Artin-Wedderburn è un teorema che consente la classificazione degli anelli semisemplici (anelli che sono scomponibili come somma diretta di anelli semplici). In base al teorema, ogni anello semisemplice può essere scomposto nel prodotto diretto di particolari anelli di matrici.

Il teorema, introdotto da Joseph Wedderburn per i soli anelli semplici, fu in seguito generalizzato da Emil Artin nella forma attuale.

Enunciato

Sia $R$ un anello semisemplice; $R$ è isomorfo al prodotto esterno:

$\prod _{i=1}^{n}\mathbb {M} _{n_{i}}(D_{i})$,

dove $D_{i}$ è un anello con divisione, e $\mathbb {M} _{n_{i}}(D_{i})$ è l'anello delle matrici quadrate formate da $n_{i}$ righe e colonne, a valori in $D_{i}$.

Corollari

• Se $R$ è un anello artiniano, il prodotto diretto si riduce ad un unico fattore, per cui $R$ è isomorfo ad un anello di matrici su un anello con divisione.
• Ogni algebra semplice (anello semplice a dimensione finita su un anello con divisione) è un anello di matrici.

Esempi

• ogni algebra semplice a dimensione finita su $\mathbb {R}$ è un anello di matrici su $\mathbb {R}$, $\mathbb {C}$ o sull'insieme dei quaternioni $\mathbb {H}$;
• ogni algebra semplice centrale su $\mathbb {R}$ è un anello di matrici su $\mathbb {R}$ o $\mathbb {H}$;
• ogni algebra semplice a dimensione finita su $\mathbb {C}$ è un anello di matrici su $\mathbb {C}$;
• ogni algebra semplice centrale su $\mathbb {C}$ è un anello di matrici su $\mathbb {C}$;
• ogni algebra semplice centrale su un campo finito è un anello di matrici su quel campo.

Voci correlate

• Teorema di Maschke

Collegamenti esterni

• (EN) Il teorema di Artin-Wedderburn Archiviato il 30 settembre 2007 in Internet Archive. su PlanetMath
• (EN) Dimostrazione e considerazioni generali sul teorema, su mathreference.com.