All Questions
2,025 questions with no upvoted or accepted answers
4
votes
1
answer
364
views
Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$
Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
- 10.5k
4
votes
0
answers
96
views
Bessel in matrix?
Let $M_n$ be the matrix
$$M_n=\begin{pmatrix}
1&\binom{1}{1}\binom{1-1}{1-1} &0 &0\qquad \qquad \dots &0\\
1&\binom{2}{1}\binom{2-1}{1-1} &\binom{2}{2}\binom{2-1}{2-1} &0 \...
- 43.2k
4
votes
0
answers
96
views
Are extremal tournament matrices always circulant or 'almost circulant'?
Define an antisymmetric 1-x-matrix as an $n\times n$ matrix $M=(m_{ij})$ with $m_{ii}=0$ and $\{m_{ij},m_{ji}\}=\{1,x\}$ for all $1\le i<j\le n$. Call their set $\mathcal A_n$.
The setup is as ...
- 13.4k
4
votes
0
answers
578
views
Determining whether a Schur complement is invertible
Consider the symmetric matrix
$$M = \begin{bmatrix}
A & B \\
B^T & -C
\end{bmatrix}$$
where $A \in \cal{R}^{n \times n}$ and $C \in \cal{R}^{m\times m}$ are symmetric, ...
- 41
4
votes
0
answers
98
views
$\lambda$-Decomposition for Connes' Cyclic Complex
Let $k$ be a field of characteristic zero, and $A$ be a commutative unital $k$-algebra. Then the cyclic homology of $A$ has a $\lambda$-decomposition:
$$HC_{n}(A)=HC_{n}^{(1)}(A)\oplus \cdots \oplus ...
- 661
4
votes
0
answers
185
views
ring structure of $KK_*(A,A)$ for a separable $C^*$-algebra $A$
Motivation:
For a topological space $X$ one can consider under certain circumstances the cohomology ring of suitable cohomology theories, for example:
1) The cohomology ring $H^*(X;R)=\oplus_{i\ge ...
- 1,188
4
votes
0
answers
67
views
Existence of infinitely many pairwise non-associate atoms in a ring of polynomials in $k$ variables over a Dedekind-finite unital ring
The following comes as a by-product of a more abstract result, and I'm essentially looking for a reference to it (or to something more general than it).
Corollary. Let $R$ be a non-trivial Dedekind-...
- 10.5k
4
votes
0
answers
302
views
Does the tensor algebra $T(V)$ of $V$ isomorphic to the symmetric algebra of the free Lie algebra over $V$?
Let $V$ be a finite dimensional vector space. Let $T(V)$ be the tensor algebra over $V$.
Do we have $T(V) \cong S(Lie(V))$ as a graded vector space? Here $S(Lie(V))$ is the symmetric algebra of the ...
- 6,201
4
votes
0
answers
112
views
Inducing surjections on $GL_n(-)$?
Suppose $A,\,B$ are (possibly noncommutative) rings, and $GL_n(-)$ is the group of invertible $n\times n$ matrices over a given ring. Suppose $f:A\to B$ is surjective, does it necessarily follow that $...
- 61
4
votes
0
answers
74
views
self-cogenerator rings
Let $\mathbb{U}$ be a non-empty set (class) of objects of a
category $C$. An object $B$ in $C$ is said to be cogenerated by
$\mathbb{U}$ or $\mathbb{U}$-cogenerated if, for every pair of
distinct ...
- 41
4
votes
0
answers
224
views
Equations in finite subgroups of unitary groups
Let $n$ be an integer. Andreas Thom mentioned that Camille Jordan showed that there exists some $m \in {\mathbb N}$ (depending on $n$), such that for any pair of $n \times n$-unitaries $u,v \in U(n)$ ...
- 24.8k
4
votes
0
answers
437
views
A sum of Ramanujan sums
I have the following question about Ramanujan sums.
(All vectors and matrices here will be understood to have integer entries.)
Let $X_q=\{ (x_1,...,x_R)|1\leq x_i\leq q\} $ and let, for any $R\...
- 1,381
4
votes
0
answers
164
views
Matrices in $SL(2,\mathbb{C})$ with characteristic polynomial defined over a subring
Let $R\subset\mathbb{C}$ be a subring, and let $A,B\in SL(2,\mathbb{C})$ be matrices such that $A,B,AB$ all have trace in $R$.
For which $R$ can we then deduce that $A,B$ are simultaneously conjugate ...
- 7,527
4
votes
0
answers
84
views
Matrices with almost constant coefficient have a simple eigenvalue
As a by-product of a general result for bounded operators of a Banach space, I have the following:
A matrix $L=(\ell_{ij})_{ij}$ that has almost constant coefficients in the sense that for some $c$,...
- 14.4k
4
votes
0
answers
117
views
Generators of the symmetric square of the group ring of an abelian group
Let $A$ be an abelian group and $R=\mathbb{Z}[A]$- its group ring. Denote by $I$ an ideal of $R$ given by a kernel of the map $R\longrightarrow \mathbb{Z} \oplus A,$ sending $[r]$ to $(1,r)$. Next, ...
- 4,316
4
votes
0
answers
168
views
Fast matrix-vector product for structured matrices
Let $X\in\mathbb{C}^{m\times n}$ be a matrix that satisfies the Sylvester equation
$$AX-XB = F,\qquad A\in\mathbb{C}^{m\times m}, \quad B\in\mathbb{C}^{n\times n},$$
where $F\in\mathbb{C}^{m\times n}$...
- 41
4
votes
0
answers
445
views
Reference for classification of positive involutions
An involution on a finite dimensional algebra $A$ over $\mathbb{Q}$ is an involutive anti-automorphism of $A$. If $\sigma$ is an involution on $A$, we say that $\sigma$ is positive if $\mathrm{Tr}_{A/\...
- 5,382
4
votes
0
answers
374
views
non-symmetric weak diagonal-dominant matrix, no decoupling: (a) is positive semi-definite? (b) has dim(ker)=1?
We are considering a matrix $A=(a_{ij})_{i,j=1,\ldots,d}\in\mathbb{R}^{d\times d}$ with the following property: $a_{ii}=-\sum_{j\neq i}a_{ij}$, i.e., the matrix is not only weak diagonal-dominant, but ...
- 329
4
votes
0
answers
429
views
Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms
I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...
- 1,755
4
votes
0
answers
167
views
For $P$ $\mathbb{Z}G$-projective, $\mathbb{Q}\otimes P$ is $\mathbb{Q}G$-free
I'm looking for a proof of a theorem of Swan [1, Theorem 3]:
If $G$ is a finite group and $P$ a finitely generated projective $\mathbb{Z}G$-module, then $\mathbb{Q}\otimes_\mathbb{Z}P$ is a free $\...
- 2,019
4
votes
0
answers
85
views
An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$
Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true.
Is ...
- 255
4
votes
0
answers
208
views
An operator derived from the divided difference operator $\partial_{w_0}$
Some main definitions and basic facts of divided differences:
In the symmetric group $S_n$, let $s_i$ denote the adjacent transposition $(i,i+1),i\in \{1,2,\cdots,n-1\}.$ Since $S_n$ is generated by ...
- 1,997
4
votes
0
answers
172
views
Poincaré-Birkhoff-Witt theorem for Leibniz algebras
Leibniz algebras can be seen as a non-skew-symmetric generalization of Lie algebras. I have already taken a look at some papers related to Leibniz algebras and extending main results of Lie algebras ...
- 367
4
votes
0
answers
125
views
How to enumerate a discrete group of matrices by their Frobenius norm?
Suppose I have a discrete group $G<\mathrm{SL}_2(\mathbb{C})$,
and it is finitely generated by some known generators.
That is, $G=\langle g_1,\dots,g_n\rangle$.
The Frobenius norm of a matrix $m=\...
- 2,436
4
votes
0
answers
514
views
Efficiently calculate the trace of the product of two large but symmetric matrices, one of which is an inverse
Sorry about the long title. I need to calculate the trace of $M(M+D)^{-1}$, where $M$ is a dense symmetric matrix, and $D$ is a diagonal matrix. The main issue is the dimension could be large (usually ...
- 41
4
votes
0
answers
432
views
Spectral radius of the product of a right stochastic matrix and a block diagonal matrix
Let us define the following matrix:
$C=AB$
where $B$ is a block diagonal matrix with $N$ blocks, $B_1$, $B_2$ … $B_N$, each of dimensions $M \times M$. I know that $B_k = I_M - \mu R_k$ with $R_k$ ...
- 41
4
votes
0
answers
676
views
Weyl-type inequality for non-Hermitian matrices?
What is the weakest known condition under which a Weyl-type eigenvalue perturbation inequality holds? Does some analogue hold for normal matrices, for example?
- 6,541
4
votes
0
answers
497
views
$T$-nilpotent ideals
Recall that a subset $I$ of a ring $R$ is left (resp.,
right) $T$-nilpotent in case for every sequence $$a_1,a_2,\cdots $$
in $I$ there is an $n$ such that $a_1\cdots a_n=0$ (resp.,
$a_n\cdots a_1=0$)....
- 887
4
votes
0
answers
122
views
Cosemi-simple FRT Hopf Algebras
This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...
- 159
4
votes
0
answers
640
views
The existence of zero-divisors in the universal enveloping algebra of an infinite-dimensional Lie algebra
The intuition for this problem comes from $\S$17 Exercise 1 Humphreys' Introduction to Lie Algebras and Representation Theory which essentially asks us to use PBW in order to prove that if a Lie ...
4
votes
0
answers
107
views
Freeness of a matrix semigroup
Motivated by some questions in the dimension theory of self-affine sets, a colleague and I are interested in the freeness (or otherwise) of the subsemigroup of $SL_\pm(2,\mathbb{R})$ generated by the ...
- 6,206
4
votes
0
answers
171
views
How does scaling rows to sum to 1, of a positive matrix change the perron vector?
Reposting from math.sx due to lack of response. Let $A$ be a $N\times N$ positive matrix such that $A_{ij}>0$. By Perron-Frobenius theorem, there is a unique positive left eigenvector called Perron ...
- 1,421
4
votes
0
answers
234
views
Relation between Euclidean distance matrices and squared-distance matrices
Let us refer to $D$ as the matrix with $D_{ij} = ||x_i - x_j||_2$ and $H = D \circ D$ e.g. the matrix with $H_{ij} = ||x_i - x_j||_2^2$ as its entries. Are the spectra of these matrices related at all?...
- 133
4
votes
0
answers
152
views
Nilpotent operator of the Weyl algebra
For a research project I'm currently working on, I came across the following problem:
Let $A=$ $^{k <x,y> }\Big/_{(yx-xy-1)}$ be the Weyl Algebra over a field $k$ of characteristic $p$, where $...
- 499
4
votes
0
answers
89
views
Can we replace 2-fold cover by n rectangles with 1-fold cover by n rectangles?
Suppose that $n$ rectangles cover every point of their union exactly twice (except for points on their boundaries).
Can we partition this union into at most $n$ rectangles?
I think it's pretty ...
- 18.9k
4
votes
0
answers
342
views
Determinant of the sum of a psd (Kronecker) matrix and a diagonal matrix?
Let $K = K1 \otimes K2$ where $K1$ and $K2$ are positive semidefinite matrices. Let $W$ be a diagonal matrix with positive entries. (Everything is real-valued.)
I want to calculate or bound $\det (...
- 141
4
votes
0
answers
164
views
Counting cosets of matrices of determinant > 1 under the action of a congruence subgroup
I tried asking this on math exchange, but no luck, so thought I'd try here.
Let $M_2(m,\mathbb{Z}) $ be the $2\times 2$ matrices with integer entries and determinant $m$. Let $\Gamma^0(N)$ be the ...
- 41
4
votes
0
answers
762
views
Rewrite sum of radicals equation as polynomial equation
My question is about a method described in [Dr.Math forum][1] for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...
- 153
4
votes
0
answers
212
views
A doubt from the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring"
I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...
- 1,713
4
votes
0
answers
290
views
C*-algebras and bounded relations
I'm trying to get used to the language of generators and relations for C*-algebras through Loring's "Lifting Solutions to Perturbing Problems in C*-Algebras". So far this is what I got from the first ...
- 417
4
votes
0
answers
252
views
Formal DG-algebras
Sorry for this question but I really have difficulties with model categories.
Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
- 2,554
4
votes
0
answers
133
views
Simplest (?) example of bicrossed product Hopf algebra
Suppose we have two Hopf algebras, H and A and additionally A is (left) H-module algebra and H is (right) A comodule coalgebra. This means that A is left module over H and moreover that
$h(ab)=h_{(1)}(...
- 9,330
4
votes
0
answers
1k
views
How to find the unitary matrices in this exponential matrix representation
In the following post
Representing a product of matrix exponentials as the exponential of a sum
there is a statement regarding the result of the multiplication of two matrix exponentials:
if $A$ and $...
- 149
4
votes
0
answers
835
views
Hermitian forms over quaternion algebra
Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let $\sigma=Int(i)\...
- 41
4
votes
0
answers
362
views
Comparing different Euclidean algorithms on a Euclidean domain
I have posted this question at stackexchange (502413), without responses until now.
In the papers by T. Motzkin: The Euclidean Algorithm, Bull. AMS 55, 1949, pp. 1142--1146 and P. Samuel: About ...
- 2,454
4
votes
0
answers
168
views
Nontrivial examples of rings of relative stable rank 1
Given a (commutative) ring $R$, one says that the stable rank $sr(R)\leq n$ if any unimodular row $(a_1,\ldots,a_{n+1})$ of length $n+1$ is stable, i.e. there exist $x_1,\ldots,x_n$ such that $(a_1+...
- 3,186
4
votes
0
answers
217
views
Examples of functions from matrices to real numbers with certain properties
Let $M(\mathbb{R})$ be the set of all matrices (of any size) over $\mathbb{R}$. Let $v : M(\mathbb{R}) \rightarrow \mathbb{R}$ be a function which satisfies the following 5 properties:
If $\mathbf{a}...
- 101
4
votes
0
answers
358
views
Minimal prime ideals of a group ring
Let $R$ be a left Noetherian ring (if you prefer you can just think to $R$ as a skew field, I'll be happy with an answer under that hypothesis) and $G$ be a polycyclic-by-finite (or, if you prefer ...
- 2,452
4
votes
0
answers
172
views
reference for direct finiteness of the ring of affiliated operators
Let $\Gamma$ be a group, $N(\Gamma)$ its group von Neumann algebra,
$\newcommand{\cUG}{{\mathcal U}(\Gamma)}$
and $\cUG$ the ring of all densely-defined, closed operators $\ell^2(\Gamma)\to\ell^2(\...
- 25.8k
4
votes
0
answers
657
views
determinant of fibonacci-sum graphs
We have a simple graph with vertices $\{v_1, v_2, ... v_n\}$.
The adjacency matrix of this graph is $A= (a_{ij})$ so that
$a_{ij}=1$ if $i+j$ belongs to the Fibonacci sequence;
$a_{ij}=0$ ...
- 41