Some Theorems On Matrices With Real Quaternion Elements

Abstract

Matrices with real quaternion elements have been dealt with in earlier papers by Wolf (10) and Lee (4). In the former, an elementary divisor theory was developed for such matrices by using an isomorphism between n×n real quaternion matrices and 2n×2n matrices with complex elements. In the latter, further results were obtained (including, mainly, the transforming of a quaternion matrix into a triangular form under a unitary similarity transformation) by using a different isomorphism.