Core idea

Let AA be an associative . For homogeneous a,bAa,b\in A, their supercommutator is

[a,b]s=ab(1)abba.[a,b]_{\mathrm s} =ab-(-1)^{|a||b|}ba.

It extends bilinearly to all of AA. This bracket is graded-skew and satisfies the super Jacobi identity, so it turns AA into a .

If either element is even, this is the usual commutator. If both are odd, then

[a,b]s=ab+ba,[a,b]_{\mathrm s}=ab+ba,

so their supercommutator is their ordinary anticommutator.

References
  1. M. Scheunert, The Theory of Lie Superalgebras, Lecture Notes in Mathematics 716, Springer, 1979. Publisher record. Relevant: Chapter 1.
  2. I. M. Musson, Lie Superalgebras and Enveloping Algebras, American Mathematical Society, 2012. Publisher record. Relevant: Chapter 1.