ABSTRACT
As mentioned in Chapter 1, "super" means "Z2-graded." In this chapter we develop a theory of superidentities of superalgebras, and prove Kemer's correspondence, that any Pi-algebra in characteristic 0 corresponds to a suitable affine superalgebra. This assertion is false in nonzero characteristic. (Indeed, if true, it would verify Specht's conjecture, but we shall present counterexamples in Chapter 7.)
Following Kemer, we then backtrack and modify the results of Chapter 4 to prove Specht's conjecture for all algebras of characteristic 0. We shall need the following key observation about superalgebras.
