Quaternion involutions and anti-involutions

An involution or anti-involution is a self-inverse linear mapping. In this paper we study quaternion involutions and anti-involutions. We review formal axioms for such involutions and anti-involutions. We present two mappings, one a quaternion involution and one an anti-involution, and a geometric interpretation of each as reflections. We present results on the composition of these mappings and show that the quaternion conjugate may be expressed using three mutually perpendicular anti-involutions. Finally, we show that projection of a vector or quaternion can be expressed concisely using three mutually perpendicular anti-involutions.