An alternative canonical form for quaternionic \(H\)-unitary matrices (Q2029852)

Let $H$ be the quaternion ring. Let $(A,H)$ be a pair of matrices over $H$. The matrix $A$ is \(H\)-unitary if $H=H^*$ is invertible and $A^*HA=H$. The authors find an invertible matrix $S$ such that the transformations from $(A,H)$ to $(S^{-1}AS,S^*HS)$ brings the matrix A in Jordan form and simultaneously brings $H$ into a canonical form. The authors found inspiration for their work in the results in [the authors, Oper. Matrices 10, No. 4, 739--783 (2016; Zbl 1360.15015); Oper. Theory: Adv. Appl. 271, 269--290 (2018; Zbl 1473.15020)]. Their main goal is the study of a quaternionic pair of matrices, a topic that is still under development (see [\textit{L. Rodman}, Topics in quaternion linear algebra. Princeton, NJ: Princeton University Press (2014; Zbl 1304.15004)]).