Teorema Wedderburn–Artin

În algebră, teorema Wedderburn–Artin este o teoremă de clasificare pentru inele semisimple și algebre semisimple. Teorema afirmă că un inel semisimplu (artinian)Format:Efn R este izomorf cu un produs finit de inele de matrici de tip Format:Nowrap cu elemente în corpuri Format:Math, pentru niște numere întregi Format:Math, ambele fiind determinate în mod unic până la permutarea indicelui Format:Mvar. În particular, orice inel artinian simplu la stânga sau la dreapta este izomorf cu un inel de matrici de tip Format:Nowrap cu elemente într-un corp D, unde atât n, cât și D sunt unic determinate.Format:Sfn

Teorema

Fie Format:Mvar un inel semisimplu (artinian). Atunci teorema Wedderburn–Artin afirmă că Format:Mvar este izomorf cu un produs finit de inele de matrici de tip Format:Nowrap cu elemente în corpuri Format:Math (adică $M_{n_{i}} (D_{i})$ ), pentru niște numere întregi Format:Math, ambele fiind unic determinate până la permutarea indicelui Format:Mvar.

Există, de asemenea, o versiune a teoremei Wedderburn–Artin pentru algebre peste un corp Format:Mvar. Dacă Format:Mvar este o Format:Mvar-algebră semisimplă de dimensiune finită, atunci fiecare Format:Math din afirmația de mai sus este o algebră cu diviziune finit dimensională peste Format:Mvar. Centrul fiecărui Format:Math nu trebuie să fie neapărat Format:Mvar; ar putea fi o extindere finită a lui Format:Mvar.

De remarcat că dacă Format:Mvar este o algebră simplă de dimensiune finită peste un inel cu diviziune E, D nu trebuie să fie neapărat conținut în E. De exemplu, inelele de matrici cu elemente numere complexe sunt algebre simple de dimensiune finită peste numerele reale.

Demonstrație

Există mai multe demonstrații ale teoremei Wedderburn–Artin.Format:Sfn Format:Sfn Una modernă clasicăFormat:Sfn folosește următoarea abordare.

Presupunem că inelul $R$ este semisimplu. Atunci $R$ -modulul la dreapta $R_{R}$ este izomorf cu o sumă directă finită de module simple (care sunt același lucru cu idealele drepte minimale ale lui $R$ ). Această sumă directă se scrie ca

R_{R} ≅ ⨁_{i = 1}^{m} I_{i}^{\oplus n_{i}},

unde $I_{i}$ sunt $R$ -module simple la dreapta neizomorfe, al Format:Mvar-lea apărând cu multiplicitate $n_{i}$ . Acest lucru dă un izomorfism de inele de endomorfisme

E n d (R_{R}) ≅ ⨁_{i = 1}^{m} E n d (I_{i}^{\oplus n_{i}})

și putem identifica $E n d (I_{i}^{\oplus n_{i}})$ cu un inel de matrici

E n d (I_{i}^{\oplus n_{i}}) ≅ M_{n_{i}} (E n d (I_{i})),

unde inelul de endomorfisme $E n d (I_{i})$ al lui $I_{i}$ este un corp conform lemei lui Schur, deoarece $I_{i}$ este simplu. Cum $R ≅ E n d (R_{R})$ concluzionăm că

R ≅ ⨁_{i = 1}^{m} M_{n_{i}} (E n d (I_{i})) .

Aici s-au folosit module la dreapta deoarece $R ≅ E n d (R_{R})$ ; dacă s-ar folosi module la stânga, $R$ ar fi izomorf cu algebra opusă a lui $E n d (_{R} R)$ , dar demonstrația ar rămâne valabilă. Pentru a vedea această demonstrație într-un context mai larg, se poate consulta Descompunerea unui modul. Pentru demonstrația unui caz particular important se poate vedea Inel Artinian simplu.

Consecințe

Deoarece o algebră finit dimensională peste un corp este artiniană, teorema Wedderburn-Artin implică faptul că orice algebră simplă finit dimensională peste un corp este izomorfă cu un inel de matrici de tip Format:Nowrap cu elemente într-o algebră cu diviziune D peste $k$ , unde atât n cât și D sunt unic determinate.Format:Sfn Acest lucru a fost demonstrat de Joseph Wedderburn. Emil Artin a generalizat ulterior acest rezultat la cazul inelelor artiniane simple la stânga sau la dreapta.

Deoarece singura algebră cu diviziune finit dimensională peste un corp algebric închis este însuși corpul, teorema Wedderburn-Artin are consecințe puternice în acest caz. Fie Format:Mvar un inel semisimplu care este o algebră finit dimensională peste un corp algebric închis $k$ . Atunci Format:Mvar este un produs finit $\prod_{i = 1}^{r} M_{n_{i}} (k)$ unde $n_{i}$ sunt numere întregi pozitive și $M_{n_{i}} (k)$ este algebra de matrici de tip $n_{i} \times n_{i}$ cu elemente în $k$ .

În plus, teorema Wedderburn–Artin reduce problema clasificării algebrelor simple centrale finit dimensionale peste un corp $k$ la problema clasificării algebrelor cu diviziune centrale finit dimensionale peste $k$ : adică algebrele cu diviziune peste $k$ al cărui centru este $k$ . Aceasta implică faptul că orice algebră simplă centrală finit dimensională peste $k$ este izomorfă cu o algebră de matrici $M_{n} (D)$ , unde $D$ este o algebră cu diviziune centrală finit dimensională peste $k$ .

Note explicative

Format:Notelist

Note

Bibliografie

Format:Refbegin

Format:Refend

Teorema Wedderburn–Artin

Cuprins

Teorema

Demonstrație

Consecințe

Note explicative

Note

Bibliografie

Meniu de navigare

Teorema Wedderburn–Artin

Teorema

Demonstrație

Consecințe

Note explicative

Note

Bibliografie

Meniu de navigare

Căutare