Théorème d'Artin-Wedderburn

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.

Les modules sur un anneau ne disposent pas de la notion de dimension que possèdent les espaces vectoriels. Elle est remplacée par la définition suivante :

• La longueur d'un module M est la borne supérieure de l'ensemble des entiers n tels qu'il existe une suite strictement croissante de n + 1 sous-modules de M.
• Un sous-module est dit facteur direct s'il admet un supplémentaire.
• Un module est dit semi-simple si tout sous-module est facteur direct.

Sa structure est alors connue :

• Tout module semi-simple est somme directe de ses composantes isotypiques.${\displaystyle L\simeq \bigoplus _{i}S_{i}^{\alpha _{i}}}$Ici, (S_i) désigne une famille maximale de sous-modules non isomorphes deux à deux et α_i le nombre de copies de S_i dans sa composante isotypique.

Avec les définitions suivantes :

• Un module est dit simple s'il ne contient pas d'autres sous-modules que lui-même et le module nul.
• La composante isotypique d'un sous-module S de M est le sous-module engendré par tous les sous-modules de M isomorphes à S.

L'algèbre L est aussi un module sur l'anneau L. Comme L opère à droite et à gauche sur le module, un sous-module est un idéal bilatère. On suppose ici que L est une algèbre semi-simple, ce qui correspond à la définition suivante :

• Une algèbre L est dite semi-simple si L est un L-module semi-simple.

Dans tout le paragraphe concernant les démonstrations, les composantes isotypiques sont notés S_i^α_i, leur nombre n et D_i désigne la K-algèbre associative à division opposée de celle des endomorphismes du L-module simple S_i.

Si E est un espace vectoriel de dimension finie n, alors l'algèbre L_K(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 e₁ de E n'appartenant pas au noyau de f. Notons a l'image de e₁ par f. Complétons e₁ en une base (e_i) de E. Pour tout i et j variant de 1 à n, notons p_j l'application linéaire nulle sur la base sauf sur e_j qui a pour image e₁, et soit q_i une application linéaire telle que l'image de a est égale à e_i. Alors la famille des q_i ∘ f ∘ p_j 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.

Le théorème de Wedderburn est clairement un cas particulier de celui d'Artin.

Si L est semi-simple et si la composante isotypique de S_i est de dimension finie α_i sur le corps D_i^op des endomorphismes de S_i, alors cette composante est isomorphe à l'algèbre des matrices carrées de taille α_i à coefficients dans D_i :

${\displaystyle {\text{si}}\quad L\simeq \bigoplus _{i}S_{i}^{\alpha _{i}}\quad {\text{et}}\quad D_{i}={\rm {End}}_{L}(S_{i})^{\rm {op}}\quad {\text{alors}}\quad S_{i}^{\alpha _{i}}\simeq {\rm {M}}_{\alpha _{i}}(D_{i})}$.

Démontrons d'abord deux lemmes :

• L'algèbre des endomorphismes de L est réduite à la somme directe des algèbres d'endomorphismes des composantes isotypiques.${\displaystyle {\rm {End}}_{L}(L)=\bigoplus _{i}{\rm {End}}_{L}(S_{i}^{\alpha _{i}})}$.En effet, le lemme de Schur assure la nullité de tout morphisme entre deux modules simples non isomorphes.
• L'opposée de l'algèbre des endomorphismes de S_i^α_i est isomorphe à l'algèbre des matrices carrées de taille α_i à coefficients dans D_i.${\displaystyle {\rm {End}}_{L}(S_{i}^{\alpha _{i}})^{\rm {op}}\simeq {\rm {M}}_{\alpha _{i}}(D_{i})}$En effet, l'algèbre des endomorphismes de S_i^α_i est isomorphe à celle des matrices carrées de taille α_i à coefficients dans End_L(S_i) = D_i^op.

Pour conclure, il suffit d'utiliser l'isomorphisme entre l'algèbre opposée de L et celle des L-endomorphismes de L.

• H*-algèbre (de)
• Indicateur de Frobenius-Schur (en)

• Théorie des algèbres simples J.-P. Serre, Séminaire Henri Cartan
• Algèbre commutative A. Chambert-Loir
• (en) Finite group representation for the pure mathematician Peter Webb
• Théorie des algèbres semi-simples P. Cartier, Séminaire Sophus Lie
• Quelques applications des algèbres de matrices à la théorie des corps non commutatifs Erwan Biland
• (en) John J. O'Connor et Edmund F. Robertson, « The development of Ring Theory », sur MacTutor, université de St Andrews.

• 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