Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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$). ...
Fred Rohrer's user avatar
  • 6,700
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 ...
Salvo Tringali's user avatar
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 ...
darij grinberg's user avatar
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 ...
Klim Efremenko's user avatar
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\...
Mikhail Goltvanitsa's user avatar
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 $\...
Jeffrey Doker's user avatar
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]...
Dattier's user avatar
  • 4,074
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 $\...
Tom De Medts's user avatar
  • 6,614
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)$ ...
HenrikRüping's user avatar
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 ...
Guest's user avatar
  • 51
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)$?
Roman's user avatar
  • 1,526
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 ...
Jérémy Blanc's user avatar
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 (...
Thomas Preu's user avatar
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 $...
Rob's user avatar
  • 271
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 ...
Dimitri Koshelev's user avatar
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 ...
Turbo's user avatar
  • 13.9k
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 ...
Gro-Tsen's user avatar
  • 32.5k
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 ...
bark's user avatar
  • 51
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 ...
Taras Banakh's user avatar
  • 41.9k
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 ...
Simón Flavio Ibañez's user avatar
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 \...
marco2013's user avatar
  • 353
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 ...
Carl's user avatar
  • 141
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: ...
Mikhail Gudim's user avatar
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&...
user521337's user avatar
  • 1,209
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)...
Steven Gubkin's user avatar
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}}...
Campbell's user avatar
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 ...
en kuo's user avatar
  • 145
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 ...
Tim Campion's user avatar
  • 63.9k
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 ...
Bipolar Minds's user avatar
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,...
Libli's user avatar
  • 7,300
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 \...
wlad's user avatar
  • 4,943
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?...
FPV's user avatar
  • 541
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 ...
Jared's user avatar
  • 768
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 ...
Marc Nieper-Wißkirchen's user avatar
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 ...
CuriousUser's user avatar
  • 1,452
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 ...
Jérémy Blanc's user avatar
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 ...
Alexi's user avatar
  • 239
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 $...
Arrow's user avatar
  • 10.5k
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 ...
Alexander's user avatar
  • 151
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$ ...
K.J. Moi's user avatar
  • 998
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 ...
user38700's user avatar
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, ...
Anupam Singh's user avatar
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 ...
Fred Rohrer's user avatar
  • 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)\...
Fred Rohrer's user avatar
  • 6,700
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=\...
darij grinberg's user avatar
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 ...
groupoid's user avatar
  • 215
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 ...
Nini's user avatar
  • 31
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\...
GreginGre's user avatar
  • 1,766
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{...
Tom Copeland's user avatar
  • 10.5k
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 ...
Vladimir Dotsenko's user avatar