Résumé
En mathématiques, on peut construire l'algèbre enveloppante d'une algèbre de Lie . Il s'agit d'une algèbre associative unitaire qui permet de rendre compte de la plupart des propriétés de . Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant . Une telle algèbre de Lie, où le crochet de Lie est identiquement nul, est appelée abélienne. Un autre exemple, fondamental pour ce qui suit, est le suivant. Soit V un espace vectoriel sur K. L'algèbre associative des endomorphismes de V peut être munie d'une structure d'algèbre de Lie, en posant : . On note également l'algèbre de Lie ainsi obtenue. Lorsque V est de dimension finie n, s'identifie aux matrices de taille à coefficient dans K. On la note alors . La construction d'une algèbre enveloppante répond au problème réciproque : à partir d'une algèbre de Lie , peut-on construire une algèbre associative dont le commutateur correspond au crochet de Lie de ? À partir de l'algèbre de Lie , on peut construire le produit tensoriel et plus généralement . On note par convention . On considère alors l'algèbre tensorielle de , définie par On note l'application canonique de dans . L'algèbre tensorielle satisfait une propriété universelle : pour toute application linéaire de dans une algèbre associative unitaire A, il existe un unique morphisme d'algèbres tel que et . Pour construire l'algèbre enveloppante, il faut encore tenir compte de la structure d'algèbre de Lie de . On veut donc forcer à être égal à . Plus formellement, soit J l'idéal bilatère engendré par les , pour . L'algèbre enveloppante est alors le quotient de par l'idéal J. L'injection canonique de dans fournit alors, par composition, un morphisme . Notons l'image de dans . Lorsque l'algèbre de Lie est de dimension finie, est un sous-espace vectoriel de dimension finie de .
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (10)
MATH-492: Representation theory of semisimple lie algebras
We will establish the major results in the representation theory of semisimple Lie algebras over the field of complex numbers, and that of the related algebraic groups.
MATH-334: Representation theory
Study the basics of representation theory of groups and associative algebras.
MATH-310: Algebra
This is an introduction to modern algebra: groups, rings and fields.
Afficher plus
Séances de cours associées (31)
Formule du caractère de la weyl
Explore la preuve de la formule de caractère de Weyl pour les représentations tridimensionnelles des algèbres semi-simples de Lie.
Algèbres de mensonge et représentations
Explore les algèbres de Lie, les représentations, les produits tenseurs et les relations de commutation en mathématiques.
Opérateurs hermitiens et multiplication de groupes
Couvre les opérateurs ermites, les règles de multiplication de groupe et les opérateurs Casimir en mécanique quantique.
Afficher plus
Publications associées (35)
Concepts associés (34)
Théorie des représentations
La théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Superalgèbre de Lie
Une superalgèbre de Lie est une extension de la notion d'algèbre de Lie par l'ajout d'une Z-graduation. Cette graduation sépare la superalgèbre en la somme directe d'une partie paire et d'une partie impaire. Cette structure est utilisée en physique théorique pour décrire la supersymétrie. Les éléments de l'algèbre peuvent y être représentés par des opérateurs différentiels. Dans la plupart de ces théories, les éléments pairs correspondent aux bosons et les éléments impairs aux fermions.
Algèbre de Hopf
En mathématiques, une algèbre de Hopf, du nom du mathématicien Heinz Hopf, est une bialgèbre qui possède en plus une opération (l'antipode) qui généralise la notion de passage à l'inverse dans un groupe. Ces algèbres ont été introduites à l'origine pour étudier la cohomologie des groupes de Lie. Les algèbres de Hopf interviennent également en topologie algébrique, en théorie des groupes et dans bien d'autres domaines. Enfin, ce qu'on appelle les groupes quantiques sont souvent des algèbres de Hopf « déformées » et qui ne sont en général ni commutatives, ni cocommutatives.
Afficher plus