The identities valid in the
ring of real quaternions are defined in more general classes of rings with involution.
With one exception, these classes of rings satisfy the standard polynomial of degree 4
and form a chain under inclusion. There are examples which show that these
inclusions are proper. An example of an exterior algebra shows that a ring with
involution whose symmetric elements commute does not necessarily satisfy the
standard polynomial of degree 4.