Théorème d'artin-wedderburn

Théorème d'artin-wedderburn

Théorème d'Artin-Wedderburn

En mathématiques et plus particulièrement en algèbre le Théorème d'Artin-Wedderburn traite de la structure d'algèbre ou d'anneau semi-simple.

Il correspond au théorème fondamental des structures semi-simples et permet d'expliciter exactement leur nature. Elles correspondent à des produits d'algèbres des endomorphismes de modules sur des corps non nécessairement commutatifs.

Il est démontré une première fois dans le cadre des algèbre sur un corps commutatif par Joseph Wedderburn en 1907 puis généralisé par Emil Artin sur les anneaux pour trouver sa forme définitive en 1927.

Ce théorème est au cœur de plusieurs théories, on peut citer les représentations d'un groupe fini ou non, la théorie des anneaux où il permet par exemple de construire des corps non commutatifs et encore celle des structures semi-simples en général.

Sommaire

Enoncés

Ce théorème a connu plusieurs versions au cours de son histoire, voici les trois principales :

La première version correspond au théorème de Burnside, elle ne traite que du cas d'une algèbre simple :

  • Si E est un espace vectoriel de dimension finie, alors l'algèbre LK(E) est simple.

Ce deuxième théorème correspond, en termes actuels au théorème de Wedderburn, il traite des algèbres sur un corps commutatif :

  • Une algèbre semi-simple sur un corps commutatif K est isomorphe à un produit d'algèbres d'endomorphismes sur des sur-corps de K.

La troisième version s'exprime en termes d'anneau, elle porte maintenant le nom de théorème d'Artin-Wedderburn :

  • Un anneau semi-simple tel que tout idéal simple est de dimension finie sur son corps d'endomorphismes, est isomorphe à un produit d'algèbres d'endomorphismes de modules sur des corps a priori distincts et gauches.

Les corps dont il est question ici sont a priori des corps gauches, c'est-à-dire non commutatifs.

L'article sur les algèbres semi-simples montre que la version d'Artin se généralise immédiatement aux algèbres.

Démonstrations

Définitions

Tout au long de ce paragraphe, les notations suivantes sont utilisées : K désigne corps commutatif, L une algèbre sur K et E un espace vectoriel sur K. Plusieurs définitions sont utilisées pour exprimer le théorème.

L'algèbre L est aussi un module sur l'anneau L. Ses sous-modules sur L ne disposent plus de la notion de dimension, car la structure d'espace vectoriel est absente sous cet angle. Elle est remplacée par la définition suivante :

On suppose ici que L en tant que L module est semi-simple, ce qui correspond à la définition suivante :

Comme L opère à droite et à gauche sur le module, un sous-module est un idéal bilatère.

  • Un module L est dit semi-simple si et seulement si tout sous-module est facteur direct.

Une telle algèbre est dite semi-simple. Sa structure, en tant que module est connue :

  • Si le module L semi-simple, alors il est somme directe de ses composantes isotypiques.
\mathbb L \simeq \bigoplus_{i} S_i^{\alpha_i}

Ici, (Si) désigne une famille maximale au sens de l'inclustion de sous-modules non isomorphes deux à deux et αi le nombre de copies de Si dans sa composante isotypique. Avec les définitions suivantes :

  • Un sous-module S du module L est dit simple si et seulement s'il ne contient pas d'autres sous-modules que lui-même et l'ensemble nul.
  • La composante isotypique du sous-module S dans L est le sous-module engendré par tous les sous-modules de L isomorphe à S.

Dans tout le paragraphe concernant les démonstrations, les composantes isotypiques sont notés Si, leur nombre n, leur degré de multiplicité αi, et Di désigne l'opposé du corps des endomorphismes de Si en tant que L module. On rappelle la définition suivante :

  • L'anneau opposé de A est l'anneau noté ici Aop muni de la multiplication définie par :
\forall a,b \in \mathbb A \quad a^{op}.b^{op}=ba\;

Démonstration de Burnside

  • Si E est un espace vectoriel de dimension finie, alors l'algèbre LK(E) est simple.

Soit f un endomorphisme non nul, montrons que le plus petit idéal bilataire contenant f est l'algèbre entière. Il existe un élément e1 de E à l'extérieur du noyau de f, car sinon f serait nul ce qui n'est pas le cas. Notons a l'image de e1 par f. Le théorème de la base incomplète montre qu'il existe une famille (ei) tel que l'ensemble des indices contient 1 et qui est une base de E. Soit h1 l'application linéaire qui associe le vecteur nul à tous les vecteurs de la base sauf à e1 qui a pour image lui-même. Soit h2 une application ayant pour image de a e1. Alors la composition g = h2 o f o h1 a est un projecteur sur e1 parallèlement à l'espace vectoriel engendré par les autres vecteurs de la base, de plus g est un élément de l'idéal contenant f. Soit pi l'application linéaire nulle sur la base sauf sur ei qui à pour image e1. Soit qj une application linéaire tel que l'image de e1 est égale à ej. Alors qj o g pi est une famille de l'idéal engendré par f. Cette famille est génératrice de L(E), ce qui termine la démonstration.

Cette démonstration s'applique aussi dans le cas des modules sur un corps gauche. Ce cas est important car, dans le cas des algèbres semi-simples, il établit la réciproque du théorème d'Artin-Wedderburn.

