En matemáticas , específicamente en teoría de anillos , un álgebra nilpotente sobre un anillo conmutativo es un álgebra sobre un anillo conmutativo , en la que para algún entero positivo n todo producto que contenga al menos n elementos del álgebra es cero. El concepto de álgebra de Lie nilpotente tiene una definición diferente, que depende del corchete de Lie . (No hay corchete de Lie para muchas álgebras sobre anillos conmutativos; un álgebra de Lie implica su corchete de Lie, mientras que no hay ningún corchete de Lie definido en el caso general de un álgebra sobre un anillo conmutativo). Otra posible fuente de confusión en la terminología es el álgebra nilpotente cuántica , [1] un concepto relacionado con los grupos cuánticos y las álgebras de Hopf .
Un álgebra asociativa sobre un anillo conmutativo se define como un álgebra nilpotente si y solo si existe algún entero positivo tal que para todo en el álgebra . El más pequeño de ellos se denomina índice del álgebra . [2] En el caso de un álgebra no asociativa , la definición es que cada asociación multiplicativa diferente de los elementos es cero.
Un álgebra asociativa de potencia en la que cada elemento del álgebra es nilpotente se denomina álgebra nil . [3]
Las álgebras nilpotentes son trivialmente nulas, mientras que las álgebras nil pueden no ser nilpotentes, ya que el hecho de que cada elemento sea nilpotente no obliga a que los productos de elementos distintos desaparezcan.
{{cite book}}
: Mantenimiento de CS1: postscript ( enlace )