Lemma 1.5. gl(m|n) and sl(m|n) (Except (m, n) = (1, 1), (2, 1)) are basic lie superalgebras meaning that they admit non-degenerate even supersymmetric bilinear forms. Proof. a, b = str(ab) does the trick. Call this the supertrace form. Definition 1.6.