All Questions
Tagged with ra.rings-and-algebras linear-algebra
252 questions
-3
votes
0
answers
131
views
A presentation for the group $GL(n,\mathbb{Z}_p)$
Let $n\ge 2$. Let $p$ be a prime and $\mathbb{Z}_p$ denote the finite field with $p$ elements.
I want to know about the presentation for the group $GL(n,\mathbb{Z}_p)$ consisting of its generators and ...
- 103
9
votes
3
answers
1k
views
Examples of combinatorial problems where the only known solutions, or most "natural" solutions, use representation theory?
In Solution of two difficult combinatorial problems with linear algebra, Robert Proctor presents two simply stated combinatorial problems, and gives solutions to them using a linear algebraic approach ...
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
1
vote
0
answers
37
views
Bounding the length of an R-module of matrices
Loosely related to this: Bounding the length in a module of evaluated skew polynomials
Let $C$ be an $\mathbb{F}_q$-vector subspace of $m \times n$ matrices over $\mathbb{F}_q$. Assume WLOG that $m \...
- 223
1
vote
0
answers
60
views
Bounding the length in a module of evaluated skew polynomials
Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
- 223
1
vote
0
answers
189
views
The existence of solutions to linear systems of equations over the integer ring $\mathbb{Z}$
There are already detailed results on the solutions of linear equations over fields, but I'd like to inquire about any good conclusions regarding the solutions of linear equations over the integer ...
- 173
7
votes
0
answers
224
views
Decomposing an endomorphism as a tensor product
$\DeclareMathOperator\End{End}$Let $f$ be an endomorphism of the finite-dimensional vector space $V$, over the field $K$. The question of whether $f$ is decomposable, that is, whether $V$ can be ...
- 2,287
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
0
votes
0
answers
121
views
Representation of anti-commuting matrices in $\mathbb{C}^{2}$
This is a cross posting updated question from MSE. I have not got any answers there yet and I really want to understand this problem.
The basic question is the following. Let $V$ be a finite-...
- 1,305
0
votes
1
answer
170
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 215
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
11
votes
2
answers
550
views
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Playing around with the case $n = 2$, I’m pretty sure ...
- 63.9k
2
votes
0
answers
101
views
On the irreducible submodules of adjoint representations $\text{ad}^{0}$
Let $k$ be a finite field of characteristic $p$. Let $H$ be a subgroup of $\rm{GL}_{n}(k)$ of order prime to $p$ where $n\geq2$. Assume that the representation $H\hookrightarrow \rm{GL}_{n}(k)$ is ...
- 667
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
4
votes
1
answer
211
views
Nonempty intersection of cosets of finite-index subgroups
$\DeclareMathOperator\lcm{lcm}$This question is crossposted from MSE.
Let $H_1,\dots,H_{n+2}$ be cosets of finite-index subgroups of $\mathbb{Z}^n$ and suppose for all $i=1,\dots,n+2$, $\bigcap_{j\neq ...
- 10.6k
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
5
votes
1
answer
210
views
Relation between row space and column space resp. null space and left null space over general rings
Let $R$ be a ring and $M\in\text{Mat}(R,m\times n)$ a matrix for $m,n\in\mathbb{N}$. What results are known about the relation between column space (cs, image) and row space (rs), resp. null space (...
- 231
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
7
votes
1
answer
633
views
Given a rational matrix $Q$, can we generate $\langle Q^{i}(v)\mid i\in\mathbb Z,v\in\mathbb Z^{2}\rangle$ using only non-negative powers of a matrix?
I have copied this question from StackExchange, thank you to those who helped me to improve the question. (apology if you have seen this question already)
Let $Q $ be a matrix in $ \operatorname{GL}(...
- 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
2
votes
1
answer
123
views
Polar decomposition with respect to the nonstandard involution of quaternionic matrices?
The quaternions admit infinitely many involutions. But up to isomorphism, there are only two: The standard one $t+xi+yj+zk\mapsto t-xi-yj-zk$ and the nonstandard one $\phi:t+xi+yj+zk\mapsto t-xi+yj+zk$...
- 4,943
2
votes
2
answers
190
views
Do positive-definite elements in finite-dimensional $*$-algebras over $\mathbb R$ always admit square roots?
Let $A$ be a finite-dimensional $*$-algebra over $\mathbb R$. We say that an element $x \in A$ is positive definite if $x$ admits an inverse and if $x = y y^*$ for some $y \in A$. Does every such $x$ ...
- 4,943
1
vote
2
answers
332
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
- 431
5
votes
1
answer
391
views
A question on linear algebra over non-Archimedean local field
Let $\mathbb{F}$ be a non-Archimedean local field. Let $\{T_a\}_{a=1}^\infty$ be a sequence of linear operators $\mathbb{F}^n\to\mathbb{F}^n$ of rank $n$. After a choice of subsequence, is it ...
- 21.8k
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
3
votes
0
answers
173
views
Where could a paper on a unification of matrix decompositions be published?
I've got a paper which shows that when the spectral theorem (as a statement that every self-adjoint matrix can be unitarily diagonalised) is naively generalised to $*$-algebras other than the complex ...
- 4,943
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
7
votes
1
answer
338
views
One-sided ideals in the algebra of endomorphisms of an infinite dimensional vector space
$\newcommand\End{\operatorname{End}}$Let $V$ be an infinite-dimensional vector space over some field. It is well known that for each infinite cardinal $\kappa$ such that $\kappa<\dim V$ the subset ...
- 47.3k
2
votes
0
answers
85
views
Name for closure property: set of maps closed under taking $(f,g)\mapsto (f-g)/2$
Suppose that $F$ is a collection of functions mapping some set $\Omega$ to $\mathbb{R}$, with the following closure property: whenever $f,g\in F$, we also have $(f-g)/2\in F$. Is there a name for this ...
- 6,541
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
4
votes
0
answers
206
views
Isomorphism between tensor product of exterior power spaces
Suppose that $V_1, V_2, V_3$ are finite dimensional vector spaces over $\mathbb{C}$ of dimensions $d_1, d_2, d_3$, respectively. Suppose that $V_1, V_2, V_3$ are equipped with inner products, so that ...
- 730
1
vote
0
answers
66
views
Tucker decompositions over arbitrary fields
Given an $n$-mode tensor $\mathcal{T}\in\mathbb{R}^{d_1\times\dotsb\times d_n}$, there exists a Tucker decomposition of $\mathcal T$ of the form
$$\mathcal{T} = \mathcal{X}\times_1 W_1\times_2\dotsb\...
- 228
7
votes
2
answers
554
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
3
votes
0
answers
89
views
Non-associative algebras and determinant over 3 by 3 matrices
I have a non associative algebra $A$ that is not unital. And I have three by three matrices $X$ with coefficients over $A$ with a matrix product $*$. I'd like to define something like the determinant ...
- 295
0
votes
1
answer
236
views
Apparent occurrence of the dual numbers in the Jordan decomposition
Maybe this question is too elementary or too vague, but there might be something interesting here:
A $2 \times 2$ Jordan matrix is of the form $\begin{pmatrix} \lambda & 1 \\ 0 & \lambda\end{...
- 4,943
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
0
votes
0
answers
253
views
Determinant of chain complexes
Let $\mathcal{C}$ be the category of bounded cochain complexes of $R$-modules for a commutative ring $R$. I am trying to prove the following formula involving determinant $\text{Det}(F)$ of a map of ...
user30211
2
votes
1
answer
2k
views
Under which conditions: dim(W1 + W2 + W3) = dim(W1) + dim(W2) + dim(W3) − dim(W1 ∩ W2) − dim(W2 ∩ W3) − dim(W3 ∩ W1) + dim(W1 ∩ W2 ∩ W3) [closed]
Let $V$ be a finite dimensional vector space over a field $K$, and let $W_1$, $W_2$ and $W_3$ be subspaces of $V$. By analogy with the inclusion-exclusion principle for sets, and taking into account ...
user468543
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
43
votes
18
answers
5k
views
Results in linear algebra that depend on the choice of field
Linear algebra as we learn it as undergraduates usually holds for any field (even though we usually learn it for the complex, or real, numbers).
I am looking for a list of concepts, and results, in ...
1
vote
0
answers
144
views
Has anyone studied this possible generalisation of the Singular Value Decomposition to all commutative $*$-rings?
I don't know any abstract algebraists personally, which is why I'm asking this question here.
Let $(R,*)$ be a commutative $*$-ring where $*:R \to R$ is an involution. Each conjecture below is stated ...
- 4,943
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
36
votes
3
answers
2k
views
Are large powers of polynomials linearly independent?
Let $P_1,\dots,P_k$ be polynomials over $\mathbf{C}$, no two of them being proportional.
Does there exist an integer $N$ such that $P_1^N,\dots,P_k^N$ are linearly independent?
- 4,653
4
votes
1
answer
175
views
Is it possible to complete a basis for a free module over a finite-dimensional associative unital real algebra?
Let $\mathbb F$ be a finite-dimensional associative unital real algebra. Consider $V:=\mathbb F^n$ and let's say $p \in V$ is good if $xp=0$ only has $x=0$ as solution.
Question: If $p_1$ is good, ...
- 394
34
votes
8
answers
4k
views
Uncountable counterexamples in algebra
In functional analysis, there are many examples of things that "go wrong" in the nonseparable setting. For instance, my favorite version of the spectral theorem only works for operators on a ...
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