Skip to main content

All Questions

2,027 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4 votes
0 answers
157 views

Endomorphismrings of maximal submodules.

The question I am interested in answering is the following: Suppose that for a pair of $d$-dimensional modules $M$ and $N$ over a $k$-algebra ($k$ a field) $R$ we have that $\dim_k \rm{Hom}_R(X,M)\...
Tore Forbregd's user avatar
4 votes
0 answers
154 views

connectivity in automata by words of length n-1

Let $A$ be a complete strongly connected automaton with $n$ states. Does always exist a word $v$ of length at most $n-1$ such that its underlying graph is connected? That is for any pair of distinct ...
Mikhail Berlinkov's user avatar
4 votes
0 answers
525 views

Cyclic vector theorem

Could be proved the cyclic vector theorem for a differential module (over a differential field of characteristic zero) by using the fact that the ring of differential operators (over the same ...
Cat's user avatar
  • 41
4 votes
0 answers
570 views

On Grothendieck ring and semiring

We are given a language $L$ and a structure $M$ (model). Definable sets in this model are subsets of $M^n$ definable by a formula of $L$. The Grothendieck semiring of the structure is defined in the ...
user avatar
4 votes
0 answers
1k views

Cartan decomposition for upper triangular matrices

Due to the comments, I have the impression that I have to be more precise. Consider $G= GL_n(F)$ for a non-Archimedean field $F$ with ring of integers $o$. Let $K= GL_n(o)$ and let $I$ the Iwahori ...
Marc Palm's user avatar
  • 11.2k
4 votes
0 answers
434 views

Smallest matrix covered by many random n by n matrices

We say that a matrix $M$ can be covered by a (smaller) matrix $N$ if every entry in $M$ is contained in some submatrix of $M$ that exactly equals to $N$, up to reordering the rows and columns of $N$. ...
Trinh Huynh's user avatar
4 votes
0 answers
248 views

When are all modules direct factors of a direct product of a fixed one?

Background: For a ring $R$, we denote by ${\rm\mathop Mod}(R)$ the category of all (say right) $R$-modules. If $R$ is pure semisimple, then it is known that ${\rm\mathop Mod}(R)={\rm\mathop Add}(M)$, ...
George C. Modoi's user avatar
4 votes
0 answers
3k views

The determinant of the hadamard product of two matrices

We know that the determinant of a Hadamard product of two positive semidefinite matrices $|{\bf A}\circ{\bf B}|$ is greater than or equal to $|{\bf A}||{\bf B}|$. Are there any general results on ...
Anadim's user avatar
  • 449
4 votes
0 answers
261 views

Growth of symmetric positive definite integral matrices.

Given an integer $d$, let $\alpha_d(N)$ denote the number of symmetric integral positive definite matrices of size $d\times d$ with coefficients in $\lbrace -N,-N+1,\dots,N-1,N\rbrace$. ...
Roland Bacher's user avatar
4 votes
0 answers
257 views

A matrix minimisation problem

Feel free to edit the title! Suppose A is a C*-algebra and $a,b\in A$ are self-adjoint. I'd be very happy with A being just $n\times n$ matrices. Question: If there are $t\in\mathbb R$ and $\...
Matthew Daws's user avatar
  • 18.7k
4 votes
0 answers
557 views

Finite Idempotent Semirings (Dioids)

How many finite idempotent semirings (dioids) are there of order n? And how many have an addition operation that coincides with a maximum operation for some ordering of the elements ? Even if the ...
decomwe's user avatar
  • 301
4 votes
0 answers
453 views

Convergence of the relaxation method for every parameter in the relevant disk

For large size matrices, the resolution of linear systems $Ax=b$ is often done iteratively. The matrix $A$ is split as $A=M-N$, with $M$ invertible, and one performs $$x^{k+1}=M^{-1}(Nx^k+b).$$ The ...
Denis Serre's user avatar
  • 52.3k
4 votes
0 answers
562 views

The order of the Jacobi method for Hermitian matrices

Let $H$ be an $n\times n$ Hermitian matrix. The Jacobi method is an iterative method for finding the spectrum of $H$. It is described in every book on numerical linear algebra. Principle: At step $k$,...
Denis Serre's user avatar
  • 52.3k
4 votes
0 answers
179 views

Global dimensions of orders over non-Gorenstein centers

This question concerns the following Lemma 4.2 in this paper by Van den Bergh: Lemma: Let $R$ be local, normal Gorenstein ring of dimension $d$. Suppose $M$ is a reflexive $R$ module such that $A=\...
Hailong Dao's user avatar
  • 30.5k
4 votes
0 answers
351 views

Combinatorics of signed oriented graphs/skew-symmetric matrices

Consider a "complete" signed graph on $n$ vertices indexed by $1,2,\dots,n$, that is, a graph in which any two distinct vertices $i$ and $j$ are connected by an oriented edge. For each pair of ...
Wadim Zudilin's user avatar
4 votes
0 answers
167 views

Components of variety of subalgebras

This question is motivated by the question Subalgebras of matrices and its answer by Mariano. We consider $X_{n,d}$, the variety of $d$-dimensional subalgebras not necessarily with 1 (with 1 makes ...
Bugs Bunny's user avatar
  • 12.3k
4 votes
0 answers
154 views

decomposition of paraunitary matrices

Let $A(X,Y)$ be a matrix with coefficients in $\mathbb{C}[X,X^{-1},Y,Y^{-1}]$, where the conjugation operation is defined on this ring by ${(z X^a Y^b)}^* =\bar{z}X^{-a}Y^{-b}$. So $A$ is said to be ...
Vincent Nesme's user avatar
4 votes
0 answers
733 views

Haar measure on strictly upper triangular matrices

Let F be a function field, and A its adele ring. I want to consider U(A)/U(F), where U(A) is the space of strictly upper triangular matrices with entries from A, and U(F) is the same with entries ...
Phil's user avatar
  • 41
4 votes
0 answers
325 views

Localization of power series and module structure

Let $R=\mathbb{Q}[X,Y]$ be the polynomial ring of two commuting variable. Let $S$ be the multiplicative subset of $R$ generated by homogeneous linear polynomials. Let also $\widehat{R}$ be the ring of ...
e2718's user avatar
  • 41
4 votes
0 answers
534 views

Why are Lie Algebras/ Lie Groups so much like crossed modules, and not?

A crossed module consists of a pair of groups $G$ and $H$ with a group homomorphism, $t:H \rightarrow G$, and $\alpha: G \times H \rightarrow H$ that defines an action of $G$ on $H$, $\tilde{\alpha}$: ...
Scott Carter's user avatar
  • 5,264
3 votes
0 answers
89 views

Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$

Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
Salvo Tringali's user avatar
3 votes
0 answers
155 views

Efficient computation of $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$

Related to this question. I wish to compute $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$ for some fixed and known upfront $g$. This problem pops up in computing the 'pure' CRC function of a bit sequence of ...
Kamila Szewczyk's user avatar
3 votes
0 answers
117 views

Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?

Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
Stefan Schrott's user avatar
3 votes
0 answers
36 views

Computing the truncations (“ancestors”) of a surreal number from its Hahn series representation (“normal form”)

If $x$ is a surreal number and $\alpha$ an ordinal, let us denote $T_\alpha(x)$ and call $\alpha$-truncation of $x$ the surreal number whose sign sequence is obtained by truncating the sign sequence ...
Gro-Tsen's user avatar
  • 32.5k
3 votes
0 answers
161 views

Generalized dimension property for rings

My question is very basic, I am looking for a characterization (and name) of rings $R$ satisfying the following property $\star$. For any $V, W$ two finitely generated $R$-modules such that $V\oplus W\...
GSM's user avatar
  • 223
3 votes
0 answers
118 views

A matrix-valued analogue of a classical inequality

Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$, $$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
Aidan Backus's user avatar
3 votes
0 answers
83 views

Non-commutative Gorenstein Koszul algebras

I was wondering if there exists a characterization of finite-dimensional Gorenstein Koszul algebras in terms of their Koszul dual?
Paulo Rossi's user avatar
3 votes
0 answers
109 views

How much a general a theory of matrices equivalence under group actions we have?

Let $F$ be a field and let $M_{m,n}\,(F)$ be the $F$-linear space of $m \times n$ matrices over $F$. Let $G$ be a group acting on $M_{m,n}\,(F)$. My question is: Do we have some theory about the ...
en-drix's user avatar
  • 157
3 votes
0 answers
152 views

My category is rigid: what this implies for representation theory?

I am studying a subcategory $\mathcal{C}$ of modules for an associative noncommutative algebra $A$ (which is in fact also a Hopf algebra). It is clear from our definition of $\mathcal{C}$ that it is ...
jg1896's user avatar
  • 3,318
3 votes
0 answers
130 views

Trace map on Ext group

Let $R$ be a (possibly non-commutative) unital ring and $M$ be a perfect left $R$-module. Then, we have the trace map $$ \operatorname{Tr}\colon \mathrm{Hom}_R(M,M)\to R/[R,R]\,. $$ According to the ...
Qwert Otto's user avatar
3 votes
0 answers
106 views

Formulas for the line joining two points in the projective plane over a division algebra

Let $K$ be a[n associative] division algebra (= skew field). By the “projective plane” $\mathbb{P}^2(K)$ over $K$ I mean, as usual, the set of triples $(x,y,z)$ of elements of $K$, not all zero, up ...
Gro-Tsen's user avatar
  • 32.5k
3 votes
0 answers
100 views

Pairing on a Koszul dual pair

Let $A$ be a graded quadratic algebra over a field $k$, and suppose that it admits the Koszul dual $A^!$. I want to know if there is a natural pairing $A\otimes A^!\to k$ or something similar to this. ...
Qwert Otto's user avatar
3 votes
0 answers
40 views

Filtering a pre-Koszul algebra to get a homogeneous associated graded algebra

In Priddy's paper "Koszul resolutions", on p. 42 he defines an algebra $A$ to be pre-Koszul if it can be written as a quotient of a free algebra $F = F\langle x_i \rangle$ with generators $\{...
John Palmieri's user avatar
3 votes
0 answers
58 views

About a circular variant of Vandermonde matrix

Given an arbitrary $(x_1, \dots, x_n) \in [0, 1]^n$, is there any name/known results for the following $n \times n$ matrix (which is constructed by iterating $(x_1 \to \dots \to x_n \to x_1 \to \dots)$...
lntk's user avatar
  • 33
3 votes
0 answers
83 views

A stochastic matrix $B = \lambda(\lambda I - A)^{-1}$ such that $B-B^2$ has a non-negative diagonal

I apologize if this is too elementary a question, but I have not been able to make much progress. Consider a real matrix $A$ with $A_{ij} >0$ for $i \ne j$ and $\sum_{j} A_{ij} = 0$ for each $j$. ...
user133281's user avatar
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, ...
darij grinberg's user avatar
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 ...
user520947's user avatar
3 votes
0 answers
202 views

Coevaluation for linear categories

For a field $k$ and an associative $k$-algebra $R$, the $k$-linear category $R\operatorname{-Mod}$ is self dual inside $\operatorname{DGCat}_k$, with the counit map sending $k$ to $R$ regarded as a ...
E. KOW's user avatar
  • 834
3 votes
0 answers
134 views

Generalized wreath products of commutative algebras with Hopf algebras

Fix $k$ a commutative ring (or, if more convenient, assume it’s a field or even an algebraically closed field of characteristic 0, which is the case I’m mainly interested in). Let $A$ be a unital ...
David Gao's user avatar
  • 2,830
3 votes
0 answers
222 views

What is a Gelfand-Tsetlin subalgebra?

For context on general Gelfand-Tsetlin theory, see for instance this MO post. Let's work over $\mathbb{C}$. Fix $n>0$. There is a natural chain of embeddings of the general linear Lie algebras $\...
jg1896's user avatar
  • 3,318
3 votes
0 answers
452 views

Dimension of a subspace of $n\times n$ real symmetric matrices

Let $n\in \mathbb N.$ Let $W$ be a non-trivial subspace of $n\times n$ symmetric matrices such that for every $x\in \mathbb R^n\setminus \{0\}$ there exists $a_x\in \mathbb R^n\setminus \{0\}$ such ...
mathew's user avatar
  • 49
3 votes
0 answers
520 views

Particular Lie bialgebra structure

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\bigwedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang–Baxter equation states that for all $x\in\...
user56980's user avatar
  • 442
3 votes
0 answers
106 views

Finite dimensional real division algebra up to isotopy

Finite dimensional real division (non necessarily associative) algebras exist in dimensions 1, 2, 4, and 8. The standard example is a Hurwitz algebra $(A,*)$: reals, complexes, quaternions, octonions. ...
Bugs Bunny's user avatar
  • 12.3k
3 votes
0 answers
145 views

Eigenvalues of random matrices are measurable functions

I have read that if a random matrix is hermitian then its eigenvalues are continuous, hence also measurable. If the random matrix is not hermitian, the eigenvalues are not continuous in some cases. ...
Curtis74's user avatar
3 votes
0 answers
83 views

How many local maxima can $(x_1,\dots,x_r)\mapsto\|x_1A_1+\dots+x_rA_r\|_\infty/\|(x_1,\dots,x_r)\|_2$ have for Hermitian $A_1,\dots,A_r$?

Let $K\in\{\mathbb{R},\mathbb{C},\mathbb{H}\}$. Suppose that $A_1,\dots,A_r\in M_n(K)$ are all Hermitian. Define a function $f_{A_1,\dots,A_r}:\mathbb{RP}^{n-1}\rightarrow[0,\infty)$ by setting $$f_{...
Joseph Van Name's user avatar
3 votes
0 answers
134 views

What is this correspondence between composition algebras over R and superstring theories?

In the page for superstring theory, Wikipedia states: Another approach to the number of superstring theories refers to the mathematical structure called composition algebra. In the findings of ...
L. E.'s user avatar
  • 131
3 votes
0 answers
130 views

The probability that the dominant eigenvalue of a random real matrix is real

Let $X_n$ be an $n\times n$ real matrix where the entries in $X_n$ are independent, normally distributed, have mean $0$, and variance $1$. Suppose that $\lambda_1,\dots,\lambda_n$ are the eigenvalues ...
Joseph Van Name's user avatar
3 votes
0 answers
225 views

Intersection of two modules (and sub-modules) under tensors

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let $K$ be a field and $A, B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
M-M's user avatar
  • 31
3 votes
0 answers
85 views

Exterior powers of the Cartan matrix and Dyck paths

(This question can be formulated purely combinatorially in terms of Dyck paths, which is done in the second part of the question. But I am more interested whether this can be explained by some sort of ...
Mare's user avatar
  • 26.5k
3 votes
0 answers
119 views

Finite algebras with finitely many automorphisms

Let $B'/B$ be a finite locally free algebra. Locally in $B$, there is an isomorphism of $B$-modules $B'\simeq B^{\oplus n}$. When is the automorphism group of $B'/B$ finite? When is it unramified? Is ...
Leo Herr's user avatar
  • 1,084

1
10 11
12
13 14
41