Related papers: A note on Products of Nilpotent Matrices
Problem 10 of the Landelijke Interuniversitaire Mathematische Olympiade 2010 asks for a proof that all matrices in a certain family are nilpotent. Both model solutions prove this using the Cayley-Hamilton theorem. I give a purely…
We give partial answers to the following question: if $F$ is an $m$ by $m$ matrix on $\mathbb{R}^n$ satisfying a second order linear elliptic equation, does $\det F$ satisfy the strong unique continuation property? We give counterexamples…
We provide a complete classification of matrix semirings $\mathbf{M}_n(S)$ over two-element additively idempotent semirings $S$ with respect to the finite basis property.Our main theorem shows that for every integer $n \geq 2$,the semiring…
We determine the class of Hilbert series H so that if M is a finitely generated zero-dimensional R-graded module with the strong Lefschetz property, then the tensor product of M and k[y]/(y^m) has the strong Lefschetz property for y an…
This note deals with a simultaneous approximation of several matrices by a finite family of diagonalizable matrices satisfying an additional condition for the spectrum of a matrix product. That is the simplicity of all eigenvalues.
We show how one can use non-prime-power, composite moduli for computing representations of the product of two $n\times n$ matrices using only $n^{2+o(1)}$ multiplications.
Let $\mathfrak{M}(\mathbb{D}, m, n, P)$ be the ring of all $m \times n$ matrices over a division ring $\mathbb{D}$, with the product given by $A \bullet B=A P B$, where $P$ is a fixed $n \times m$ matrix over $\mathbb{D}$. When $2\leq m, n…
Let F be an algebraically closed field of characteristic different from 2. We show that every nonsingular skew-symmetric n by n matrix X over F is orthogonally similar to a bidiagonal skew-symmetric matrix. In the singular case one has to…
Let the pair $(\mathfrak{g},J)$ be a nilpotent Lie algebra $\mathfrak{g}$ (NLA for short) endowed with a nilpotent complex structure $J$. In this paper, motivated by a question in the work of Cordero, Fern\'andez, Gray and Ugarte, we prove…
Let $G$ be a finite 2-group of maximal nilpotency class, and let $BG$ be its classifying space. We prove that iterated Massey products in $H^*(BG;\F_2)$ do characterize the homotopy type of $BG$ among 2-complete spaces with the same…
We study which matrices are sums of idempotents over a field of non-zero characteristic; in particular, we prove that any such matrix, provided it is large enough, is actually a sum of five idempotents, and even of four when the field is a…
For pedagogical purposes (inclusion in lecture notes) we review the proof of the theorem stated in the title. At the end we state a problem.
Let $R$ be a finite unitary ring such that $R=R_0[R^*]$ where $R_0$ is the prime ring and $R^*$ is not a nilpotent group. We show that if all proper subgroups of $R^*$ are nilpotent groups, then the cardinal of $R$ is a power of prime…
We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to…
A new property, the strong singular value property, is introduced, developed, and utilized to study the problem of which lists of nonnegative real numbers occur as the singular values of a matrix with a prescribed zero-nonzero pattern.
Let GL(n,q) be the group of nxn invertible matrices over a field with q elements, and SL(n,q) be the group of nxn matrices with determinant 1 over a field with q elements. We prove that the product of any two non-central conjugacy classes…
Recently, Bapat and Kurata [\textit{Linear Algebra Appl.}, 562(2019), 135-153] defined the Cartesian product of two square matrices $A$ and $B$ as $A\oslash B=A\otimes \J+\J\otimes B$, where $\J$ is the all one matrix of appropriate order…
We study the following question: under what conditions extension of one residually nilpotent group by another residually nilpotent group is residually nilpotent? We prove some sufficient conditions under which this extension is residually…
We present a new proof of a theorem of Schur's determining the least common multiple of the orders of all finite groups of complex $n \times n$-matrices whose elements have traces in the field of rational numbers. The basic method of proof…
Let F be the category of finite dimensional representations of an arbitrary quantum affine algebra. We prove that a tensor product $S_1\otimes ... \otimes S_N$ of simple objects of F is simple if and only if for any $i < j$, $S_i\otimes…