Related papers: Common Invariant Subspace and Commuting Matrices

Let A,B be complex n,n complex matrices such that AB-BA and A commute. We show that, if n=2 then A,B are simultaneously triangularizable and if n>=3 then there exists such a couple A,B such that the pair (A,B) has not property L of…

Let A and B be matrices of M_n(C). We show that if exp(A)^k exp(B)^l=exp(kA+lB) for all integers k and l, then AB=BA. We also show that if exp(A)^k exp(B)=exp(B)exp(A)^k=exp(kA+B)$ for every positive integer k, then the pair (A,B) has…

For $k=1,\ldots,K$, let $A_k$ and $B_k$ be positive semidefinite matrices such that, for each $k$, $A_k$ commutes with $B_k$. We show that, for any unitarily invariant norm, \[ |||\sum_{k=1}^K A_kB_k||| \le ||| (\sum_{k=1}^K…

Let $(A_i)_{0\leq i\leq k}$ be generic matrices over $\mathbb{Q}$, the field of rational numbers. Let $K=\mathbb{Q}(E)$, where $E$ denotes the entries of the $(A_i)_i$, and let $\overline{K}$ be the algebraic closure of $K$. We show that…

We prove the following results: let x,y be (n,n) complex matrices such that x,y,xy have no eigenvalue in ]-infinity,0] and log(xy)=log(x)+log(y). If n=2, or if n>2 and x,y are simultaneously triangularizable, then x,y commute. In both cases…

Let X be a complex Banach space of dimension at least 2, and let S be a multiplicative semigroup of operators on X such that the rank of AB - BA is at most 1 for all pairs {A,B} in S. We prove that S has a non-trivial invariant subspace…

Let K be an arbitrary (commutative) field and L be an algebraic closure of it. Let V be a linear subspace of M_n(K), with n>2. We show that if every matrix of V has at most one eigenvalue in K, then dim V<=1+n(n-1)/2. If every matrix of V…

Let $n,\alpha\geq 2$. Let $K$ be an algebraically closed field with characteristic $0$ or greater than $n$. We show that the dimension of the variety of pairs $(A,B)\in {M_n(K)}^2$, with $B$ nilpotent, that satisfy $AB-BA=A^{\alpha}$ or…

Let $V$ be a two-dimensional vector space over a field $\mathbb F$ of characteristic not $2$ or $3$. We show there is a canonical surjection $\nu$ from the set of suitably generic commutative algebra structures on $V$ modulo the action of…

We evidence a family $\mathcal{X}$ of square matrices over a field $\mathbb{K}$, whose elements will be called X-matrices. We show that this family is shape invariant under multiplication as well as transposition. We show that $\mathcal{X}$…

For a finite group $G$, let $d(G)$ denote the probability that a randomly chosen pair of elements of $G$ commute. We prove that if $d(G)>1/s$ for some integer $s>1$ and $G$ splits over an abelian normal nontrivial subgroup $N$, then $G$ has…

Let $p,q$ be coprime integers such that $|p|+|q|>2$. We characterize the matrices $A\in\mathcal{M}_n(\mathbb{C})$ such that $A^p$ and $A^q$ are similar. If $A$ is invertible, we prove that $A$ is a polynomial in $A^p$ and $A^q$. To achieve…

When $\mathbb{K}$ is a field, and $\mathcal{A}$ and $\mathcal{B}$ denote commuting subspaces of $\text{M}_n(\K)$ each of which contains a non-scalar matrix, we prove that $\dim \mathcal{A} +\dim \mathcal{B} \leq (n-1)^2+3$. We also give a…

In this paper we will study $k$-commuting mappings of generalized matrix algebras. The general form of arbitrary $k$-commuting mapping of a generalized matrix algebra is determined. It is shown that under mild assumptions, every…

We investigate self-adjoint matrices $A\in\mathbb{R}^{n,n}$ with respect to their equivariance properties. We show in particular that a matrix is self-adjoint if and only if it is equivariant with respect to the action of a group…

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…

We consider a continuous analogue of Babai et al.'s and Cai et al.'s problem of solving multiplicative matrix equations. Given $k+1$ square matrices $A_{1}, \ldots, A_{k}, C$, all of the same dimension, whose entries are real algebraic, we…

A conjecture by Higman asserts that the number of conjugacy classes in the unipotent group of upper triangular matrices over a finite field depends polynomially on the number of elements of the field. We will study several alternative…

Let A,B be two square complex matrices of dimension at most 3. We show that the following conditions are equivalent i) There exists a finite subset U included in {2,3,4,...} such that for every positive integer t that is not in U,…

For any square-summable commuting family $(A_i)_{i\in I}$ of complex $n\times n$ matrices there is a normal commuting family $(B_i)_i$ no farther from it, in squared normalized $\ell^2$ distance, than the diameter of the numerical range of…