Rings with Involution and Polynomial Identities

Abstract

An involution * of a ring A is a one-one additive mapping of A onto itself such that (xy)* = y*x* and x** = x for all x, y ∊ A. If A is an algebra over a field Φ, one makes the additional requirement that (λx)* = λx* for all λ ∊ Φ, x ∊ A. S will generally denote the set of symmetric elements s* = s, K the set of skew elements , and Z the centre of A.