Azumaya Algebras with Involution, Polarizations, and Linear Generalized Identities Original Research Article

An algebra R with anti-isomorphism (*) is shown to be Azumaya if (*) is given by an element of R circle times operator Rop; in particular, this is the case if the canonical map R circle times operator CRop → EndC(R) is onto. Consequently, the existence of a strict polarization often implies that an algebra is Azumaya. On the other hand, all simple rings have polarizations, and algebras with involution of the second kind have polarizations. These results are obtained via the theory of generalized polynomial identities.