Algèbre séparable

Algèbre séparable

En mathématiques, une algèbre séparable sur un corps commutatif K est une algèbre semi-simple qui, par extension des scalaires à un surcorps, reste semi-simple.

Dans ce article, K désigne une corps commutatif, et les algèbres sur K sont supposées être associatives et unitaires et de dimensions finie, et les homomorphismes d'algèbres sont supposées envoyer 1 sur 1. (Il y a, en algèbre non associative, une notion d'algèbre séparable, qui généralise celle-ci.)

Sommaire

Définitions et premières propriétés

On dit qu'une algèbre A sur K est séparable ou absolument semi-simple si, pour tout surcorps commutatif L de K, la L-algèbre LK A déduite de A par extension des scalaires de K à L est semi-simple. En particulier, si A est séparable, alors A est semi-simple (prendre L = K).

Si la caractéristique de K est nulle (par exemple si K est le corps R des nombres réels ou le corps C' des nombres complexe), alors les algèbres séparables sur K ne sont autres que les algèbres semi-simples sur K.

Les algèbres séparables commutatives sur K ne sont autres que les algèbres étales sur K. En fait, le centre de toute algèbre séparable sur K est une algèbre étale sur K.

Exemples.

  • Les extensions séparables de K sont des algèbres séparables sur K.
  • Les algèbres simples centrales sur K sont séparables.

L'algèbre produit d'une famille finie d'algèbres séparables sur K est séparable (et réciproquement).

D'après le Théorème d'Artin-Wedderburn, toute algèbre semi-simple sur K est produit d'algèbres simples sur K, et pour décrire les algèbres séparables sur K, il suffit donc de décrire les algèbres séparables qui sont simples.

Pour qu'une algèbre A sur K soit séparable et simple, il faut et il suffit que A soit une algèbre simple (de dimension finie) et que centre de L de K soit une extension séparable de K. Donc ce ne sont autres que les algèbres simples centrales sur des extensions séparables de K. Ces algèbres sont, à isomorphisme près, celle qui sont de la forme Mn(D), où D est une algèbre à division de centre une extension séparable de K (ou encore, de la forme EndD(E), où D est une algèbre à division de centre extension séparable de K et E est un espace vectoriel de dimension finie sur D).

Les algèbres séparables sur K ne sont autres que les algèbres qui sont isomorphes au produit d'une nombre fini d'algèbres simples séparables sur K (dont la décription vient d'être donnée).

Construction d'algèbre séparables

  • L'algèbre opposée à une algèbre séparable est séparable.
  • Toute algèbre quotient d'une algèbre séparable par un idéal bilatère est une algèbre séparable.
  • Le produit tensoriel de deux algèbres séparables (ou plus généralement d'une famille finie d'algèbres séparables) est une algèbre séparable.
  • Pour tout surcorps commutatif L de K, la L-algèbre LK A déduite d'une K-algèbre séparable A par extension des scalaires de K à L est un séparable.
  • Soit L une extension de degré fini de K et A une algèbre séparable sur L. Si L est séparable sur K, alors la K-algèbre sous-jacente à A est séparable.

Références

  • N. Bourbaki, Éléments de mathématique, Algèbre, chapitre 5.
  • Max-Albert Knus, Alexander Merkurjev, Markus Rost et Jean-Pierre Tignol, The Book of Involution, Americam Mathematical Society, 1998.

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre séparable de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

  • Algèbre étale — En mathématiques, une algèbre étale sur un corps commutatif K est une algèbre unitaire associaive sur K qui est isomorphe au produit d une nombre fini d extensions séparables de degré fini sur K. Les algèbres étales sur K ne sont autres que les… …   Wikipédia en Français

  • Algèbre involutive simple — En mathématiques, une algèbre involutive simple sur un corps commutatif est une algèbre involutive qui n admet par d idéaux stable par l involution autre que {0} et elle même. Les algèbres involutives simples centrales (en un sens à préciser plus …   Wikipédia en Français

  • Algèbre de composition — En mathématiques, les algèbres de composition sur un corps commutatif sont des structures algébriques qui généralisent simultanément le corps des nombres complexes, le corps des quaternions de Hamilton et l algèbre des octonions de Cayley. Dans… …   Wikipédia en Français

  • Algèbre involutive — En mathématiques, une algèbre involutive est une algèbre munie d une isomorphisme sur son algèbre opposée, et donc le carré est l identité. Dans cet article, K désigne un anneau commutatif, et les algèbres sur un anneau commutatif sont supposées… …   Wikipédia en Français

  • Algèbre de quaternions — En mathématiques, une algèbre de quaternions sur un corps commutatif est une algèbre de dimension 4 qui généralise à la fois le corps des quaternions et l algèbre des matrices carrées d ordre 2. Pour être plus précis, se sont les algèbres… …   Wikipédia en Français

  • Algèbre polynomiale — Polynôme Courbe polynomiale cubique Un polynôme, en mathématiques, est la combinaison linéaire des produits de puissances d une ou de plusieurs indéterminées, habituellement notées X, Y, Z… Ces objets sont largement utilisés en pratique, ne… …   Wikipédia en Français

  • Séparable — Séparabilité Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 En mathématiques 2 En physique 2 …   Wikipédia en Français

  • Algèbre de Borel — Tribu borélienne La tribu borélienne sur un (ou d un) espace topologique T est la plus petite σ algèbre sur T contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. La tribu de Borel peut, de manière …   Wikipédia en Français

  • Extension séparable — Une extension algébrique L d un corps K est dite séparable si le polynôme minimal de tout élément de L n admet que des racines simples (dans une clôture algébrique de K). La séparabilité est une des propriétés des extensions de Galois. Toute… …   Wikipédia en Français

  • Theoreme d'Abel (algebre) — Théorème d Abel (algèbre) Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

Share the article and excerpts

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