All Questions
Tagged with linear-algebra ac.commutative-algebra
190 questions
14
votes
1
answer
445
views
Similar matrices over $\mathbb Z_p$
Let $A$ and $B$ be two $n \times n$ matrices with entries in $\mathbb Z_p$, the $p$-adic integers. Is it true that $A$ and $B$ are conjugate iff they're conjugate over $\mathbb Q_p$ and over $\mathbb ...
- 683
0
votes
0
answers
100
views
Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]
Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation
$(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
- 563
1
vote
0
answers
95
views
Is it true that the generator of maximal ideal in $M_n(P[x])$ can be choosen to be monic?
Let $P$ be a finite field and $R=M_n(P[x])$ be a matrix polynomial ring.
I want to prove
that for every polynomial (not necessary with invertible leading term) $A(x)\in R$ such that $R\cdot A(x)$ is ...
7
votes
1
answer
3k
views
When does the determinant distribute over addition?
When does $\det(A+B)=\det(A)+\det(B)$ hold?
I actually wonder if there is an easy answer for when $Per(A+B)=Per(A)+Per(B)$.
- 13.9k
2
votes
1
answer
222
views
$C=A \cdot B$ matrices and exact sequence of $DVR$-modules
I'm looking for a proof or a reference for the following statement:
Let $R$ be a DVR (Discrete Valuation Ring) and $p$ a prime element, and let $\mathfrak a$, $\mathfrak b$ and $\mathfrak c$ be ...
- 291
8
votes
1
answer
353
views
$E_n(\ell^\infty)=SL_n(\ell^\infty)$?
Let $R$ be a commutative unital ring $R$ with unit element $1$.
For $n\in \mathbb{N}=\{1,2,3,\cdots\}$, let $SL_n(R)$ be the group of all $n\times n$ matrices with entries from $R$ having ...
- 81
15
votes
1
answer
679
views
Submodules of $({\mathbb Z}/6{\mathbb Z})^n$ intersecting $\{0,1\}^n$ trivially
$\newcommand{\F}{{\mathbb F}}$
$\newcommand{\Z}{{\mathbb Z}}$
Suppose that $\F$ is a finite field of prime order $p:=|\F|$, and let $n$ be a positive integer. I consider the regime where $\F$ is ...
- 23k
8
votes
2
answers
406
views
Matrix diagonalization and eigenvector computation constructively
Assuming Bishop's constructive mathematics, is it true that any real-valued square matrix with distinct roots of the characteristic polynomial can be diagonalized? By distinct, I mean apart: $x \neq y ...
- 791
1
vote
1
answer
152
views
Pairs of matrices
Consider two matrices $A, B\in\mathcal{M}_n(\mathbb{C})$, such that $A, B$ has no common eigenvectors. Is it true that for some nonzero $t\in\mathbb{C}$, matrix $A+tB$ is similar to diagonal matrix $\...
- 291
10
votes
4
answers
2k
views
Formal power series is Taylor expansion of rational function iff Hankel determinants vanish?
Let $$ u(T)=\sum_{n = 0}^\infty a_nT^n$$ be a formal power series over a field $K$. Then why does $u(T)$ lie in $K(T)$ (i.e. is the Taylor expansion of a rational function) if and only if there is an $...
user97565
6
votes
3
answers
1k
views
Complexity of solving systems of linear diophantine equations
It is "well known" that a matrix system $Ax=b$ where $A\in \Bbb Z^{m\times n}$, $x\in \Bbb Z^n,b\in\Bbb Z^m$ for some $m,n \in \Bbb N$, can be solved in polynomial time, using Smith/Hermite Normal ...
- 972
7
votes
2
answers
311
views
The coefficient of a specific monomial in the expansion of the following polynomial
Let $a_{n,k}$ be the coefficient of $$X_1^{\frac{k(n-1)}{2}}X_2^{\frac{k(n-1)}{2}}\cdots X_n^{\frac{k(n-1)}{2}}$$ in the expansion of the real polynomial $$\left(\prod\limits_{1\leq i<j\leq n}(X_j-...
- 1,997
49
votes
14
answers
21k
views
Applications of the Cayley-Hamilton theorem
The Cayley-Hamilton theorem is usually presented in standard undergraduate courses in linear algebra as an important result. Recall that it says that any square matrix is a "root" of its own ...
2
votes
0
answers
61
views
Determining Inconsistency of (first-order) Non-linear System of Equations [closed]
Is there a way I can figure out what values of the coefficients of some system of non-linear equations makes the system inconsistent?
Take the following system of equations as an example. The ...
- 21
3
votes
1
answer
206
views
Characterization of Lagrangian planes in symplectic vector spaces over finite fields [closed]
EDIT: As L Spice pointed out, there is an error in the observation. The question is void therefore
Let $p$ be a prime and $q=p^r$. Let $V$ be a $\mathbb F_q$-vector space of dimension four, with a ...
6
votes
2
answers
462
views
Splitting subspaces and finite fields
Hellow. I'm sure that the following is truth, but I can't prove it.
Let $R<S<K, R=\mathrm{GF}(q),\ S= \mathrm{GF}(q^n), \ K= \mathrm{GF}(q^{mn})$ be a chain of finite fields and
$A = \{\theta\...
2
votes
1
answer
191
views
programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism
Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that
$$
\sum_{i=1}^k n_i+v=n.
$$
Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...
- 1,990
2
votes
2
answers
3k
views
Solving a system of equations using Gröbner basis
In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...
- 23
1
vote
0
answers
59
views
How to associate the following two kinds of real polynomials?
Suppose the following real polynomial of $n$ variables
$$f(X_1,X_2,\cdots,X_n)=\sum_{I=(i_1,i_2,\cdots,i_n)}a_IX_1^{i_1}X_2^{i_2}\cdots X_n^{i_n}$$
is easy or familiar to us, but I need to deal with ...
- 1,997
1
vote
1
answer
781
views
Solving Non-Linear Equations over a Finite Field of a Large Prime Order
I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...
- 11
2
votes
1
answer
299
views
Division and multiplication that preserve Euclidean norms
I am looking for ways to define
$$\frac{1}{x}\in \mathbb{R}^n\quad \quad and\quad \quad x\cdot y\in \mathbb{R}^n ,$$
where $x,y\in \mathbb{R}^n$ such that
$$\left\|\frac{1}{x}\right\|=\frac{1}{\|...
- 309
5
votes
1
answer
231
views
What is the criterion for a matrix containing vectors and their permutations being invertible?
Consider the matrix $A\in\mathbb{R}^{m\times 2m}$. Let any arbitrary choice of $m$ columns of $A$ be linearly independent. Together with a permutation $P\in\mathcal{P_{2m}}$, one can build the matrix $...
- 271
3
votes
0
answers
288
views
When is a polynomial ring free over a graded subalgebra?
Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
user78172
1
vote
1
answer
724
views
Determinants of tensors [closed]
Consider a tensor of dimension $[d]\times[d]\times[d]$ which is symmetric with respect to every permutation of the indices. Are there any $\textbf{explicit}$ formulas for notions like determinant-like ...
- 81
1
vote
1
answer
113
views
Conditions for the consistency of a system of affine polynomials
Let $f_1, f_2,\ldots,f_N$ be some affine polynomials. We consider the question if these polynomials have a common (affine) root. By homogenizing these polynomials, we can associate a projective ...
- 758
3
votes
1
answer
932
views
Extension of scalars and projective limits
Consider a morphism of commutative rings $h\colon R\rightarrow S$. This gives rise to a functor $h^*\colon{\sf Mod}(R)\rightarrow{\sf Mod}(S)$, called scalar extension by means of $h$. This functor ...
- 6,700
3
votes
1
answer
2k
views
Scalar restriction and scalar extension
Consider a morphism of commutative rings $h\colon R\rightarrow S$. This yields the two functors $h_*\colon{\sf Mod}(S)\rightarrow{\sf Mod}(R)$ (scalar restriction) and $h^*\colon{\sf Mod}(R)\...
- 6,700
8
votes
1
answer
202
views
Is there a ring which is not Hermite but is coherent?
Call a commutative unital ring $R$
Hermite if for all $m, n\in \mathbb{N}$ with $m<n$, and all $f\in R^{m\times n}$ such that transpose($f$) is left invertible (with a matrix with entries from $R$ ...
- 85
9
votes
2
answers
900
views
Compute adjugate matrix over commutative ring
Let $A$ be a $n\times n$ matrix over a commutative ring. I'm looking for a good method to compute its adjugate matrix.
My current approach is to use the Cayley-Hamilton theorem:
$$\text{adj}(A) = -(A^...
6
votes
1
answer
725
views
Who defined and who coined "module"?
The title of my Q. says it all:
QUESTION: Who defined and who coined: module?
Would it be Emmy Noether?
EDIT In view of @anon's and KConrad's answers, and as it could have been ...
- 7,500
3
votes
0
answers
211
views
the annihilator of cokernel in a particular case
Let $A\in Mat(m,n;R)$ for $m\le n$ and $R$ a local ring. Consider the $mn\times(m^2+n^2)$ matrix $A\otimes 1_{nn}\oplus 1_{mm}\otimes A^T$, here $1_{mm}$, $1_{nn}$ are identity matrices. I'd like to ...
- 2,232
16
votes
1
answer
711
views
A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space
While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers:
Question: Do there exist a non-trivial ...
- 1,101
3
votes
1
answer
891
views
Is every element of $\mathrm{SL}(n,R)$ of finite order diagonalizable?
Let $k>0$ be an integer, let $R$ be a ring (commutative, unital), which contains $\mathbb{Q}$ (i.e. with a ring homomorphism $\mathbb{Q}\to R$) and all $k$-roots of unity. The examples I have in ...
- 7,722
3
votes
1
answer
262
views
Metabolic vs stably metabolic
Let $A$ be a commutative ring with unit. A non-degenerate symmetric bilinear form $\phi$ on a finitely generated projective $A$-module $P$ is called metabolic if there is a direct summand $L$ of $P$ ...
- 998
4
votes
0
answers
312
views
Dimension of a commuting nilpotent variety
Fix $k$ an algebraically closed field, $n$ a natural number, and $\lambda=(\lambda_1,\ldots,\lambda_m)$ a partition of $n$. Let $A$ be any $n\times n$ nilpotent matrix with entries in $k$ whose ...
- 768
2
votes
1
answer
233
views
Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
Let $M$ be an $m$-by-$n$ matrix, here are three definitions$^5$ that we could use for rank:
$rk(M) = \min k$ such that for matrices $P$, and $Q$ with $P$ of size $m$-by-$k$ and $Q$ of size $k$-by-$n$ ...
1
vote
1
answer
367
views
Irreducibility of a resultant of real and imaginary parts of a characteristic polynomial
The following question is motivated by the study of a stability border for a robust linear time-invariant control system.
Let us we have an affine family of $n\times n$ matrices with indeterminate ($\...
- 413
0
votes
0
answers
320
views
Invariants of the Determinant Form
Consider a form of degree $r$ in $n$, that is, a homogeneous polynomial
$$f(x_1, \ldots, x_n)=\sum_{i_1+\ldots i_n=r}\alpha_{i_1 ... i_n}x_1^{i_1} ... x_n^{i_n}
$$
After the linear change of ...
- 801
3
votes
0
answers
112
views
Nullspace of a matrix modulo an ideal
Suppose $R$ is a multivariate polynomial ring and $I$ is an ideal in $R$.
Let $M$ be a $n\times n$ square matrix with entries in $R$, and suppose that det($M$) lies in $I$.
Thus, $M$ has a non-...
- 31
10
votes
2
answers
2k
views
Characteristic polynomial of exterior power
Suppose $f$ is a linear map, and consider $\Lambda^k f$ as the usual exterior power of $f$ (if you prefer matrices, it is a matrix whose entries are the $k\times k$ minors of $f.$) The coefficients of ...
- 96.4k
4
votes
2
answers
401
views
Variety determined by interior product of the determinant?
Let $\Lambda^k(V)$ be the space of alternating $k$-linear tensors on $V$. Consider the map $f: \left(\mathbb{R}^n\right)^{n-k} \to \Lambda^k(\mathbb{R}^n)$ given by $\left(v_1,v_2, ..., v_{n-k}\right)...
- 12.1k
0
votes
3
answers
2k
views
Multiplicative functions $\phi : M_n(F) \longrightarrow F$ with $\phi(I) = 1$
Let $F$ be an infinite field and let $f \in F[x_{11},x_{12},...,x_{nn}]$ be an arbitrary polynomial in $n^2$ variables. Consider the function $\phi : M_n(F)\longrightarrow F$ defined by $\phi((a_{...
- 447
1
vote
1
answer
172
views
Does this solution guarantee $det(A)=0$ where $A\in M(R)$? [closed]
Suppose $R$ is a commutative ring with identity $1$ and the following matrix equation holds:
$\begin{pmatrix} a_n & & \\
\vdots & \ddots & \\
a_1 &...
- 398
2
votes
3
answers
755
views
On matrices in linear forms with vanishing determinant
This is a cross-post from my original question at math.se. I decided to post here because it seems more difficult than I originally thought.
Let $R=\mathbb C[x_1,\ldots,x_r]$ be a polynomial ring. ...
- 4,902
0
votes
1
answer
606
views
Number of Minimal left ideals in the full matrix ring over a finite commutative local ring
Inspired with another QUESTION I would like to know the number of minimal left ideals of $M_n(R)$ in terms of $n$ and $R$ where $R$ is a finite local commutative ring with identity ?
user39204
2
votes
1
answer
507
views
Classification of pairs of commuting endomorphisms
Let $K$ be an algebraically closed field. I'm interested in isomorphism classes of triples $(V,f,g)$ where $V$ is a finite dimensional $K$-vector space and $f,g$ are commuting endomorphisms of $V$. ...
- 7,249
8
votes
2
answers
425
views
Dimension of commutative subalgebras of a central simple algebra
let $k$ be a field, and let $A$ be a central simple $k$-algebra over $k$.
What is the maximal dimension of a commutative $k$-subalgebra of $A$?
If $A=M_r(D)$, where $D$ is a central division $k$-...
- 81
3
votes
1
answer
419
views
Maximal size of an almost-disjoint linearly independent family in $K^{\mathbb{N}}$
Let $K$ be a field, say infinite, and denote by $L$ the $K$-vector space $K^{\mathbb{N}}$. What is the maximal cardinality of a $K$-linearly independent subset $X$ of $L$ such that any two distinct ...
- 76
2
votes
1
answer
123
views
Iterated Reduced Tensor Power of Graded Vector spaces
This might be inappropriate for the MO-level. If so I'll delete it...
Suppose $V$ is a $\mathbb{Z}$-graded vector space and
$\overline{T}(V):=V \oplus V\otimes V \oplus \otimes^3 V \ldots$
is the '...
- 624
5
votes
2
answers
1k
views
Solve for $A$ and $B$ in $AXB=Y$
Let $R = \mathbb{Z}[x_{1}, \dots, x_{r}]$.
Let $X$ be $n \times n$ matrix with entries in $R$.
Let $Y$ be $m \times m$ matrix with entries in $R$ formed from $\mathbb{Z}$-linear or $\mathbb{R}$-linear ...
- 13.9k