Computational Aspects of Polynomial Identities

This edition presents the underlying ideas in recent polynomial identity (PI)-theory and demonstrates the validity of the proofs of PI-theorems. It gives all the details involved in Kemer’s proof of Specht’s conjecture for affine PI-algebras in characteristic 0. This edition presents a tighter formulation of Zubrilin’s theory and contains a more direct proof of the Wehrfritz–Beidar theorem. It also adds more details to the proof of Kemer’s difficult PI-representability theorem and develops several newer techniques, such as the "pumping procedure."