All Questions
Tagged with linear-algebra ac.commutative-algebra
190 questions
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 ...
1
vote
0
answers
108
views
When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?
$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...
- 573
1
vote
0
answers
33
views
Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial
Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
- 573
1
vote
1
answer
227
views
If the direct sum of $L$ and $M$ has a pseudoinverse, then do $L$ and $M$ have pseudoinverses?
Let $L$ and $M$ be matrices over a commutative ring $R$ equipped with an involution "$*$". Define $L \oplus M$ (the "direct sum" of $L$ and $M$) to be $\begin{bmatrix}L & 0 \\ ...
- 4,943
2
votes
0
answers
115
views
Linear algebra. commutative algebra, a matrix having the maximal rank
I found a matrix that looks to have the maximal rank for my research.
I would really appreciate if some of you could give me any comments or suggestions.
Thanks in advance.
Sincerely, Yong-Su Shin
Let ...
- 21
4
votes
1
answer
728
views
matrix congruence and smith normal form
Fixed $n \geq 2$ and consider $A,B \in GL(n,\mathbb{Z}).$ We know that we have the Smith normal form. One can find $U, V \in SL(n,\mathbb{Z})$ such that $A=UDV.$ So as $B$. The Smith normal form is ...
- 145
1
vote
2
answers
406
views
When splitting of short exact sequence preserves the kernels
This is a problem that I thought at first was obvious but that became less clear the more I thought about it. Assume we have a finitely generated algebra $A$ over a field $k$, and a short exact ...
- 5,901
4
votes
2
answers
328
views
Example of an inverse system which suddenly "jumps" in size in a specific "controlled" way?
I'm looking for an inverse system $(X_\alpha)_{\alpha < \omega_1}$ of vector spaces (EDIT: over a finite field) such that, for some $\lambda \geq 2$ with $\lambda < \lambda^{\omega_1}$ (I ...
- 63.9k
22
votes
3
answers
2k
views
Discriminant of characteristic polynomial as sum of squares
The characteristic polynomial of a real symmetric $n\times n$ matrix $H$ has $n$ real roots, counted with multiplicity.
Therefore the discriminant $D(H)$ of this polynomial is zero or positive.
It is ...
- 8,086
6
votes
1
answer
328
views
Algebra with a certain abelian group as the multiplicative group
Let $A$ be an abelian group. Are there an algebra $\mathfrak{X}(A)$ s.t. the multiplication group is isomorphic to A ? i.e.
$$
\mathfrak{X}(A)^{\times} \simeq A.
$$
For example, for $A=\mathbb{Z}/4\...
- 479
2
votes
2
answers
265
views
Commuting nilpotent matrices and conjugation isomorphisms
Trying to study isomorphism classes of certain commutative Artinian $\mathbb{C}$-algebras I was lead to the following problem about matrices.
Suppose you have a (non-zero) nilpotent matrix $A\in M_n(\...
- 385
5
votes
1
answer
303
views
faithful modules over a finite dimensional commutative algebra
Let $A$ be a commutative algebra over a field $k$ which is finite dimensional as a vector space over $k$. Let $M$ be a faithful $A$-module. Does it follow that $dim_k(M)\geq dim_k(A)$?
- 1,526
3
votes
1
answer
836
views
Solving multilinear equations
Let $N=\{1,2,\ldots,n\}$. Suppose we are given $n$ equations, with each equation taking the form $\sum_{A\subseteq N}\left(c_A \prod_{i\in A}x_i \right) = 0$, where each $c_A$ is a real number ...
- 239
6
votes
2
answers
543
views
Rings $R$ such that every [regular] square matrix with entries in $R$ is equivalent to an upper triangular matrix
Let $\text{M}_n(R)$ be the ring of $n$-by-$n$ matrices with entries in a commutative unital ring $R$. Theorem III in
C.R. Yohe, Triangular and Diagonal Forms for Matrices over Commutative ...
- 10.5k
0
votes
1
answer
454
views
Conjugacy in the quaternion group
Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...
- 1,703
1
vote
1
answer
100
views
category of non-welldefined linear maps
I was wondering whether the following category already has been used somewhere and whether it already has been named.
Let us fix a field $k$ (or more generally a ring). An object is just a $k$-vector ...
- 11.1k
5
votes
0
answers
220
views
Rank of matrix over UFD polynomial ring
I have a matrix, $M$, size of approximately $20\times 25$, over a polynomial ring $\mathbb{Q}[x_1, \cdots, x_n]$ and a number $r$ such that I would like to test whether or not there exist values for ...
- 51
1
vote
0
answers
126
views
Algebraic structures on graphs
There are many algebraic structures linked to graphs.
For example one can find zero divisor graphs $[1]$, $[2]$ and many other graphs.
Does there exist any survey paper which characterizes all the ...
- 444
1
vote
1
answer
78
views
Linear formal series in positive characteristic
Let $K$ be an infinite field positive characteristic and $F(X,Y)\in K[[X,Y]]$. Assume that $F(Z_1+U_1,Z_2+U_2)=F(Z_1,Z_2)+F(U_1,U_2)$ where $Z_1,Z_2,U_1,U_2$ are four indeterminates. Can one assert ...
- 3,998
3
votes
0
answers
155
views
Bass theorem on non-affine scheme
A famous theorem of Bass tells that over a noetherian ring $A$, with $\operatorname{Spec}(A)$ connected, every projective module of infinite type is free.
Now, consider a connected noetherian scheme $...
- 3,472
3
votes
0
answers
56
views
Regular sequence of binary forms in a subspace
Let $A_d=\mathbb{C}[x_1,\dots,x_n]_d$ denote the vector space of homogeneous polynomials of degree d. And assume $U\subset A_d$ is a subspace of codimension $d-1$ such that there is no point in $\...
- 51
14
votes
1
answer
2k
views
Why does this matrix have zero determinant?
This curious identity arose from studying reductions of the maximal ideal in certain monomial algebra. It can be proved "by hand", (i.e, using Macaulay 2), but I am seeking a more conceptual ...
- 30.5k
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
3
votes
0
answers
97
views
Minimal localization need it to "diagonalize" a matrix
Let $A$ be an $n\times n$-matrix over $\mathbb Z[t^\pm]$. In general doesn't exist $P,Q\in GL(n,\mathbb Z[t^\pm])$ such that $PAQ$ is a diagonal matrix (this happens cause $\mathbb Z[t^\pm]$ is not a ...
10
votes
0
answers
312
views
Triangle $X'\to X\to X''\to\Sigma X'$ splits if $X\simeq X'\oplus X''$?
Given a commutative ring $R$ and a distinguished triangle $X'\to X\to X''\xrightarrow e\Sigma X'$ in the derived category $D(R)$, where $X',X,X''$ are perfect complexes. If we have an equivalence $X\...
user20948
5
votes
3
answers
762
views
Does there exist another form of the derivative for polynomials?
Let $F : \mathbb{R}[X] \rightarrow \mathbb R[X]$ be a linear map and let $H \in \mathbb{R}[u,x,y,z]$ be a polynomial. Suppose that
$$ F(P \cdot Q) = H(F(P),F(Q),P,Q)$$
for all $P, Q \in \mathbb{R}[X]...
- 4,074
-2
votes
1
answer
329
views
Module such that every finitely generated submodule is semisimple [closed]
Is there an example of a module $M$ (over a commutative ring) that is not free, and such that each of its finitely generated submodule is semisimple (i.e. such that any submodule of any finitely ...
- 549
2
votes
0
answers
238
views
Computing the codimension of the variety defined by a system of quadratic forms
Suppose I have an $m \times n$ matrix $L$, where $m \leq n$ and each entry is $L_{i,j}(x_1, ..., x_s)$ which is a linear form over $\mathbb{C}$. Let $\mathbf{y} = (y_1, \ldots, y_n)$. Let us consider ...
- 3,625
8
votes
1
answer
641
views
Property of the trace on finitely generated projective modules
Let $A$ be a commutative ring with unit and let $P$ be a projective $A$-module finitely generated. By definition, there exists an $A$-module $P'$ such that $P\oplus P'$ is free of finite rank $r$. If $...
- 1,479
0
votes
0
answers
141
views
Two commuting matrices over a commutative ring
I would like to know if there are results about the dimension of the Algebra generated by two commuting Matrices over a ring (as there are in the case of a Field).
The good news is that "my" ring is ...
- 337
6
votes
1
answer
463
views
If a commutative graded algebra is free over a graded subalgebra, then must it have a graded basis?
Fix a field $\mathbf{k}$ and an $\mathbb{N}$-graded commutative $\mathbf{k}$-algebra $A = \bigoplus\limits_{n = 0}^{\infty} A_n$ of finite type. ("Finite type" means that each $A_n$ is a ...
- 33.8k
2
votes
1
answer
440
views
Coordinate free expression for the determinant of a $2 \times 2$ matrix
Let $E\rightarrow X$ be a rank two vector bundle on a variety $X$. How can one write an abstract map $Sym^2(E)\rightarrow (\wedge^2 E)^{\otimes 2}$ that in local coordinates, when we fix a frame of $E$...
user61586
18
votes
2
answers
1k
views
Is a matrix similar to its transpose over $\mathbb{Z}_p$?
Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...
- 2,242
2
votes
1
answer
413
views
$2$-adic valuation on $\mathbb Q (\sqrt{-15})$
I was reading the book "The structure of groups of prime power order". In the book (page 226, Example 10.1.18) it is proved that
$-15$ has a square root is $\mathbb Z_2$ where $\mathbb Z_2$ ...
- 243
0
votes
1
answer
243
views
A peculiar operation on $M_2(\mathbb Z)$ which along with the usual matrix addition, makes $M_2(\mathbb Z)$ into a commutative ring with unity [closed]
For $A=\begin{pmatrix} a_1 & b_1 \\ c_1&d_1 \end{pmatrix}, B=\begin{pmatrix} a_2 & b_2 \\ c_2&d_2 \end{pmatrix}\in M_2(\mathbb Z)$, define
$A*B:=a_1L_1BR_1+b_1L_1BR_2+c_1L_2BR_1+...
- 1,209
19
votes
1
answer
4k
views
How should I think about the module of coinvariants of a $G$-module?
Let $G$ be a group, $M$ a $G$-module, then the group of coinvariants is the module $M_G := M/I_GM$, where $I_G$ is the kernel of the augmentation map $\epsilon : \mathbb{Z}G\rightarrow \mathbb{Z}$.
...
- 7,527
4
votes
1
answer
127
views
On the linear factors of a polynomial obtained from the determinant of a matrix whose entries are related to Binomial expansion
Consider the polynomial ring $R=\mathbb C[x,y]$.
Consider the matrix $A=\begin{pmatrix} x^5+y^5&5x^5&10x^5&10x^5&5x^5\\5y^5&x^5+y^5 &5x^5&10x^5&10x^5 \\10y^5&5y^5&...
- 1,209
2
votes
0
answers
60
views
Linearity of a canonical morphism related to scalar extension and coextension
Let $h\colon R\rightarrow S$ be a morphism of commutative ring. Let $M$ and $N$ be $R$-modules. We consider the canonical morphism of $R$-modules $$p\colon{\rm Hom}_R(S\otimes_RM,N)\rightarrow{\rm Hom}...
- 6,700
1
vote
0
answers
1k
views
Are the integers a vector space or algebra over "some" field or over "some" ring?
Every vector $v$ in a finite-dimensional vector space space $V$ of dimension $n$ over a field $F$ has a unique representation in terms of a basis ${\frak B} \subseteq V$, where a basis for $V$ is a ...
- 180
6
votes
1
answer
726
views
Jordan form on an invariant vector subspace
Let $\mathbb{F}$ be a field and $V$ an $\mathbb{F}$-vector space. Let $\operatorname{T}\in\mathrm{End}(V)$ be an $\mathbb{F}$-linear operator. It is well known that if $\dim V<\infty$ then $\...
- 1,959
3
votes
1
answer
191
views
Hermitian forms over $K\times K$
Let $V$ be a finitely generated module over the ring $R=K\times K$ where $K$ is a field. We fix the switch involution on the ring $R$. Let $H$ be a hermitian form over $V$.
When $V$ is a free module, ...
- 661
4
votes
1
answer
129
views
The existence of $v\in A\otimes_{\mathbb{K}}A$ such that $(a\otimes_{\mathbb{K}}1)v=(1\otimes_{\mathbb{K}}a)v$
If $A$ is a finite dimensional commutative, associative, unital algebra over a field $\mathbb{K}$ then does there exist a non-zero vector $v\in A\otimes_{\mathbb{K}}A$ such that $(a\otimes_{\mathbb{K}}...
- 81
8
votes
1
answer
506
views
The anti-symmetrization of a kind of polynomials in $\mathbb{Z}[x_1,x_2,\ldots,x_n]$
Let $n$ be a positive integer and $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$. Let $\mathcal{A}_n$ be the anti-symmetrization operator on $\mathbb{Z}[x_1,x_2,\ldots,x_n]$ such that for any $f(...
- 1,997
2
votes
0
answers
197
views
Full-rank factorization property of integer-valued matrices
$\newcommand{\al}{\alpha}
\newcommand{\de}{\delta}
\newcommand{\De}{\Delta}
\newcommand{\ep}{\varepsilon}
\newcommand{\ga}{\gamma}
\newcommand{\Ga}{\Gamma}
\newcommand{\la}{\lambda}
\newcommand{\Si}{\...
- 128k
3
votes
2
answers
137
views
What are some applications of Dilation Structures(idempotent right quasi-groups) from Emergent Algebra?
According to the following Journal Articles, there are these structures called Dilation Structures that are formalised in Emergent Algebras, examined in the case of metric spaces with dilations, and ...
- 151
2
votes
0
answers
87
views
How to prove this matrix is idempotent and that it obeys a telescoping identity
Let $P_k$ be the size $k$ leading principal submatrix of the real-valued $N \times N$, invertible matrix $M$, and let $Q_k$ be the size $N$ matrix having $P_k^{-1}$ in the top left corner, and zeroes ...
- 51
8
votes
1
answer
604
views
Number of zeros of the derivatives of a polynomial
What is the maximum total number of zeroes a univariate polynomial $f\in\mathbb{C}[z]$ of degree $d$, together with all of its derivatives, can have at $k$ given points of $\mathbb{C}$?
I am ...
- 2,179
13
votes
1
answer
496
views
Functorial multiplication on commutative rings
Let $C$ be the category of associative commutative rings with 1 and let $F:C\to C$ be a functor which commutes with the forgetful functor to abelian groups (i.e. $F$ is a functorial way to define ...
- 7,037
1
vote
1
answer
111
views
Sum of certain decomposable elements
Let $V$ be be a vector space of dimension $m$ over any field and $\ell\leq m$ be a positive integer. Let $\omega_1,\ldots,\omega_r \in\bigwedge^\ell V$ are linearly independent, completely ...
- 179
-1
votes
1
answer
121
views
On rank one torsion-free modules over local rings [closed]
Let $A$ be a local ring which is also an integral domain and $M$ be a rank one $A$-module. Denote by $k$ the residue field of $A$. Is $\dim M \otimes_A k \le 1$? If not, is there a known upper-bound ...
- 2,126