All Questions
6,548 questions
0
votes
2
answers
62
views
Nondegeneracy of dominant singular value and positivity of dominant singular vector of connected nonnegative matrix
Call a (not necessarily square) nonnegative matrix $M$ connected if there do not exist permutation matrices $P$ and $Q$ such that $PMQ=\begin{pmatrix}A&0\\0&B\end{pmatrix}$ for some $A$ and $B$...
- 674
6
votes
1
answer
466
views
Tame-Wild dichotomy; why can't tame algebras be wild?
I would like to understand the Tame-Wild dichotomy, and in particular why an algebra cannot be tame and (semi-)wild at the same time. I've looked in the papers by Drozd and Crawley-Boevey [D80, CB88].
...
- 497
2
votes
2
answers
77
views
Reference request for a subfamily of regular graphs
[Repost of same question math stack exchange which got no answers]
I'm looking for literature on the following family of graphs:
Call a regular graph $G=(V,E)$ (of regularity degree $d$) nice if there ...
- 21
0
votes
0
answers
56
views
Names for product-like algebras involving a "duo of directed pseudoforests"
I am looking for the names (and/or for any information regarding) two algebras, one "free" and one "restricted" by an equivalence class.
In both cases, there is an (infix) binary ...
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
4
votes
0
answers
451
views
Problem 1.8 from Kirby's list
Context
I looked through a book called "Problems in Low-Dimensional Topology", where Rob Kirby lists a set of problems. He provides a list of problems, states their conjectures, and ...
2
votes
1
answer
278
views
Continuity of eigenvector of zero eigenvalue
Wonder whether anyone has an idea on showing the following or to point out that it is not true:
Let $A(t) \in \Re^{n \times n}$ be differentiable over an interval $I$, and it has a zero eigenvalue for ...
- 69
17
votes
0
answers
1k
views
Relations in a certain Lie algebra
Let ${\mathfrak g}$ be the (real) Lie algebra generated by infinitely many generators $D_i, E_i$ with $i=1,2,3,\dots$ subject to the following relations for any natural numbers $i,j$:
\begin{gather*}
[...
- 114k
4
votes
2
answers
180
views
What does the matrix-valued solution of $X = A X A^T + \operatorname{Id}$ look like?
Let $A \in \mathbb{R}^{n \times n}$ be an invertible contraction, i.e. all singular values are in $(0,1)$. By reformulating the equation
\begin{align*}
& X = A X A^T + \operatorname{Id} \tag{1}
\...
- 1,295
10
votes
1
answer
221
views
Matrix ring isomorphisms of different sizes
Do there exist (unital, associative, noncommutative) rings $R$ and $S$, where $\mathbb{M}_2(R)\cong \mathbb{M}_3(S)$, but these matrix rings are not isomorphic to $\mathbb{M}_6(T)$ for any ring $T$?
- 18.7k
3
votes
0
answers
137
views
Composition of Frobenius $n$-homomorphisms, characteristic-free?
This question is, as so often, a crossbreed of curiosity and laziness. The
former has led me to an interesting, but somewhat unsatisfactory paper by
Khudaverdian and Voronov
(arXiv:2002.02395v2) and, ...
- 33.8k
2
votes
1
answer
88
views
Generating sets for a module and scalar extension
Let $k$ be an algebraically closed field and $K/k$ a (transcendental) field extension. Let $A$ be a finite dimensional $k$-algebra, and $M$ an $A$-module. Suppose that the $K \otimes_k A$-module $K \...
- 23
0
votes
0
answers
70
views
Hensel lifting of roots of a biquadratic polynomial
Let $5$ divide $p-1$. Therefore, we have $$1+x+x^2+x^3+x^4=(x-\alpha)(x-{\alpha}^2)(x-\alpha^3)(x-\alpha^4)=f_1f_2f_3f_4$$ over $F_p,$ where $\alpha$ is an element of order $5$ in ${F_p}^\times.$ We ...
- 381
-2
votes
1
answer
136
views
Norm of a matrix function of a vector $x$ [closed]
I have a matrix $$A(x) = \frac{-1}{(1+\|x\|_2^2)^{\frac{3}{2}}}xx^T + \frac{1}{(1+\|x\|_2^2)^{\frac{1}{2}}}I$$ I see that $$\|A(x)\|_2 \le 1 \ \forall x$$
But is $\|A(x)\| \le 1$ in general $\forall x$...
- 7
5
votes
0
answers
125
views
Lie algebra cohomology of formal non-commutative vector fields
Let $k$ be a field of characteristic $0$ and $A=k\langle\langle x_1,\dotsc,x_n\rangle\rangle$ be a free completed associative algebra. The space of continuous derivations $\mathrm{Der}(A)$ is ...
- 985
2
votes
1
answer
145
views
The presentations of finite complete local rings
Suppose that $R$ is a commutative ring such that there is a surjection $ \pi:\mathbf{Z}_p[[T_1,\cdots,T_n]]\to R$ of rings where $\mathbf{Z}_p[[T_1,\cdots,T_n]]$ is the ring of formal power series ...
- 667
2
votes
0
answers
91
views
A recursive description of the smallest divisor-closed subsemigroup containing a set
Let $S$ be a semigroup and $\widehat{S}$ be its unitization, i.e., the monoid obtained from $S$ by adjoining an identity element if necessary (so that $\widehat{S} = S$ when $S$ is already a monoid).
...
- 10.5k
0
votes
2
answers
252
views
“Smallest” non-zero linear combination of vectors to obtain a non-negative vector
We say that a vector $\mathbf{x}$ in $\mathbb{Z}^j$ is non-negative if it is of the form
\begin{bmatrix}
x_1 \\
x_2 \\
\vdots \\
x_j \\
\end{bmatrix}
where $x_{i} \geq 0$ for all $i=1,\...
- 227
10
votes
2
answers
510
views
Isomorphic finite fields of a skew field
Let $D$ be a skew field and $F$ and $E$ be isomorphic finite subfields of $D$, is it true that $F=E$?
- 103
4
votes
1
answer
198
views
Does hereditary and connected imply that the underlying ring $k$ of a $k$-algebra is a field?
All rings are assumed to be associative and have a 1. Let $k$ be a commutative artininan ring and $R$ a finitely generated $k$-algebra. Is it true that if $R$ is connected and hereditary, then $k$ is ...
- 696
0
votes
0
answers
79
views
Quick calculation of a symmetric product with two indices
Say I have a product $\prod_{1\le i \le N-1}\prod_{i<j\le N-1} (1+t_i t_j a_{ij})$, where $a_{ij}$s are real number. I want to calculate the coefficient of $\prod_{0 \le i < N} t_i$. Is there an ...
- 397
1
vote
2
answers
317
views
Right inverse of integer matrix
If I have a rectangular matrix $A$ (say $4 \times 6$) with integer entries, is there a way to tell whether it has a right inverse that also has integer entries. I know that if $AA^T$ has determinant $...
- 71
3
votes
1
answer
170
views
Every homomorphism between (rational) Puiseux monoids is multiplication by a non-negative rational
Let a (rational) Puiseux monoid be a non-trivial submonoid of the non-negative rational numbers under (the usual operation of) addition. It is not difficult to show that, if $f \colon H \to K$ is a (...
- 10.5k
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
5
votes
0
answers
206
views
From group ring to ring ring?
For a group $G$, the set $\mathbb{Z}[G]$ of all formal $\mathbb{Z}$ linear combinations is a ring with unit. Now the set $\mathbb{Z}[\mathbb{Z}[G]]$ gets the structure of a ring from the addition in $\...
- 460
3
votes
1
answer
232
views
Tangent space of a GIT quotient of $GL_{N}$
Let $G:=\operatorname{GL}_{N}$ act on its Lie algebra $\mathfrak{g}:=\mathfrak{gl}_{N}$ by conjugation. Then it acts naturally on the associated ring $\mathcal{O}(\mathfrak{g})$ of (algebraic or ...
- 131
1
vote
1
answer
368
views
Wedderburn theorem for finite-dimensional algebras over the complex numbers
I'm trying to understand how to apply the Wedderburn theorem in the context of unitary algebras over $\mathbb{C}$ that are finite-dimensional and semisimple. Let $\mathcal{A}$ be a $\mathbb{C}$-...
1
vote
1
answer
109
views
Solution to $a=e^t (t-r_1)(t-r_2)$ with Lambert $W$ function, where $r_1, r_2 $ are complex
Lambert $W$ works when $r_1$, and $r_2$ are real. However, I am trying to solve the equation when $r_1$, and $r_2$ are complex numbers.
4
votes
1
answer
197
views
What are the measure of the volume and boundary (and other quermaß measures) of the positive semidefinite matrices?
Let $E$ be the real vector space of $n\times n$ real symmetric (resp. complex Hermitian) matrices, and $E_1$ those with trace $1$. Endow $E$ with the bilinear (resp. sesquilinear) form given by $(P,Q)...
- 32.5k
4
votes
1
answer
363
views
Is there a "natural" interpretation of the power function for octonions and for sedenions?
This question is a sequel to Is there a definition of $\log(x)$ for quaternion/octonion $x$? Since $\log(x)$ is multivalued even for complex $x \in \mathbb{C}$, it is impossible to define $\log(x)$ ...
- 2,101
0
votes
0
answers
35
views
What is the impact of individual estimate on each other in matrix inversion?
I am looking to understand the impact of each estimate on each other in matrix inversion.
Lets say I have a vector $A = \left[a_1, a_2 \right]^T$ of size $2 \times 1$ and $a_1$ and $a_2$ are related ...
- 1
6
votes
0
answers
199
views
Zero-one pairings between sets of vectors
Let
$A\subseteq V$ and
$B\subseteq V^\star$
be spanning sets in
a finite-dimensional real vector space $V$ and
its dual $V^\star$.
Suppose that
$$
\langle b,a\rangle\in\lbrace0,1\rbrace
$$
for all
$a\...
- 809
9
votes
1
answer
236
views
Formal smoothness of path algebras and connections
Let $k$ be a field of characteristic zero and $A = kQ$ the path algebra associated with a quiver $Q$. The algebra $A$ is said to be formally smooth over $k$ if
$$
\Omega^1_kA = \operatorname{Ker}(\...
- 985
1
vote
0
answers
55
views
Ideals of Laurent polynomial ring over matrix ring
Let $K$ be a field. Let $R=M_2(K)\langle x,x^{-1}\rangle$ be the ring obtained from the matrix ring $M_2(K)$ by adjoining two elements $x$ and $x^{-1}$ which are inverse to each other ($x$ and $x^{-1}$...
- 491
0
votes
1
answer
87
views
Handling the $\ell^2$ norm of a matrix expression in a linear regression
I am reading a scientific article in which matrices are handled (which I do not use often). We consider a matrix $X\in\mathbb R^{n\times p}$ and a vector $y\in\mathbb R^n$. The authors show that the ...
- 101
2
votes
2
answers
226
views
Minimal ideals and subalgebras of semisimple algebras
I'm considering an algebra to be a ring which is also a vector space over some field $F$, and the algebra $A$ is said to be semisimple if it is semisimple as a ring, i.e., $A$ can be written as a ...
6
votes
1
answer
322
views
Pairwise orthogonality for partitions of unity in a *-algebra
Let $\mathcal{A}$ be a $*$-algebra with unit $1_{\mathcal{A}}$. As in the $\mathrm{C}^*$-setting, a projection is an element $p\in\mathcal{A}$ such that $p=p^2=p^*$. A partition of unity is a finite ...
- 1,027
3
votes
1
answer
223
views
Kernels and cokernels in a quotient of an abelian category
I am trying to understand the construction of the quotient of an abelian category called the Serre quotient or Gabriel quotient. From the description here: https://en.wikipedia.org/wiki/...
- 323
4
votes
0
answers
326
views
Are there infinitely many simple integral fusion rings of rank $4$?
$\DeclareMathOperator\ch{ch}$$\DeclareMathOperator\FPdim{FPdim}$We refer to [EGNO15, Chapter 3] for the notion of fusion ring and basic results. The type of a fusion ring $R$ is the list $(\FPdim(b_i)...
-1
votes
1
answer
228
views
Can we classify all commutative unital algebras over the reals that are closed under $\sqrt{}$?
Can we classify all finite dimensional commutative (but not necessarily associative) unital algebras over the reals in which every element is a square?
- 769
3
votes
1
answer
146
views
The rank of a certain linear combination of mutually commuting nilpotent matrices
Let $A_1,\ldots,A_r$ be mutually commuting $n\times n$ nilpotent matrices over $\mathbb C$, the field of complex numbers. For any complex number $c$, let $A(c):=A_0+cA_1+c^2A_2+\ldots +c^rA_r$. We ...
1
vote
0
answers
62
views
Matroid for Laurent series
I am trying to find a matroid for profinite rings which are the inverse limit of their finite quotients, and whose linearly independent elements are of the form $L((t_1,\dots,t_n))$.
To set this up, ...
user30211
1
vote
0
answers
91
views
generating set of polynomial ring
I am considering the polynomials $P=P[x_1,x_2,\ldots,x_n]$ with coefficients in a ring $R$. Consider a subset $S=\{p_1,p_2,\ldots,p_k\}$ of $P$. There is a map $f\colon P[x_1,x_2,\ldots,x_k] \to P$ ...
- 379
1
vote
1
answer
345
views
Solvability of $A X B=C$ with $X=X^\mathrm{T}$
I am studying symmetric solutions to the complex matrix equation
\begin{equation}
A X B=C,
\end{equation}
where $A$, $B$, and $C$ are $m\times n$, $n \times k$, and $m \times k$ complex matrices, ...
- 61
52
votes
8
answers
5k
views
Is there a fast way to check if a matrix has any small eigenvalues?
I have hundreds of millions of symmetric 0/1-matrices of moderate size (say 20x20 to 30x30) which (obviously) have real eigenvalues.
I wish to extract from this list the tiny number of matrices that ...
- 12.7k
1
vote
0
answers
64
views
Groups with prescribed Ulm invariants
In Kaplansky's book infinite abelian groups he provides (through some exercises) a complete classification of $p^{\infty}$-torsion countable abelian groups in terms of Ulm invariants. In other words ...
- 11
0
votes
1
answer
62
views
Left quasi-inverse elements: motivation
An element $a$ in a ring $R$ is a left quasi-inverse if there exists $b\in R$ such that $a+b=ba.$ What is the motivation behind this definition?
- 123
1
vote
0
answers
255
views
Interpreting positive semidefinite matrix as a graph
Given any symmetric matrix $S \in \mathbb{R}^{n \times n}$, if $S \succeq 0$, is there a way to encode $S$ into a graph such that it takes into account the positive semidefinite constraint, and ...
- 275
0
votes
0
answers
309
views
Simultaneous triangulation and Jordan normal form of commuting nilpotent matrices
Let $A_1,\ldots,A_r$ be $n\times n$ nilpotent matrices over $\mathbb C$, the field of complex numbers, satisfying $A_i\cdot A_j=A_j\cdot A_i$ for all $i,j$. As the matrices commute, they admit ...
3
votes
0
answers
161
views
Amalgamation of commutative subrings
Let $A$ and $B$ be commutative subrings of a non-commutative ring $X$.
Is there always a commutative ring $Y$ containing $A$ and $B$ preserving their intersection?
This is equivalent to ask if in the ...
- 39