En matemáticas , un álgebra superconmutativa (asociativa) es una superálgebra (es decir, un álgebra graduada Z 2 ) tal que para dos elementos homogéneos cualesquiera x , y tenemos [1]
donde | x | denota el grado del elemento y es 0 o 1 (en Z 2 ) según si el grado es par o impar, respectivamente.
De manera equivalente, es una superálgebra donde el superconmutador
siempre desaparece. Las estructuras algebraicas que superconmutan en el sentido anterior a veces se denominan álgebras asociativas conmutativas sesgadas para enfatizar la anti-conmutación o, para enfatizar la graduación, conmutativa graduada o, si se entiende la superconmutatividad, simplemente conmutativa .
Cualquier álgebra conmutativa es un álgebra superconmutativa si se le da la gradación trivial (es decir, todos los elementos son pares). Las álgebras de Grassmann (también conocidas como álgebras exteriores ) son los ejemplos más comunes de álgebras supercommutativas no triviales. El supercentro de cualquier superálgebra es el conjunto de elementos que se superconmutan con todos los elementos y es un álgebra superconmutativa.
La subálgebra par de un álgebra superconmutativa es siempre un álgebra conmutativa . Es decir, los elementos pares siempre conmutan. Los elementos extraños, por otro lado, siempre son contrarios al desplazamiento. Eso es,
para x e y impares . En particular, el cuadrado de cualquier elemento impar x desaparece siempre que 2 sea invertible:
Por lo tanto, una superálgebra conmutativa (con 2 componentes invertibles y un componente de grado distinto de cero) siempre contiene elementos nilpotentes .
Un álgebra anticonmutativa de grado Z con la propiedad de que x 2 = 0 para cada elemento x de grado impar (independientemente de si 2 es invertible) se llama álgebra alterna . [2]