Poincaré - Birkhoff - Witt

[invite52487760]

Bonjour;
Pourriez vous m'écrire la démonstration du théorème de Poincaré- Birkhoff - Witt ici, si vous la trouvez dans un livre, parce que dans mon cours, cela n'existe pas. Il y'a juste l'énoncé du théorème dans mon cours. J'ai passé toute la nuit, à chercher sur le net dans l'espoir de trouver quelque chose, mais en vain. En plus, je n'ai pas accès à la BU de notre université, parce que ça fait des années que j'ai abandonné les études.
Merci d'avance.
-----

[0577]

Bonsoir,

en mettant "Poincaré Birkhoff Witt " dans Google, j'obtiens en troisième lien :
http://www.math.umn.edu/~garrett/m/algebra/pbw.pdf

(c'est en anglais)

[invite52487760]

Merci beaucoup.
Pourriez vous me donner la démonstration de la propriété universelle de :
Pour toute - algèbre associative , on a : , c'est à dire : tout , se prolonge de façon unique en un morphisme de - algèbres , tel que : .
J'aimerais que vous me dites aussi, comment définit -on l'application , telle que : .
Merci d'avance.