Search arXivSearch

arXiv · 2409.16906

Jordan embeddings and linear rank preservers of structural matrix algebras

Abstract

We consider subalgebras $\mathcal{A}$ of the algebra $M_n$ of $n \times n$ complex matrices that contain all diagonal matrices, known in the literature as the structural matrix algebras (SMAs). Let $\mathcal{A} \subseteq M_n$ be an arbitrary SMA. We first show that any commuting family of diagonalizable matrices in $\mathcal{A}$ can be intrinsically simultaneously diagonalized (i.e. the corresponding similarity can be chosen from $\mathcal{A}$). Using this, we then characterize when one SMA Jordan-embeds into another and in that case we describe the form of such Jordan embeddings. As a consequence, we obtain a description of Jordan automorphisms of SMAs, generalizing Coelho's result on their algebra automorphisms. Next, motivated by the results of Marcus-Moyls and Molnar-Šemrl, connecting the linear rank-one preservers with Jordan embeddings $M_n \to M_n$ and $\mathcal{T}_n \to M_n$ (where $\mathcal{T}_n$ is the algebra of $n \times n$ upper-triangular matrices) respectively, we show that any linear unital rank-one preserver $\mathcal{A} \to M_n$ is necessarily a Jordan embedding. As the converse fails in general, we also provide a necessary and sufficient condition for when it does hold true. Finally, we obtain a complete description of linear rank preservers $\mathcal{A} \to M_n$, as maps of the form $X\mapsto S\left(PX + (I-P)X^t\right)T$, for some invertible matrices $S,T \in M_n$ and a central idempotent $P\in\mathcal{A}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ilja Gogić, Mateo Tomašević. 2024-11-19. Jordan embeddings and linear rank preservers of structural matrix algebras. https://doi.org/10.1016/j.laa.2024.11.013

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA

Normal Quaternionic Matrices and Finitely Generated Witt Rings

We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group. We develop a description of the entire structure of an abstract Witt ring with $2^n$ square classes in terms of a unique $n\times n$ matrix satisfying a small additional condition that particularly holds for Witt rings of fields. Via computational search, we find all these matrices for $n$ up to $7$. This verifies that all Witt rings of fields with up to $128$ square classes are of elementary type.

math.RA

An introduction to the algebra of rings and fields

This is an introduction to rings and fields, written for a quarter-long undergraduate course. It includes the basic properties of ideals, modules, algebras and polynomials, the constructions of ring extensions and finite fields, some number-theoretical applications (such as a proof of quadratic reciprocity and Jacobsthal's formulas for $p = x^2 + y^2$), and tastes of Gröbner bases and the Smith normal form. Familiarity with groups and vector spaces is assumed, though no deep results from either theory are used. Over 250 exercises are included (mostly without solutions).

math.RA