Si A ye una K-álxebra asociativa, entós el productu (x,y) ↦ {displaystyle mapsto } [x,y] definíu pol conmutador ye alternáu y satisfai la identidá de Jacobi, de manera A ye tamién una K-álxebra de Lie.