Théorème d'Artin-Wedderburn

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Ne doit pas être confondu avec Théorème de 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.

Énoncés[modifier | modifier le code]

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[modifier | modifier le code]

Définitions[modifier | modifier le code]

Tout au long de ce paragraphe, les notations suivantes sont utilisées : K désigne un 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[modifier | modifier le code]

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

Soit f un endomorphisme non nul. Montrons que le plus petit idéal bilatère contenant f est l'algèbre entière. f étant non nul, il existe un élément e1 de E n'appartenant pas au noyau de f. Notons a l'image de e1 par f. Complétons e1 en une base (ei) de E. Pour tout i et j variant de 1 à n, notons pj l'application linéaire nulle sur la base sauf sur ej qui a pour image e1, et soit qi une application linéaire telle que l'image de a est égale à ei. Alors la famille des qi o f o pj est incluse dans l'idéal engendré par f. De plus, cette famille est génératrice de L(E), ce qui termine la démonstration.

Cette démonstration s'étend aussi au 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[modifier | modifier le code]

Le théorème de Wedderburn est clairement un cas particulier de celui d'Artin. La démonstration d'Artin étant relativement simple, seule 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èbres 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[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]

  • Serge Lang, Algèbre [détail des éditions]
  • N. Bourbaki, Algèbre commutative, Masson, 1983, chap. VIII et IX
  • (en) Artin Nesbitt Thrall, Rings with minimum condition, Ann Arbor, Univ. of Michigan Press, 1948
  • (en) S. Lang et J. T. Tate (éd.), E. Artin, The collected papers of Emil Artin, Reading, Mass.-London, 1965
  • (en) P. Webb, S. Priddy et J. Carlson, Group Representations, Cohomology, Group Actions, and Topology, Univ. of Wisconsin, Madison, 1998