Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
522 questions
5
votes
0
answers
578
views
Central Element in Sklyanin Algebras?
I'm interested in Sklyanin Algebras or Artin-Shelter regular algebras of type A. These are generated in degree 1 by three variables x,y,z, and have three defining relations in degree 2, which you can ...
- 807
1
vote
2
answers
369
views
Gerstenhaber bracket out of $L_\infty$ algebras
Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that $\...
- 41
2
votes
2
answers
983
views
Torsion in tensor products over noncommutative rings
I know that the problem of torsion in tensor products, even of torsion free modules, is a very delicate thing. Unfortunately i don't have a deeper insight into this subject, so i don't know how things ...
- 1,391
12
votes
0
answers
533
views
Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?
Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...
- 221
5
votes
0
answers
134
views
Projective dimension of ring over its center
If $A$ is a ring and $Z(A)$ is its center then what is a sufficient condition for the projective dimension of $A$ over $Z(A)$ (ie: $pd_{Z(A)}(A)$) to be finite?
(Assuming that $A\neq Z(A)$).
- 5,405
12
votes
1
answer
494
views
Tensor products and two-sided faithful flatness
Let $f: R \to S$ be a morphism of Noetherian rings (or more generally $S$ can just be an $R-R$ bimodule with a bimodule morphism $R \to S$). Suppose $f$ is faithfully flat on both sides, so $M \to M \...
- 37k
3
votes
0
answers
269
views
Computing the Abelianization of an Automorphism Group
Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let $M_1,...
- 161
3
votes
1
answer
875
views
The Jacobson radical of an infinite dimensional algebra
Does any one know the Jacobson radical of the path algebra of the following quiver?
$$\bullet \leftrightarrows \bullet$$
How many simplerepresentations of it are there?
Is there any software that ...
- 207
6
votes
1
answer
335
views
A potential resolution of $R/r$
The DGA
For $k$ some field, let $R$ be a $k$-algebra, and let $r\in R$.
Define a differential graded algebra $\mathbf{R}_r$ as follows. As a graded algebra, it is isomorphic to $R\langle t\rangle$, ...
- 13k
8
votes
1
answer
623
views
Is there a good computer package for working with complexes over non-commutative rings?
I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find ...
- 44.7k
12
votes
0
answers
443
views
Nullstellensatz for quaternionic plane curves?
By a quaternionic plane curve I mean the zero locus of a noncommutative polynomial in two variables, $x$ and $y$ say, over ${\Bbb H}$, Hamilton's quaternions. It is evidently well-known that, after ...
- 17.6k
2
votes
2
answers
302
views
How canonical is the triangular decomposition of a rational Cherednik algebra?
Introduction:
Let $V$ be a finite-dimensional $\mathbb{C}$-vector space, let $G \leq \mathrm{GL}(V)$ be a finite subgroup and let $\kappa:V \times V \rightarrow \mathbb{C}G$ be an alternating bilinear ...
- 5,243
4
votes
1
answer
366
views
Prime ideals in maximal orders (1- and 2-sided)
I am an arithmetic geometry graduate student, and I find myself needing to learn about factorisation in orders in division algebras. I know something aout algebraic number theory and commutative ...
- 1,500
2
votes
0
answers
99
views
Turning left modules into right modules over a homotopy Gerstenhaber algebra
For simplicity's sake, let $A$ be a dg-algebra over $\mathbb{Z}/2\mathbb{Z}$.
In the case when $A$ is a commutative algebra, we can turn a left $A$ module into a right $A$ module trivially. Of course ...
3
votes
1
answer
408
views
Finite Homological Dimension of R/P for all P for module finite non-commutative rings
I have a reasonably precise question which I hope is clear enough to get a nice answer. Let R be a Noetherian non-commutative ring which is finite as a module (and flat/free if it helps) over it's ...
- 3,758
3
votes
2
answers
1k
views
Spectral decomposition for an arbitrary linear combination of position and momentum operators
Suppose we have the Hilbert space L2(Rn) and we have n operators Qi and n operators Pi defined in the usual way by:
Qi ψ(q1,q2,...,qn) = qi ψ(q1,q2,...,qn)
Pi ψ(q1,q2,...,qn) = -i $\frac{...
- 195
1
vote
1
answer
166
views
Integral elements of quaternion algebras with predescribed properties
In the course of doing some calculations I have found myself wanting to answer the following question:
Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let $\...
- 562
2
votes
1
answer
445
views
Algebra of endomorphisms of f.g. modules as subquotients of matrix algebras
Let $A$ be a $C$-algebra, where $C$ is a commutative ring with $1$, and $M$ be a finitely generated left $A$-module.
Question: Is it true that we can always find a positive integer $n$, a $C$-...
- 279
5
votes
0
answers
442
views
A reference on semisimple linear algebra
Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings?
In fact this question is a ...
- 4,010
0
votes
0
answers
150
views
Explicit calculation of module of derivations on noncommutative polynomial ring
Let $R$ be a commutative unital associative ring and set $R<x,y>$ to be the $R$-algebra of non-commuting polynomials in two variables over $R$.
Explicitly how would one go about computing ...
- 5,405
1
vote
1
answer
200
views
Variety of factorizations of differential operator
Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
- 23
1
vote
1
answer
636
views
Local Rings problem
$\newcommand{\End}{\operatorname{End}}$
let $R$ be a local ring, $\varphi\in \End(R_{R}^{2})$,
$\overline{\varphi}\in \End(\overline{R}_{\overline{R}}^{2})$,
$\overline{R} =R/J(R)$ , $J(R)$= ...
- 11
4
votes
0
answers
694
views
Noncommutative analog of Koszul complex
Let $R=R_0 \oplus R_1 \oplus R_2 ...$ be a graded not necessarily commutative algebra over field $k$ and $R$ is generated by $R_1$, $R_0=k$. In commutative situation if one wants free resolution of $R/...
- 1,545
5
votes
1
answer
196
views
Expressing a element of a Matrix subgroup in terms of subgroup generators
I'm no (computational) algebraist, and my searches have been pretty unyielding (probably due to the vast amounts written on the key words), but perhaps someone may know if this is possible, and if so, ...
- 153
3
votes
1
answer
212
views
Liftability of a submodule from an associated graded module
Let $k$ be a field, $A$ a $k$-algebra (probably noncommutative), and $M$ an $A$-module that's finite-dimensional as a vector space over $k$.
Let $Gr(M;k)$ denote the set of all $k$-subspaces of $M$, ...
- 27.9k
4
votes
1
answer
146
views
Example of computation of moduli space of $n$-pointe modules?
I am looking for an example of computation of the isomorphism classes of $n$-point modules over a non-commutative generated graded algebra (assuming all good properties such as Noetherian property). ...
- 41
4
votes
1
answer
535
views
A Question on Koszul duality and $B(\infty)$ structures on $HH^*$
The following theorem is known from a paper "Duality in Gerstenhaber Algebras" by Felix, Menichi, Thomas. Given a simply connected space X of finite type.
There is an equivalence of Gerstenhaber ...
- 3,758
1
vote
0
answers
306
views
Annihilator ideals
For an ideal $I$ of a ring $R$ with identity, let $r(I)=\{r\in R: Ir=0\}$ and $l(I)=\{r\in R: rI=0\}$.
Question: If for any two ideals (two-sided ideal) $I, J$ of $R$, we have $l(I)+l(J)=l(I\cap J)$, ...
- 192
2
votes
2
answers
492
views
Model Theoretic Localization
This is a re-post on a previous question I asked. My first question was too vague to warrant detailed responses. Really, I have two specific questions to ask.
1) Let $\sigma = (A; \{0,1\}; +, \times)...
- 761
7
votes
1
answer
567
views
Depth Zero Ideals in the Homogenized Weyl Algebra
Let $\mathcal{D}$ be the $n$th Weyl algebra $ \mathcal{D} :=k[x_1,...,x_n,\partial_1,...,\partial_n] $, where $\partial_ix_i-x_i\partial_i=1$.
Let $\widetilde{\mathcal{D}}$ be its Rees algebra, ...
- 13k
3
votes
1
answer
307
views
Global dimension of quantum $\mathbb{P}^{n}$
Let $k$ be a field. Given a (not necessarily commutative) $k$ graded ring $A$, M. Artin and J.J. Zhang introduced a notion of "noncommutative projective scheme" $Proj(A)$ in this paper. It is defined ...
- 65
6
votes
2
answers
385
views
Eigenvalues of an element in a Weyl algebra
I have an operator acting on the polynomial algebra $\mathbb{C}[x,y,z]$ that I would like to find the eigenvalues/eigenvectors of. More specifically, let $P(x_1, \ldots, x_6)$ be a homogeneous ...
- 265
1
vote
2
answers
1k
views
An "Elementary" Math Question Generalized (Ring Theory Perhaps)
The following question is posed in the book "The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics"
"Prove that if integers a_1, ..., a_n are all distinct, then the ...
- 1,801
7
votes
1
answer
372
views
Simultaneously orthogonally transform two SPD matrices to tridiagonal form?
Supposing you have two SPD matrices $A,B\in\mathbb{R}^{n\times n}$ are there any known results on the existence or non-existence of a unitary matrix $Q$ such that $Q^\top A Q=T_A$ and $Q^\top B Q=T_B$ ...
- 71
2
votes
1
answer
164
views
Algorithmically finite-dimensional (noncommutative) algebras.
Can anyone help to find some information about these structures?
3
votes
1
answer
350
views
Special subalgebras of central simple algebras
In this question F is a field and all algebras are finite dimensional F algebras.
Let X be the set of all F algebras A for which there exist an F algebra B and an F division algebra D such that F is ...
- 279
9
votes
1
answer
509
views
Maximal localizations of von Neumann algebras
Suppose M is a von Neumann algebra.
Denote by L its maximal noncommutative localization,
i.e., the Ore localization with respect to the set of all left and right regular elements,
i.e., elements whose ...
- 37.8k
4
votes
0
answers
290
views
Deformation of modules over noncommutaitve rings
Let $M$ be a finitely generated module over a commutative ring $R$. The first order deformation of module $M$ is parametrized by $Ext^{1}(M,M)$ and the obstruction is parametrized by $Ext^{2}(M,M)$. ...
- 1,663
3
votes
0
answers
191
views
What are the enforceable models of local artinian rings?
I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...
6
votes
0
answers
998
views
Generalized Courant-Fischer theorem
Consider some quaternionic matrix $A$. A right eigvenvalue of $A$ is a quaternion $q$ such that $Ax=xq$ for some $x\in \mathbb{H}^n$. Similarly, a left eigenvalue of $A$ is quaternion $q$ such that $...
- 475
2
votes
0
answers
91
views
Algorithms to find the solutions of a homogenous matrix equations for non-commutative rings
In one paper from 1980 I found a note that there are no known algorithms for solving
homogenous matrix equations $x \cdot M = 0$ for matrices which elements belong to a non-commutative ring.
(The non-...
1
vote
1
answer
283
views
Ore Extensions and the Construction of the Quantum General Linear Group
In the usual (fomal) construction of the quantum general linear group $GL_q(N)$, an Ore extension is used. See for example Kassel. Why is this necessary? Surely one can just augment the set of ...
- 1,453
3
votes
0
answers
387
views
Software for Combinatorial Algebra sought
I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task:
I have two graded (generally ...
10
votes
0
answers
2k
views
Is my definition of a context algebra new?
In my DPhil thesis, I defined what I called a context algebra as a model of meaning in natural language. The idea is to mathematically formalise the notion that meaning is determined by context. It ...
- 223
2
votes
0
answers
90
views
Poincaré Duality of a quasi-free algebra
I'm completely stumped on this one (yet I feel it is obviously true or obviously false)
If $A$ is a quasi-free algebra, then must it satisfy Poincaré duality?
All i need to find is a protective ...
1
vote
0
answers
688
views
The sum of a nilpotent left ideal and a nil left ideal
In class, we recently saw that the sum of 2 two-sided nil ideals is a nil ideal. We were asked to show that the sum of a niplotent left ideal and a nil left ideal is a nil left ideal.
I am having ...
- 45
3
votes
0
answers
197
views
AS Cohen Macaulay algebras and dualizing complexes
Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...
- 651
0
votes
1
answer
340
views
PBW-Theorem and multigraded Lie algebras
Fix a $\mathbb Z_+^n$-graded Lie algebra ${\frak a}=\oplus_{r \in\mathbb Z_+^n}^{} {\frak a}[r]$ such that ${\frak g}:={\frak a}[0]$ is a finite-dimensional semisimple Lie algebra over the complex ...
- 3
0
votes
1
answer
352
views
Uniqueness of maximal subfields
Let D be a division ring with center Z. Let R and K be two maximal subfields of D, both purely inseparable of exponent one ( means the p power of each of them in Z).
Why are R and K isomorphic?
Or a ...
- 9
0
votes
2
answers
273
views
Identifying a sequence of polynomials
Studying a specific quantum cluster algebra, I have come across the following sequence of polynomials :
$$X_1$$
$$q^{-1/2}(X_1X_2-1)$$
$$q^{-1/2}(X_1X_2X_3-X_3-X_1)$$
$$q^{-1}(X_1X_2X_3X_4-X_3X_4-...
