Conpseudosimilarity and consemisimilarity over a division ring (Q913889)

A conjugation of a ring is an involutory automorphism. Each conjugation \(d\mapsto \bar d\) on a division ring D induces a conjugation on \(D_{n\times n}\) via \((\hat A)_{ij}=\bar a_{ij}\). Two matrices over D, A and B, are called consimilar (or \(\wedge\)-similar), if \((S^{\wedge})^{-1}BS=A\) for some invertible S. B is \(\wedge\)- pseudosimilar to A if \((X^ g)^{\wedge}AX=B\) and \(X^{\wedge}BX^ G=A\) for some inner inverses \(X^ g\) and \(X^ G\) of X, i.e. \(XX^ gX=X=XX^ GX\). B is \(\wedge\)-semisimilar to A if \(Y^{\wedge}AX=B\) and \(X^{\wedge}BY=A\) for some X and Y. If \(\Gamma =Z(D)\) is the center of D, and \(z\in \Gamma\), \(z\neq 0\), then \(A^{\wedge}= H^{-1}AH\) \((H^ 2=zI)\) is a conjugation of \(D_{n\times n}\), called weak. Otherwise the conjugation \(X\mapsto X^{\wedge}\) of \(D_{n\times n}\) is called strong. It is shown, that if D is finite dimensional over its center, and \(X\mapsto X^{\wedge}\) is a strong conjugation of \(D_{n\times n}\), then the notions: \(\wedge\)-similarity, \(\wedge\)-pseudosimilarity, and \(\wedge\)-semisimilarity are equivalent. The proof is based on previous results of the authors [ibid. 90, 73-80 (1987; Zbl 0629.15005)] and \textit{N. Jacobson}'s structure theorem on conjugations of \(D_{n\times n}\) [Lectures in abstract algebra, Vol. 2, Linear algebra (1953; Zbl 0053.212)].