A brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices

The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More precisely, we prove that every bounded group of matrices with quaternion entries is similar to a group of unitary quaternion matrices.