Anneau simple

Anneau simple

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.

Sommaire

Anneaux simples artiniens

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 > 1 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.

Remarquons qu'un tel anneau n'est pas un module simple sur lui-même.

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 dimensions finies.

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

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

  • N. Bourbaki, Éléments de mathématique, Algèbre, chapitre 8.
  • (en) Nathan Jacobson, Basic Algebra II, W. H. Freeman and Compaby, New York, 1989.
  • (en) Max-Albert Knus, Alexander Merkurjev, Markus Rost et Jean-Pierre Tignol, The Book of Involution, AMS, 1998.

Voir aussi

Article connexe

Algèbre semi-simple

Lien externe

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


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Anneau simple de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Anneau semi-simple — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques et plus particulièrement en algèbre, un anneau A est dit semi simple si A, considéré comme A module, est semi simple, c est à dire somme directe de A modules qui n admettent… …   Wikipédia en Français

  • Anneau à téton — Piercing du téton Le piercing des tétons est un piercing, généralement situé à la base du mamelon. Le téton peut être percé selon n importe quel angle, mais il est souvent orienté à l’horizontale ou, plus rarement, dans le sens vertical. Il est… …   Wikipédia en Français

  • Anneau Noethérien — Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une addition et d une… …   Wikipédia en Français

  • Anneau elastique — Anneau élastique Pour les articles homonymes, voir anneau. Anneau intérieur Les anneaux élastiques sont des composants d assemblage mécanique généralement montés dans des gorges réalisées sur des portées cylindrique …   Wikipédia en Français

  • Anneau noetherien — Anneau noethérien Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une… …   Wikipédia en Français

  • Anneau Élastique — Pour les articles homonymes, voir anneau. Anneau intérieur Les anneaux élastiques sont des composants d assemblage mécanique généralement montés dans des gorges réalisées sur des portées cylindrique …   Wikipédia en Français

  • Anneau De Dedekind — Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau disposant de propriétés particulières. Sa formalisation initiale a pour objectif la… …   Wikipédia en Français

  • Anneau Factoriel — En mathématiques, un anneau factoriel est un cas particulier d anneau commutatif, unitaire et intègre. À l image des nombres entiers, il existe un équivalent du théorème fondamental de l arithmétique pour une telle structure. Tout élément d un… …   Wikipédia en Français

  • Anneau de dedekind — Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau disposant de propriétés particulières. Sa formalisation initiale a pour objectif la… …   Wikipédia en Français

  • Anneau Euclidien — Euclide (Juste de Gand ,vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau commutatif unitaire intègre. Un anneau est dit euclidien s il est… …   Wikipédia en Français

Share the article and excerpts

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