All Questions
2,026 questions with no upvoted or accepted answers
0
votes
0
answers
114
views
A linear combination problem
Given $0/1$ $n\times n$ matrix $M$.
Suppose we have $2$ vectors $\lambda,\mu\in\Bbb R^{1\times n}$ such that both
$$\lambda M\in\{0,1\}^{1\times n}$$
$$M\mu'\in\{0,1\}^{n\times 1}$$
holds with $'$ ...
user76479
0
votes
0
answers
307
views
Basic question about power series and complete group algebras
This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...
- 10.7k
0
votes
0
answers
197
views
Name of some commutative ring akin to $p$-adics
I need help in identifying the naming convention of some commutative ring described below.
Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
0
votes
0
answers
160
views
$l_{\infty}$ norms of matrix perturbations
Say $B$ is a real symmetric matrix of dimension $n$ and $A$ is another real symmetric matrix of the same dimension.
What needs to be the bounds on (which?) norm of $B$ to ensure that $\lambda_{max}(...
- 1,893
0
votes
0
answers
63
views
Writing a module as a direct sum
Let $q_1, q_2, q_3 \in \mathbb{Z}[x,y]$ such that $q_1, q_2$ are algebraically independent and let $S$ be an algebra generated by $q_1, q_2, q_3$ over $F_p$. If writing $S$ as a module over $F_p [...
- 11
0
votes
0
answers
177
views
Intersections of ideals and nilpotence
Let $R$ be a polynomial ring over a field $k$, $R = k[x_1, \dots, x_n]$. Suppose $R'$ is an associative $R$-algebra and it has the property that there exists a degree $m<n$ monomial in the $x_i$'s ...
- 25.6k
0
votes
0
answers
206
views
Finding a "special" non singular submatrix
Given a square integer matrix $A \in M_n(Z)$ and two subsets $I, J \subset \{ 1, \ldots, n\}$, we define $A_{I,J}$ as the sub-matrix of $A$ containing the rows (resp. columns) whose index is in $I$ (...
- 59
0
votes
0
answers
90
views
Derivative of a conjugation of matrices
Let $\mathcal{M}_n$ be the space of complex $n\times n$ matrices. Let $\Phi\colon \mathbb{D}\to \mathcal{M}_n$ and $\psi \colon \mathbb{D}\to \mathcal{M}_n$ be holomorphic functions. Consider the ...
- 758
0
votes
0
answers
199
views
Action of semidirect products of cyclic groups
Is there anything known about group actions of $C_{p}\rtimes C_{p}^{*}$ on the ring of real polynomials $\mathbb{R}[X_{1},\ldots,X_{n}]$, where $C_{p}$ denotes the cyclic group of order $p$ and $p$ is ...
0
votes
0
answers
201
views
Range of a trace preserving completely positive projection
I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is
$$\text{Tr}(P(A)) = ...
- 515
0
votes
0
answers
166
views
For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD?
For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD? I've proved that neither $p$ nor $q$ can be congruent to $1$ modulo $...
- 403
0
votes
0
answers
160
views
Rational group scheme
Suppose $G$ is a group scheme over a field $k$, i.e., $G$ is a functor from the category $\text{Alg}_k$ of unital commutative, associative $k$-algebras to the category of $\text{Groups}$. Suppose that ...
user69002
0
votes
0
answers
123
views
A quantity associated with an algebraic variete
Let $P:\mathbb{C}^{n}\to \mathbb{C}$ be an irreducible homogenous polynomial.
Is there a geometric or algebra geometric interpretation for the following quantity:
The maximum number $k$ such that ...
- 356
0
votes
0
answers
83
views
Bits of precision matrix reconstruction
We have a real rank $r$ matrix $M\in\{0,1\}^{n\times n}$.
Suppose we have diagonalized using $LMR=D$.
I want to recover a real matrix $\widetilde{M}$ such that maximum absolute entry of $\widetilde{...
- 13.9k
0
votes
0
answers
161
views
Way to parameterise sparse multi diagonal matrix
I have an NxN matrix S that looks like this: $$ S^{-1} = K^{-1} + \Lambda $$
where N is a multiple of 3, both K and S are positive definite matrices, and Lambda is
$$
\Lambda = \begin{bmatrix}
x &...
- 1
0
votes
0
answers
259
views
Zariski dense subgroups and conjugates
Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...
- 11.3k
0
votes
0
answers
227
views
Canonical forms of symmetric/skewsymmetric quaternionic matrix
$A$ belongs to $n$-dimensional quaternion symmetric matrix, in the sense that $A=A^T$, where $T$ means transpose. Under transformation $U$, $A\rightarrow U\cdot A\cdot U^T$, where $U$ is $n$-dim ...
- 293
0
votes
0
answers
115
views
Dimensions of two spaces
Let $R=\Bbb K[x_1,\dots,x_n]/I$ and $Z=\mathsf Z(I)$ where $\Bbb K$ is any field with $char(\Bbb K)\neq 2$.
Is there a way to describe space of $f_1,f_2\in R$ that satisfies $$f_1+f_2\neq 0,\mbox{ }\...
- 13.9k
0
votes
0
answers
83
views
Analogue of Baer's injectivity criterion for comodule algebras
Let $H$ be a Hopf algebra and $A$ an $H$-comodule algebra; denote by $M^H_A$ the category of right $(H,A)$-Hopf modules [i.e. $A$-module, $H$-comodules, everything is compatible with everything else]. ...
- 651
0
votes
0
answers
143
views
Soluble group algebras and centralizers
Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every $p'$-...
- 581
0
votes
0
answers
129
views
A special Lie subalgebra
Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question:
Let $L$ be a Lie algebra. We consider the Lie subalgebra $$...
- 356
0
votes
0
answers
61
views
Solution of a nonlinear system of two equations
Given the matrix $A_{M,N}$ with $N\gt M$, the vector $y$, I have to find the vectors $x$ and $u$, satisfying the following equations:
$$D(x)x=A^Tu$$
$$y=Ax$$
where: $$D(x) = \left| \begin{array}{ccc}
\...
- 399
0
votes
0
answers
244
views
Reduction from permanent to $(0,1)$-permanent and implication of $P \ne NP$
Valiant
shows reduction from counting the solutions of CNF formula $F$,$\#SAT(F)$
to computing permanent where $ Perm(A)= 4^{t(F)}\cdot \#SAT(F)$
for certain efficiently computable $t(F)$ and matrix $...
- 25.4k
0
votes
0
answers
128
views
Grading a module
Let $R = \bigoplus_{n\in\mathbb{Z}}R_n$ be a graded ring. I'm trying to understand the structure of simple graded $R$-modules.
In C. Nastasescu and F. Van Oystaeyen book, Methods of graded rings, ...
0
votes
0
answers
208
views
A noncommutative analogy of the tube lemma
Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to \mathbb{C}\...
- 356
0
votes
0
answers
136
views
Relationships between finiteness of stable rank and IBN property of rings
Does any ring of finite stable rank have IBN property? Where can we find this result?
0
votes
0
answers
141
views
Property of quasipositive matrices
I saw this theorem stated in a paper without proof and I have difficulty proving it.
If $A$ is an $n\times n$ matrix with non-negative off-diagonal entries, let $s(A)$ be the real eigenvalue such ...
- 143
0
votes
0
answers
75
views
approximate coordinates in a one dimensional lattice
suppose I have a finite set of real numbers ${r_1, \ldots r_n \in \mathbf{R} }$ and a single real number $x \in \mathbf{R}$. Is there a fast algorithm for finding integer numbers ${i_1, \ldots i_n \in ...
- 101
0
votes
0
answers
72
views
Decomposition results for locally commutative semigroups
Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...
- 798
0
votes
0
answers
148
views
How to find $n$ such that the group of units $U(\mathbb{Z}/n\mathbb{Z})$ has a given abelian subgroup?
Given an integer $n$, we can determine the structure of the multiplicative group of integers modulo $n$ ($U(\mathbb{Z}/n\mathbb{Z})$) by the factorization of $n$. Hence we can easily find all the ...
- 343
0
votes
0
answers
704
views
expected matrix inverse of circulant plus diagonal matrix with chi-square variables
Let $R$ be a semi-definite $N\times N$ circulant Toeplitz matrix and let $N\to \infty$.
Let $D$ be an $N\times N$ diagonal matrix where the elements on the main diagonal are independent chi-square ...
- 96
0
votes
0
answers
100
views
algebras of infinite injective dimension
Are there any connected graded Noetherian algebra of infinite injective dimension but has a balanced dualizing complex?
Thanks a lot.
- 141
0
votes
0
answers
115
views
a very elementary question on the conjugated matrices
Let $A$ and $B$ two matrices in $GL_{n}(K[[\pi]])$, regular semisimple on $GL_{n}(K((\pi)))$, with $K$ an algebraically closed field of characteristic zero .
We suppose that they have the same ...
- 3,472
0
votes
0
answers
99
views
Example of a ring whose minimals are annihilators of idempotents?
I'm looking for examples† of rings with the property that for each
$P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$)
† other than domains!
- 189
0
votes
0
answers
52
views
Dense Matrix Estimation
I have a matrix $X \in \mathbb{R}^{m\times n}$ and I want to estimate it with a dense matrix $Y^{m\times n}$ such that $Y$ is still close to $X$ in some distance measure. Is this doable in a ...
- 137
0
votes
0
answers
165
views
Cotorsion theory and its relative homology
Let (F(R), Cot(R)) be a cotorsion theory, Such that F(R) is the class of flat R-modules and Cot(R) the cotorsion modules. Why this is true that, For $ N\in Cot(R) $,
$ \text{Ext}_{F(R)}^i(M, N)\cong \...
- 11
0
votes
0
answers
283
views
Isomorphic maximal commutative semi-simple sub algebras of complex matrices
When giving $A_1,A_2$ two isomorphic maximal commutative semi-simple sub algebras of $M_n(\mathbb{C})$, are these algebras conjugate in $M_n(\mathbb{C})$? Namely, does there exists a regular matrix $P$...
- 1
0
votes
0
answers
871
views
Minimal generators of an ideal
Take $S$ and $T$ two subsets of homogeneous elements of the associative noncommutative free algebra $F$ over a field $k$ generated by a set $X$, provided with a positive grading.
To exclude ...
- 1
0
votes
0
answers
189
views
Summation of eigenvalues of tri-diagonal matrix smaller than specific value
Is there any analytic expression for summation of eigen-values of a tri-diagonal matrix which are smaller than a constant value? Or even a rough approximation for it. How about case of a general ...
- 1
0
votes
0
answers
257
views
What is the integer form of a projector into the intersection of the ranges of two integer projection matrices?
Consider two square integer matrices $X$ and $Y$ of the same dimension with the following properties:
$X^2=rX$, and $Y^2=sY$ for integers $r$ and $s$. The $\gcd$ of the entries of $X$ is 1 and the $\...
0
votes
0
answers
194
views
What methods have been used to study AW*-algebras up to now?
I am interested mainly in ring theory and homological algebra. Now I want to know about the research methods of AW*-algebras. So I want to know the answer to the question:"what methods have been used ...
- 1
0
votes
0
answers
237
views
Geometric Mean of Positive Matrices
Hello all,
My question regards the geometric mean (GM) of two positive matrices. The definition of the GM for two positive matrices $(A,B)$ is given by:
$M_0(A,B)=A^{\frac{1}{2}}(A^{-\frac{1}{2}}BA^{-...
- 155
0
votes
0
answers
409
views
Singular Value Decomposition Question
Hi: I'm new to this list so apologies if I do anything wrong with my question.
Suppose I have a matrix $Y$ whose SVD can be decomposed as
$Y = U_{0}\Sigma_{0}V_{0}^{*} + U_{1}\Sigma_{1} V_{1}^{*}$...
0
votes
0
answers
75
views
How to distinguish projective involutions?
Let $K$ be a field of characteristic not $2$ and $R$ a continuous von Neumann regular ring with centre $Z=Z(R)$ isomorphic to $K$. For an example one may assume $R$ is a matrix ring of $n\times n$-...
- 804
0
votes
0
answers
110
views
Quaternion algebras over $k[[u,v]]$
Let $R=k[[u,v]]$ be a power series ring over algebraically closed
field of characteristic zero. The quaternionic $R$-algebra is
$A=R\langle x,y\rangle/I$, where $I=(x^2-a, y^2-b, xy+yx-2c)$ and $a,b,c\...
- 1
0
votes
0
answers
188
views
Matrix Maximization.
Hi everyone,
I'm trying to solve/define the following optimization problem:
$\max_M f(M)$
s.t.
$M \theta = b$
$\sum_j \theta_j = 1$
When:
M is an m*n real matrix
$\theta$ and $b$ are n*1 column ...
- 101
0
votes
0
answers
161
views
vector equation
Suppose you have an equation of the form $Hx=Ky$, where $x,y$ are vectors of length $n,m$ respectively ($m>n$) and $H,K$ are matrices of orders $n \times n,n \times m$ respectively. Is there some ...
- 6,962
0
votes
0
answers
133
views
On X-s-permutable subgroups of a finite group
I want to prove Lemma 2.1(1) in the paper On X-s-Permutable Subgroups of a Finite Group by Min Bang SU, Yang Ming LI. It is on the web.
This is my proof.
.
Since $H$ is $X−s−$permutable in $G$, then ...
0
votes
0
answers
345
views
Jacobian of the inversion map
Let $F:Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})\rightarrow Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})$ be the map which sends a matrix $A$ to its inverse $A^{-1}$. If we consider $F$ as a function from $(\...
- 657
0
votes
0
answers
174
views
For a pair of non-commutative ring $(R, S)$, is there a faithfully semidualizing $(R, S)$-bimodule?
Given a pair of non-commutative rings $(R, S)$, how to construct a faithfully semidualizing $(R, S)$-bimodule?
Henrik Holm and Diana White introduced the concept of faithfully semidualizing ...
- 199