Polynomial Identity Algebras

Abstract

Definitions. A ring R is a polynomial identity ring (or PI ring for short) if R satisfies a monic polynomial f ∈ ℤ 〈X〉. Here, ℤ〈X〉 is the free ℤ-algebra on a finite set, X={x 1,...,x m } and to say that R satisfies f=f(x 1,...,x m ) means f(r 1,...,r m )=0 for all r 1,...,r m ∈ R. That f is monic means that at least one of the monomials of highest degree in f has coefficient 1; here degree refers to total degree. The minimal degree of a PI ring R is the least degree of a monic polynomial identity for R.