Oui. Prends le cas du groupe quantique Uq(sl2C) où q est un complexe <>0 et 1: c'est le quotient de la C-algèbre libre L de générateur x,y,k et k^(-1) par l'idéal I engendré par les relations
kk^(-1)=k^(-1)k=1
kx=(q^2)xk
yk=(q^2)ky
(q-q^(-1)).(xy-yx)=k-k^(-1).
Comment, pour pouvoir tafer, trouver une C-base de Uq(sl2C) =L/I ? Via le diamond lemma et son algo!! Et avec un bon ordre et tes règles de réduction, tu montres qu'une telle base, c'est les x^a.y^b.k^c où a,b,c sont des entiers...
Partager