All Questions
Tagged with ac.commutative-algebra linear-algebra
190 questions
6
votes
1
answer
276
views
Linear algebra over principal rings
Consider an extension $R\subseteq S$ of commutative rings, and suppose that $R$ is principal (i.e., $0$ is the only zero-divisor of $R$ and every ideal of $R$ has a generating set of cardinality $1$). ...
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 ...
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 ...
6
votes
1
answer
301
views
Orbits in commutative groups.
Let A be finite commutative group say $(Z_m)^h$. I will say that $S \subset A$ is an orbit if exist group $H$
which acts on A such that $S$ is an orbit of $H$.
Can one give a simple characterization ...
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\...
6
votes
0
answers
267
views
Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?
I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry.
Suppose we have a system of $k\leq n$ polynomials in $\...
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]...
5
votes
3
answers
1k
views
adjoint of multiplication operator in a commutative algebra
Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with $\...
5
votes
2
answers
2k
views
Iterated calculation of determinants
Given a $4 \times 4$ matrix $S$ over a commutative ring $R$. I want to consider it as a $2\times 2$ matrix over $M_2(R)$. Lets say $S=\left(\begin{array}{cc} A&B \\\ C&D\end{array}\right)$ ...
5
votes
1
answer
349
views
Commutator subgroup of $\mathrm{GL}_n(R)$ when $R$ is a PID with unity
Hua and Reiner in their paper titled "Automorphisms of the unimodular group" have established what will be the commutator subgroup of $\mathrm{GL}_n(\mathbb{Z})$, $\forall n\geq 0$. I have ...
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)$?
5
votes
1
answer
265
views
Is every matrix involution over a UFD diagonalisable?
Let $A$ be a UFD, that is also a $k$-algebra, where $k$ is a field of characteristic $\not=2$ (for instance polynomials over $k$).
Is every involution in $\mathrm{GL}_n(A)$ diagonalisable?
This is of ...
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 (...
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 $...
5
votes
1
answer
523
views
Is there a non-split algebraic torus (over a finite field) satisfying the following properties?
Is there a non-split algebraic torus $T$ (over a finite field $\mathbb{F}_{\!q}$) satisfying the following properties?
$T$ is not $\mathbb{F}_{\!q}$-isomorphic to the direct product of algebraic tori ...
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 ...
5
votes
0
answers
138
views
Rings over which free modules of a certain rank are reflexive (satisfy Specker's theorem)
Following this question about the case of $\mathbb{Z}_{(p)}$, I've got to ask what is known more generally about rings and dimensions for which Specker's theorem holds. Let me make the following ...
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 ...
4
votes
1
answer
686
views
Who and when proved Artin's Theorem on alternative rings?
I am interested in the history of the proof of Artin's Theorem (on the diassociativity of alternative rings).
Question. When has Artin proved this theorem and where was it published for the first ...
4
votes
1
answer
385
views
Can the ring of symmetric polynomials be generated by powers of symmetric polynomials of degree 1?
I'm making a research on Galois theory, and found something interesting regarding the ring of symmetric polynomials:
At least up to 5 variables, we can rewrite the elementary symmetric polynomials ...
4
votes
1
answer
947
views
Tensor product and homomorphism
Let $A$ be a commutative ring, and $M$ be an $A$-module, and $M^*$ be $\mathrm{Hom}_A(M,A)$. Let $f$ be the map from $M \otimes_A M^*$ to $\mathrm{Hom}_A(M,M)$, such that, for all $x=\sum_i a_i \...
4
votes
2
answers
818
views
Double orthogonal complement of a finite module
Crossposted from math.stackexchange since I'm not getting any answer.
Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the ...
4
votes
4
answers
596
views
Generalization of Jordan Decomposition for Several Commuting Operators
Recently I became curious about the following question:
Let $V$ be a finite dimensional vector space over $k$ and let $A_1, \cdots, A_n: V \rightarrow V$ be a set of commuting maps. Question: ...
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&...
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)...
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}}...
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 ...
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 ...
4
votes
1
answer
277
views
Is there a good notion of kernels of quadratic forms on abelian groups?
Let $G$ be an abelian group and let $q:G \to \mathbb{Q/Z}$ be a quadratic form, i.e. $q(a)=q(-a)$ and $b(x,y)=q(x+y)-q(x)-q(y)$ is a bihomomorphism. On vector spaces, when people speak about the ...
4
votes
0
answers
219
views
Map $\operatorname{Sym}^{mp}(V^*) \longrightarrow K^{q}$ defined by $q$ points in $\operatorname{Sym}^p(V)$
EDIT : I have edited the question and made it more specific with respect to the kind of answer I expect.
Let $V$ be a finite dimensional $K$-vector space and let $x_1, \dotsc, x_q \in V$ be $q$ points,...
4
votes
0
answers
216
views
Is an orthogonal direct sum decomposition with respect to two quadratic forms necessarily unique up to isomorphism
Consider two quadratic forms $Q$ and $P$ over a finite dimensional vector space $V$ over a quadratically closed (or perhaps Pythagorean) field $F$. If $V$ can be decomposed as $V = V_1 \oplus V_2 \...
4
votes
0
answers
211
views
Diagonalization over valuation rings
Let $\mathcal{R}$ be a valuation ring, and consider an $\mathcal{R}$-linear endomorphism $L:\mathcal{R}^{n}\rightarrow \mathcal{R}^{n}$. Is there any criterion for telling when $L$ can be diagonalized?...
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 ...
3
votes
3
answers
2k
views
How to define the orientation of a vector space over an arbitrary field?
I know the construction of the Hodge star operator in the context of (pseudo-)euclidean real vector spaces. Apart from the scalar product it involves a orientation of the vector space, which one has ...
3
votes
3
answers
461
views
Multiplicity of eigenvalues in 2-dim families of symmetric matrices
Say you have 2 symmetric matrices, $A$ and $B$, and you know that every linear combination $xA+yB$ ($x,\\,y\in \mathbb{R}$) has an eigenvalue of multiplicity at least $m>1$. Such a situation can of ...
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 ...
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 ...
3
votes
1
answer
102
views
Multiplicative identity of determinant of multiplicative action of a polynomial on a quotient ring (companion matrices)
Let $A$ be a commutative ring with $f,g\in A[x]$ monics. Consider the $A$-linear endomorphism $\mu_g^{(f)}\in \mathrm{End}_A\tfrac{A[x]}{\langle f\rangle}$ given by multiplication by $g$.
For monics $...
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 ...
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$ ...
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 ...
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, ...
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 ...
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)\...
3
votes
2
answers
344
views
Pseudo-idempotent matrix generating a free module
Let $R$ be a commutative ring with $1$. Let $n$ and $k$ be nonnegative integers, and let $A\in\mathrm{M}_n\left(R\right)$ be a matrix such that $A\cdot R^n\cong R^k$ as $R$-modules. Assume that $A^2=\...
3
votes
0
answers
181
views
Levelled trees and the homotopy transfer theorem
In section 10.3.12 of Loday-Vallette's book "Algebraic operads", given a $P_\infty$-algebra $(A,d,\alpha)$ the Homotopy Transfer Theorem applied to $H_*(A,d)$ is studied. There, because the ...
3
votes
0
answers
70
views
Admissibility of Ulm's invariants
Let $G$ be a reduced abelian $p$-group. We set $G_0=G$. Let $\alpha$ be an ordinal. Inductively, if $\alpha=\beta+1$ is a successor ordinal, we define
$$G_{\alpha}=pG_{\beta}.$$
If $\alpha$ is a limit ...
3
votes
0
answers
71
views
Automorphisms of matrix algebras and Picard group
This is a repost of https://math.stackexchange.com/questions/4692364/automorphisms-of-matrix-algebras-and-picard-group (asked on MSE).
Notation. In what follows, $R$ is a commutative ring with $1$, $n\...
3
votes
0
answers
249
views
Grothendieck schemes and the Sheffer differential op calculus (Rota, Roman, et al. finite operator calculus)
In "Left differential operators on non-commutative algebras" on p. 4, Michiel Hazewinkel displays "precisely the right definition of differential operator" as
$$D\; X^n = F(\tfrac{...
3
votes
0
answers
120
views
Checking the generic rank of a matrix
Suppose that $A,B\in M_{p,q}(\mathbb{Z})$ are two rectangular integer matrices of the same size. Suppose that one has a conjecture stating that the rank of the matrix $A+tB$ for Zariski generic values ...