Démonstration d'Artin

Le théorème de Wedderburn est clairement un cas particulier de celui d'Artin. La démonstration d'Artin étant relativement simple, uniquement celle-ci est donnée dans cet article.

  • Si L est semi-simple et si toute composante isotypique est de dimension finie sur son corps d'endomorphismes, alors la composante isotypique de Si est isomorphe à l'ensemble des endomorphismes d'un module de dimension αi sur le corps Di, et L est isomorphe à la somme directe de ces algèbre d'endomorphismes.
si\quad \mathbb L \simeq \bigoplus_i S_i^{\alpha_i}\quad alors \quad \mathbb L \simeq \bigoplus_i \mathcal L_{\mathbb D_i}(\mathbb D_i^{\alpha_i})\quad avec \quad \mathbb D_i = \mathcal L_{\mathbb L} (S_i)^{op}

Remarque : parler de dimension d'un module fait ici sens car le module possède pour anneau un corps. Cette structure n'est néanmoins pas celle d'un espace vectoriel, car le corps est a priori gauche.

Démontrons tout d'abord le lemme suivant :

  • L'ensemble des endomorphismes de L est isomorphe à la somme directe des ensembles des endomorphismes des composantes isotypiques.
\mathcal L_{\mathbb L}(\mathbb L) \simeq \mathcal L_{\mathbb L}(S_i^{\alpha_i})

Il est clair que la somme directe est incluse dans l'ensemble des endomorphismes de L.

Réciproquement, le paragraphe Décomposition canonique de l'article Module semi-simple montre que tout sous-module simple de la composante isotypique de Si est isomorphe à Si. Le lemme de Schur assure qu'il n'existe pas de morphisme autre que le morphisme nul entre deux modules simple non isomorphes. En conséquence le seul morphisme entre la composante isotypique de Si et Sj si i et j sont différents sont les morphismes nuls, ce qui termine la démonstration de ce lemme.

Démontrons ensuite le lemme suivant :

  • L'opposé de l'anneau des endomorphismes de la composante isotypique de Si est isomorphe à l'ensemble des endomorphismes d'un espace vectoriel de dimension αi sur le corps Diop.
\mathcal L_{\mathbb L}(S_i^{\alpha_i})^{op} \simeq \bigoplus_{j=1}^{\alpha_i}\mathcal L_{\mathbb D}(\mathbb D^{\alpha_i})

Le raisonnement est analogue à celui du lemme précédent. Si Sij pour j variant de 1 à αi désigne une décomposition en somme directe de la composante isotypique de Si, alors chaque facteur Sij est isomorphe à Si. L'ensemble des endormorphismes de la composante isoptypique est donc isomorphe à l'ensemble des matrices à coefficients dans l'ensemble des endomorphismes du module Si. L'ensemble des coefficients est un corps (non nécessairement commutatif) dont l'opposé est Di (cf Décomposition canonique de l'article Module semi-simple). L'isomorphisme canonique entre l'ensemble des matrices carrées de dimension αi et l'ensemble des endomorphismes sur un espace vectoriel de dimension αi termine la démonstration du deuxième lemme.

Pour conclure, il suffit alors de remarquer que l'opposé de L est isomorphe à l'ensemble des endomorphismes de L.

Notes et références

Liens externes

Références

  • Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
  • N. Bourbaki, Algèbre commutative Chapitre VIII et IX Masson 1983
  • Artin Nesbitt Thrall Rings with minimum condition. Ann Arbor, Univ. of Michigan Press, 1948
  • S. Lang and J. T. Tate E. Artin The collected papers of Emil Artin Reading, Mass.-London 1965
  • P. Webb S. Priddy J. Carlson Group Representations, Cohomology, Group Actions, and Topology University of Wisconsin, Madison 1998
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me d%27Artin-Wedderburn ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème d'artin-wedderburn de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Theoreme d'Artin-Wedderburn — Théorème d Artin Wedderburn En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet… …   Wikipédia en Français

  • Théorème d'Artin-Wedderburn — En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet d expliciter exactement leur …   Wikipédia en Français

  • Theoreme de Burnside — Théorème de Burnside Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le théorème de Burnside désigne, dans le contexte d une action de groupe, la formule des classes, dite formule de Burnside. Il existe …   Wikipédia en Français

  • Théorème de burnside — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le théorème de Burnside désigne, dans le contexte d une action de groupe, la formule des classes, dite formule de Burnside. Il existe aussi un résultat d… …   Wikipédia en Français

  • Artin — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Artin peut désigner : Artin Penik Emil Artin Conjecture d Artin Congruence d Ankeny Artin Chowla Conjecture d Artin sur les fonctions L Conjecture d… …   Wikipédia en Français

  • Théorème de Burnside — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le théorème de Burnside désigne, dans le contexte d une action de groupe, la formule des classes, dite formule de Burnside. Il existe aussi un résultat d… …   Wikipédia en Français

  • Emil Artin — Pour les articles homonymes, voir Artin. Emil Artin. Emil Artin (3 mars 1898 à Vienne, 20  …   Wikipédia en Français

  • Algebre semi-simple — Algèbre semi simple En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est… …   Wikipédia en Français

  • Algèbre Semi-simple — En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est présente dans de… …   Wikipédia en Français

  • Algèbre semi-simple — En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est présente dans de… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”