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 finies, et les homomorphismes d'algèbres sont supposés envoyer 1 sur 1. (Il y a une notion de K-algèbre non associative séparable, qui généralise celle-ci.)
Définitions et premières propriétés modifier
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 L ⊗K 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 complexes), 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 description vient d'être donnée).
Construction d'algèbre séparables modifier
- 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 L ⊗K 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 modifier
- N. Bourbaki, Éléments de mathématique, Algèbre, chap. 5
- (en) Max-Albert Knus (de), Alexander Merkurjev, Markus Rost et Jean-Pierre Tignol, The Book of Involutions, AMS, 1998
