Un álgebra conforme de Lie es, en cierto sentido, una generalización de un álgebra de Lie , en el sentido de que también es un "álgebra de Lie", aunque pertenece a una categoría pseudotensorial diferente . Las álgebras conformes de Lie están muy relacionadas con las álgebras de vértices y tienen muchas aplicaciones en otras áreas del álgebra y de los sistemas integrables.
Un álgebra de Lie se define como un espacio vectorial con una multiplicación bilineal antisimétrica que satisface la identidad de Jacobi . De manera más general, un álgebra de Lie es un objeto, en la categoría de espacios vectoriales (léase: -módulos) con un morfismo
que es antisimétrica y satisface la identidad de Jacobi. Un álgebra conforme de Lie, entonces, es un objeto en la categoría de -módulos con morfismo
llamado corchete lambda, que satisface versiones modificadas de bilinealidad, simetría oblicua y la identidad de Jacobi:
Se puede ver que al eliminar todas las lambda, mu y parciales de los corchetes, simplemente se tiene la definición de un álgebra de Lie.
Un ejemplo simple y muy importante de álgebra conforme de Lie es el álgebra conforme de Virasoro. Sobre ella se genera un único elemento con corchete lambda dado por
De hecho, Wakimoto ha demostrado que cualquier álgebra conforme de Lie con corchete lambda que satisfaga la identidad de Jacobi en un generador es en realidad el álgebra conforme de Virasoro.
Se ha demostrado que cualquier álgebra conforme de Lie simple generada finitamente (como un módulo) es isomorfa al álgebra conforme de Virasoro, a un álgebra conforme actual o a un producto semidirecto de las dos.
También existen clasificaciones parciales de subálgebras infinitas de y .