Anneau simple

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, un anneau est dit simple s'il n'admet pas d'autre idéaux bilatères que {0} et lui-même, et si de plus il n'est pas réduit à 0.

Par exemple, un corps (non nécessairement commutatif) est un anneau simple, et l'anneau des matrices carrées d'ordre n à coefficients dans un corps est simple. Parmi les anneaux simples, ceux qui sont artiniens sont, à isomorphismes près, les anneaux des matrices carrées d'ordre n (n quelconque) à coefficients dans un corps (quelconque).

Si K est un corps commutatif, une K algèbre (unitaire associative) est dite simple si son anneau sous-jacent est simple.

Plus généralement, un anneau commutatif est simple si et seulement si c'est un corps.

Contre-exemples.

  • L'anneau Z des entiers relatifs n'est pas simple, car les n.Z tels que n ≥ 0 sont des idéaux de Z, deux à deux distincts.
  • Si K est un corps commutatif, alors l'anneau K[X] des polynômes n'est pas simple.

Anneaux simples artiniens[modifier | modifier le code]

Soit D un corps (commutatif ou non). Pour tout entier naturel non nul n, l'anneau Mn(D) des matrices carrées à coefficients dans D est un anneau simple artinien. Plus intrinsèquement, pour tout espace vectoriel E de dimension finie non nul sur D, l'anneau EndD(E) des endomorphismes de E est un anneau simple artinien. La réciproque est vraie :

Théorème de Wedderburn. Soit A un anneau. Il est équivalent de dire que:

  • L'anneau A est simple et artinien ;
  • L'anneau A est simple et semi-simple ;
  • Il existe un entier n > 0 et un corps D tel que A est isomorphe à l'anneau Mn(D) des matrices carrées à coefficients dans D ;
  • A est isomorphe à l'anneau des endomorphismes d'un espace vectoriel de dimension finie non nulle sur un corps.

Soient D et D' des corps, n et n' des entiers > 1. Pour que les anneaux Mn(D) et Mn' (D' ) soient isomorphes, il faut et il suffit que n = n' et que les corps D et D' soient isomorphes. Soit E et E' des espaces vectoriels de dimensions finies non nulles sur D et D' . Pour que les anneaux EndD(E) et EndD' (E' ) soient isomorphes, il faut et il suffit que les corps D et D' soient isomorphes et que les dimensions de E et E' soient égales.

Donc, les anneaux simples artiniens axiomatisent les anneaux des matrices à coefficients dans des corps, et les anneaux des endomorphismes d'espaces vectoriels de dimension finie.

Soit E un espace vectoriel de dimension infinie sur un corps. Alors l'anneau End(E) n'est ni simple et ni artinien : l'ensemble des endomorphismes de E dont le rang est fini est un idéal bilatère de End(E).

Soit A un anneau simple artinien. Alors le centre de A est un corps commutatif K, et si, en considérant A comme un K-espace vectoriel, A est de dimension finie sur K, alors A est une algèbre centrale simple sur K.

Modules simples d'un anneau simple artinien[modifier | modifier le code]

Pour tout anneau simple artinien A, les A-modules simples sont deux à deux isomorphes. En fait, pour qu'un anneau semi-simple soit simple (et donc artinien), il faut et il suffit que ses modules simples soient deux à deux isomorphes.

Soient E un espace vectoriel de dimension finie non nulle n sur D. Alors l'anneau EndD(E) est simple et artinien et de plus, pour la loi externe (f, x)  \mapsto f(x) de EndD(E) sur E, E est un EndD(E)-module simple, dont la longueur est n.

Réciproquement, soit A un anneau simple artinien et r la longueur du A-module A (qui est finie). Alors, les A-modules simples sont deux à deux isomorphes, et soit M un tel A-module. Alors l'anneau des endomorphisme de A-module de M est un corps D, et en considérant la loi externe (f, x)  \mapsto f(x) de D = EndA(M) sur M, M est un espace vectoriel de dimension finie r sur D.

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

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Algèbre semi-simple

Lien externe[modifier | modifier le code]

Jean-Pierre Serre, Théorie des algèbres simples, Séminaire Henri Cartan