ABSTRACT
In this chapter and the next two chapters, we present the details of Kemer's proof of the finite basis property in characteristic 0-that the T-ideal id( W) of an arbitrary Pi-algebra W is finitely based. In Chapter 7, we shall see that although Capelli identities hold for arbitrary Pi-algebras of characteristic p, there are non-affine counterexamples to Specht's problem in characteristic p.
