All Questions
129 questions
15
votes
1
answer
518
views
Pairs of matrices for which traces of powers are independent of the order
Let $A,B$ be $n\times n$ matrices over ${\mathbb C}$ such that, for all $m,k$ and all partitions $(i_1,\ldots ,i_r)$ of $m$ and $(j_1,\ldots ,j_r)$ of $k$ (perhaps with some zero parts),
$${\rm tr}\, (...
- 1,336
8
votes
1
answer
361
views
Invertible matrix with group ring coefficient
Before asking the question I do need
some notations.
$G$ a (torsion-free) group, $\mathbb{Z}^{´}=\mathbb{Z}[\frac{1}{2}]$
$R:= \mathbb{Z}[G]$, $R^{´}=\mathbb{Z}^{´}[G]$ group rings.
$Mat_{n}(R)$ the ...
- 223
15
votes
3
answers
1k
views
Are automorphisms of matrix algebras necessarily determinant preservers?
Is every automorphism $\phi : A \to A$ of a subalgebra $A \subseteq M_n$ necessarily a determinant preserver?
I would assume that the answer is no in general, but I'm unable to find an example (or any ...
- 261
0
votes
2
answers
208
views
Real matrix rings and associative hypercomplex numbers
Are there real matrix rings which are not hypercomplex number systems? Is there a canonical form of a real matrix ring?
By a hypercomplex number system I mean a finite-dimensional, unital, associative ...
- 21
1
vote
0
answers
77
views
$M^2=0$ defines a Koszul algebra ? What if $M$ is Manin's endomorphism's of Koszul $A$ ? (Here $M^2=\sum_k M_{ik}M_{kj}$ - resembles $d^2=0$).)
Consider a matrix $M$ which elements $M_{ij}$ are generators of some algebra $K$,
impose new relations: $M^2=0$ and get a new algebra $K_{2}$.
Question 1: Is it true that $K_2$ is Koszul algebra when ...
- 24.8k
0
votes
0
answers
33
views
determinantal ideal of sum of Galois conjugate matrices
Given $n$ matrices $A_i \in \mathbb{Z}^{m\times m}$. I am interested in the ideal $I_d(A)$ generated by the $d\times d$-minors of $A = \sum_{i=1}^n x_iA_i \in \mathbb{Z}[x_1, \dots , x_n]$.
The matrix ...
- 61
6
votes
1
answer
239
views
Attempts to define a matrix exponential over (as much as possible) general fields
Given a $n \times n$ matrix $A$ over the complex numbers, the exponential of $A$ is defined as
$$\exp(A) := \sum_{k = 1}^\infty \frac1{k!} A^k , \qquad \tag{$\star$}\label{468645_star}$$
where ...
- 361
1
vote
2
answers
152
views
Property for bounding matrix exponential
Wikipedia states in the exponential map section about the exponential of a matrix that for any matrices $X$, $Y$ it holds that $\|e^{X+Y}-e^{X}\| \leq \|Y\|e^{\|X\|} e^{\|Y\|}$ where $\|\cdot\|$ ...
- 21
1
vote
1
answer
178
views
Matrices over a finite field: matrices for which some unipotent $U$ satisfies Trace$(ZU)=0$ for all $Z$ in the commutant
Let $p$ be an odd prime number, let $A\in M_p(\mathbb{F}_p)$ be a $p$-by-$p$ matrix with coefficients in $\mathbb{F}_p$, let $C(A)$ be the commutant of $A$, and let $N\in M_p(\mathbb{F}_p)$ be a ...
- 3,741
1
vote
0
answers
72
views
Eigenvalues of a subset of matrix semigroup
My apologies for slightly longer post but I wanted to explain lower dimensional cases and their proofs before asking the actual question, which starts after the phrase The general case below.
A two-...
- 111
2
votes
1
answer
298
views
Is there a combinatorial interpretation for the change of basis matrix in the Frobenius normal form representation?
Let $G$ be a graph on $n$ vertices. Let $A$ be the adjacency matrix of $G$ (i.e., rows and columns of $A$ are indexed by vertices of $G$, and the $(v,w)$ entry of $A$ is $1$ if $(v,w)$ is an edge in $...
- 557
0
votes
1
answer
171
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 823
1
vote
1
answer
252
views
Smith normal form and last invariant factor of certain matrices
I've copied over this question from what I asked on Mathematics Stack Exchange, in the hope that some experts can provide some relevant insight.
Suppose we have row vectors $x_1$, $x_2$ , $y_1$ , $y_2 ...
- 823
1
vote
0
answers
62
views
About nilpotent Jordan algebras, matrix representations and formally real algebras
Given an non-commutative associative unital algebra A of characteristic $0$, one can construct a Jordan algebra $A+$ using the same underlying addition vector space.
Notice first that an associative ...
- 769
0
votes
0
answers
112
views
What are the properties of square-matrix algebra with this equivalence class?
Consider the set of all square matrices with the following equivalence class:
$\mathbf{A}\sim\mathbf{A}\otimes\mathbf{I}_n$ (or, alternatively, as user @M.G. proposed, $\mathbf{A}\sim\mathbf{I}_n\...
- 10.1k
4
votes
1
answer
266
views
Positive system of algebraic integers
Let $\mathbb{A}$ be the ring of algebraic integers. Consider a sequence $(d_i)_{i \in I}$, with $I$ a finite set and $d_i \in \mathbb{A} \cap \mathbb{R}_{\ge 1}$, such that $$d_i d_j = \sum_{k \in I} ...
9
votes
1
answer
253
views
Linear subspaces of $\mathrm{GL}_n(\mathbb{R})$ whose inverses are also linear subspaces
$\DeclareMathOperator\GL{GL}$We will call a subset $S \subset \GL_n(\mathbb{R})$ a linear subspace if it is of the form $S = S'\cap \GL_n(\mathbb{R})$ for some $S'\subset M_n(\mathbb{R})$ which is a ...
- 2,178
3
votes
0
answers
132
views
the growth rate of poly-$\mathbb{Z}$ group
I am interested in the growth rate of the poly-$\mathbb{Z}$ group. Let $G$ be a poly-$\mathbb{Z}$ group, i.e $$G =(\dots((\mathbb{Z} \rtimes_{\phi_1} \mathbb{Z})\rtimes_{\phi_2} \mathbb{Z}) \rtimes_{\...
- 823
2
votes
1
answer
512
views
Submatrices of matrices in $\mathrm{SL}(4, \mathbb{Z})$ with all eigenvalues equal to $1$ [closed]
This is a follow-up question to my question from Math Stackexchange (Thank you Dietrich Burde and Michael Burr for the help).
Let $M\in \mathrm{SL}(4, \mathbb{Z})$ with all eigenvalues equal to $1$ (i....
- 823
3
votes
0
answers
211
views
Conjugacy class of upper triangular matrices over algebraically closed field: Reference request
We know that the conjugacy classes of $A\in M_n(\mathbb{C})$ are determined by the characteristic polynomial of $A$ and a partition of $n$. Is there an analogous statement for upper triangular ...
- 265
4
votes
1
answer
477
views
Are eigenvalues preserved under derived equivalence?
Let $A$ and $B$ be finite dimensional algebras such that $A$ and $B$ are derived equivalent.
Denote by $C_A$ (resp. $C_B$) the Cartan matrix of $A$ (resp. $B$).
Then does the set of eigenvalues of $...
- 49
5
votes
3
answers
672
views
Finite index subgroup of $\mathbb{Z}^2$ that is invariant under a non-singular matrix
Let $M $ be a matrix in $ \operatorname{GL}(2, \mathbb{Z})$ that has at least one eigenvalue of absolute value strictly bigger than $1$. What are the finite index subgroups $H$ of $\mathbb{Z}^2$ such ...
- 823
7
votes
2
answers
553
views
When is the rank of $AB+BA$ equal to one?
For two arbitrary matrices $A$ and $B$, are there any known conditions for the rank of $AB+BA$ to be equal to one?
- 171
1
vote
1
answer
134
views
Nilpotent matrices with (Motzkin-Taussky) property L
One of the consequences of the well-known Motzkin-Taussky theorem (https://www.jstor.org/stable/1990825) is the following : if two complex matrices $A, B$ generate a vector space of diagonalisable ...
- 13
1
vote
1
answer
292
views
Hessian matrix of vectorized matrix product
I need to find the Hessian Matrix of $f(X,Y) = C \operatorname{vec} (A X^{-1} Y)$ where $C$ and $A$ are constant matrices and $X$ and $Y$ are the variable matrices. This would be a vector function of ...
- 11
8
votes
1
answer
520
views
For every ring R, is there a block-diagonal canonical form for a square matrix over R?
This question asks whether there exists an analogue of the Jordan decomposition for an arbitrary ring $R$. This analogue is not necessarily the Jordan-Chevalley decomposition, which is unnecessarily ...
- 4,943
8
votes
0
answers
285
views
Matrix decompositions as monoid isomorphisms. Ever considered before?
I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question:
...
- 4,943
2
votes
1
answer
255
views
Is the number of values the sign function can take on a ring ("signedness") of any fundamental importance? Can it be predicted?
There are well-described methods of generalizing arbitrary functions to matrices in a natural way.
Basically, if $A=PD_AP^{-1}$ where $D_A$ is a diagonal matrix, then $f(A)=Pf(D_A)P^{-1}$, where the ...
- 10.1k
-5
votes
1
answer
197
views
Can we say that everywhere where it makes sense $\log_0 x=0^x$? Are they equal, the function is self-inverse? If so, what is deep intuition behind it? [closed]
It makes little reason to speak about $0^x$ and $\log_0 x$ on the set of real numbers, but in matrices, it seems, the expressions coincide, for instance,
$0^ \left(
\begin{array}{cc}
\frac{1}{2} &...
- 10.1k
2
votes
1
answer
187
views
A closed subgroup $G$ of $\operatorname{GL}_2 \mathbb{Z}_\ell$ which surjects onto $\operatorname{GL}_2 \mathbb{F}_\ell$
Let $\ell \ge 5$ be a prime and $G$ be a closed subgroup of $\operatorname{GL}_2 \mathbb{Z}_\ell$ whose image in $\operatorname{GL}_2 \mathbb{F}_\ell$ is $\operatorname{GL}_2 \mathbb{F}_\ell$.
Then $G ...
- 185
4
votes
1
answer
202
views
Subalgebras of singular matrices (less naive version)
Is it true that, for any subalgebra $\cal S$
of the algebra of linear operators in a finite-dimensional vector space $V$ over a field,
$$
\bigcap_{A\in\cal S}\ker A=\{0\}\hbox{ and }
\bigcup_{A\in\cal ...
- 3,932
5
votes
1
answer
194
views
Subalgebras of singular matrices
Is it true that any subalgebra of singular matrices have a common null-vector?
In other words, is it true that, for any subalgebra $\cal S$
of the algebra of linear operators in a finite-dimensional ...
- 3,932
14
votes
1
answer
751
views
Is this "semi-tensor product" something recently invented? Are there other usages of it?
The context: I was reading a paper in which they used the following definition called "Semi-Tensor Product" (STP) or "Cheng" product (In honor to its "inventor" D. Cheng):...
- 344
13
votes
3
answers
1k
views
Are the trace relations among matrices generated by cyclic permutations?
Let $X_1,\dots,X_n$ be non commutative variables such that $\operatorname{tr} f(X_1,\dots,X_n) = 0$ whenever the $X_i$ are specialized to square matrices in $M_r(k)$ for any $r \geq 1$. Does this ...
- 7,736
4
votes
1
answer
178
views
Can all finite-dimensional noncommutative algebras with trace be trace-preserving embedded into matrix rings?
Suppose I have a finite (non-)commutative ring $R/k$ (over a field $k$ of char $0$) with a linear "trace" function $t: R \to k$. Can I always find an embedding $f: R \to M_r(k)$ compatible ...
- 7,736
3
votes
1
answer
173
views
Subalgebras of the Temperley-Lieb algebra
I've recently met with the Temperley-Lieb algebra in my work. I'm in no way a specialist, and it's seems like a pretty simple question, but nevertheless. I'm interested in the subalgebra generated by ...
8
votes
1
answer
340
views
General Sylvester's linear matrix equation
For what conditions on $A$, $B$ and $C$ (square matrices of size $n$) would there be a unique solution to
$$
ABX + AXC + XBC = D,
$$
for any $D$? Can one expect a characterization similar to the ...
- 1,216
28
votes
1
answer
2k
views
Integer matrices which are not a power
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Sp{Sp}$In a group $G$, an element $g$ is said to be primitive if there is no $h \in G$ and integer $n >1$ such that $g = h^n$. (For clarification, I ...
0
votes
1
answer
213
views
Principal minors and similarity
Given two real and irreducible matrices $A$ and $B$ of size $n \times n$. A matrix $A$ is irreducible if there is no permutation matrix $Q$ so that
$$
Q^{-1} A Q = \begin{bmatrix} E & G \\ 0 & ...
- 909
3
votes
0
answers
327
views
Homology $H_{\ast}(T, V)$
Let $A$ be a local domain. We let $T=T(A) $ be the subgroup of $\mathrm{SL}_{2}$ consisting of diagonal matrices and $V$ be the subgroup of unital matrices of $\mathrm{SL}_{2}$; i.e.
$V:=\left\{\left(
...
- 259
9
votes
1
answer
472
views
$M = AA^t$ where $A$ has unit norm columns
Let $M \in \mathbb{R}^{k\times k}$ positive definite with $\operatorname{tr} M = m$, where $m$ is an integer such that $m \geq k$. I have found a way (using this answer) to decompose $M = AA^t$ with $...
- 185
2
votes
3
answers
324
views
Efficient algorithm for matrix equation $AXB + BXA = F$
For $n\in\mathbb{N}$, let $A\in\mathbb{R}^{n\times n}$ and $B\in\mathbb{R}^{n\times n}$ be two symmetric positive definite matrices and let $F\in\mathbb{R}^{n\times n}$ be arbitrary.
Is there any ...
- 205
3
votes
0
answers
39
views
A non-singularity property for sets of real matrices
Let $M_N(\mathbb{R})$ be the ring of $N\times N$ real matrices. We say that a couple $(\mathcal{U},\mathcal{V})$, with $\mathcal{U},\mathcal{V}\subseteq M_N(\mathbb{R})$ is admissible if, for every $A\...
- 943
44
votes
2
answers
2k
views
Fermat's Last Theorem for integer matrices
Some years ago I was asked by a friend if Fermat's Last Theorem was true for matrices. It is pretty easy to convince oneself that it is not the case, and in fact the following statement occurs ...
- 1,889
12
votes
1
answer
382
views
Characteristic polynomial of an $8 \times 8$ symmetric matrix with indeterminate entries related to octonionic multiplication
I consider $1,i,j,k,l,m,n,o$ the standard basis of the (complexified if you like) octonions ($\mathbb{O}$ for the octonions).
Let $a = x_1.1 +\ldots + x_8.o$, $b = x_9.1+ \ldots + x_{16}.o$ and $c = ...
- 7,300
5
votes
0
answers
91
views
elementary matrices over a regular ring
Let $n\in\mathbb{N}$ with $n\geq 3$. Let $A$ be a regular ring and $\gamma\in GL_{n}(A)$. We suppose that $\gamma$ is homotopic to the identity, i.e. there exists $\alpha\in GL_{n}(A[X])$ such that $\...
- 3,472
6
votes
0
answers
259
views
Diameter of finite rational matrix groups
Suppose $G$ is a finite subgroup of $\mathrm{GL}(n,\mathbb{Q})$.
For a set $\mathcal{M} \subseteq G$ that generates $G$, define the $\mathcal{M}$-diameter $\mathit{diam}(G, \mathcal{M})$ of $G$ to be ...
- 165
3
votes
0
answers
231
views
Singularity of symmetric block matrix with singular diagonal blocks
One can show that the following statement holds:
Given symmetric matrix $A \in \Re^{n \times n}$ and tall matrix $B \in \Re^{n \times p}$ with full column rank,
$$\begin{bmatrix}A & B \\ B^T &...
- 73
7
votes
0
answers
657
views
Row rank and column rank of matrix with entries in a commutative ring
Let $R$ be a unital commutative ring and $A\in M_{n\times m}(R)$. Under which appropriate invariant "rank" of modules discussed
in "Ranks of Modules"
one can say that the row rank of $A$ is ...
- 356
3
votes
1
answer
454
views
Difference of pseudoinverse bound under assumptions
This seems like a standard problem, but unable to find a solution online.
Suppose we have two singular PSD matrices A and B with the following assumptions:
$ 0 < x \leq ||A|| \leq y$
$ 0 < ||...
- 33