Polynomial identity algebras with involution

Abstract

It has been shown by W. Baxter and W. S. Martindale that if R R is an algebra with involution over a field F F of characteristic not 2, and the symmetric elements of R R are algebraic and satisfy a polynomial identity, then R R is locally finite. This paper extends their result to an arbitrary field, giving a new proof which is independent of the characteristic of F F .