Automorphisms of Mn, partially ordered by the star order
Peter Legiša · Linear and Multilinear Algebra · 2005
Let Mn be the space of all n × n matrices with coefficients in [image omitted] or [image omitted], where n ≥ 3. The star order on Mn is defined by [image omitted] iff [image omitted], where A* is the Hermitian adjoint (i.e., the conjugate transpose) of A. We characterize surjective mappings Φ on Mn such that [image omitted] iff [image omitted]. The tools we use are the Fundamental theorem of projective geometry, Wigner's theorem, and the Penrose decomposition, which we need to describe the main result as well.