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
2
answers
1k
views
Projectives in the category of discrete G-modules
If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5).
Since the cited ...
- 53.3k
30
votes
6
answers
6k
views
Definition of an algebra over a noncommutative ring
I've tried in vain to find a definition of an algebra over a noncommutative ring. Does this algebraic structure not exist? In particular, does the following definition from http://en.wikipedia.org/...
- 161
1
vote
1
answer
158
views
Graded category O for for rational Cherednik algebras, but at t=0
The paper [1] introduced the category $\mathcal{O}$ for rational Cherednik algebras $H_{t,c}(W)$. This construction is tailored for the $t=1$ case (equivalently, the $t\neq 0$ case). The general setup ...
CommunityBot
- 1
11
votes
1
answer
630
views
Are all separable algebras Frobenius algebras?
Let $\mathcal C$ be a [added later: semi-simple] tensor category, and let $A=(A,m:A\otimes A\to A,i:1\to A)$ be an algebra object in $\mathcal C$.
The algebra is...
Separable if there is an $A$-$A$-...
- 43.2k
4
votes
0
answers
112
views
Centers of Noetherian Algebras and K-theory
I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...
- 161
5
votes
0
answers
317
views
Hochschild Cohomology of the Quantum Torus
I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...
- 201
9
votes
2
answers
945
views
Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?
Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...
- 35.2k
9
votes
1
answer
457
views
Deformations of Ext rings
Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
- 4,133
3
votes
1
answer
181
views
Do representations of the universal enveloping algebra $\mathrm{U}\mathfrak{su}_2$ retain the Hopf algebra structure?
A Lie algebra $\mathfrak{g}$ generates its universal enveloping algebra $\mathrm{U}\mathfrak{g}$, which has the structure of a Hopf algebra. Modules of $\mathrm{U}\mathfrak{g}$ are exactly the of ...
- 16.9k
5
votes
1
answer
911
views
Why Jacobson, but not the left (right) maximals individually?
I firstly asked the following question on MathStackExchange a couple of months ago. I did not receive any answers, but a short comment. So, I decided to post it here, hoping to receive answers from ...
- 493
7
votes
0
answers
438
views
How to prove that a projective module is not free?
Let $A$ be a noncommutative (perhaps $\ast$-) algebra (over $\mathbb{C}$) and let $M$ be a projective module defined via a projector $P\in M_n(A)$; i.e. $M=P(A^n)$. Furthermore, assume that all ...
- 777
4
votes
1
answer
242
views
Locally nilpotent operators of the Weyl algebra
$\newcommand{\ad}{\operatorname{ad}}$As my recent post (here) did not receive any answers yet, I thought I would ask a similar question in which I'm also interested.
Let $A=$ $^{k \langle x,y\rangle }...
CommunityBot
- 1
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
5
votes
0
answers
918
views
Commutator Baker-Campbell-Hausdorff formula
Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\!\langle X,Y\rangle\!\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then (as ...
- 657
10
votes
1
answer
300
views
NCG with all noncommutativity in a nilpotent ideal
While in general non-commutative geometry behaves rather differently from commutative geometry when it comes to local-to-global properties (descent), there are versions of "mild" noncommutative ...
- 19.8k
5
votes
1
answer
178
views
If $R$ is generated by idempotents, then $\text{Ann}(R)=0$?
Let $R$ be a ring (not necessarily commutative or unital) that is generated by idempotents. I'd like to know if $\text{Ann}(R)=0$ must hold. Here I use $\text{Ann}(R)$ to denote the set of all ...
- 63.9k
24
votes
2
answers
2k
views
What do you do if you believe a problem is undecidable?
While the title of this question is subjective, I hope to make what I'm looking for quite concrete. The first, and main question is this: If you believe that a problem you are working on is formally ...
- 3,209
4
votes
1
answer
454
views
The Jordan Plane and Enveloping Algebras
Let $k$ denote a field of characteristic $0$ (assume algebraically closed for convenience). Define $J=k\langle x,y|[x,y]=y^{2}\rangle$. This noncommutative algebra (which can be viewed as a derivation ...
- 44.4k
4
votes
1
answer
182
views
When is the essential extension commutes with colimits(or push forward)
Let $M$ be an $R$-module,where $R$ is a hereditary (or cohomological dimension less or equal to 1).Take $E(R)$ to be injective hull of $R$, then we have the essential extension
$i:R^I\rightarrowtail ...
CommunityBot
- 1
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 ...
4
votes
2
answers
1k
views
Semiprime (but not prime) ring whose center is a domain
The center of a prime ring is a domain and the center of a semiprime ring is reduced.
Now I have no evidence to believe that if the center of a semiprime ring R is a domain,
then R has to be a ...
- 18.7k
15
votes
2
answers
1k
views
A Non-Commutative Nullstellensatz
In studying presentations of pro-$p$-groups via generators and relations, one is led (via the so-called Magnus embedding) to questions involving power series in non-commuting variables. Results from ...
CommunityBot
- 1
4
votes
2
answers
328
views
What are the main open problems in the theory of quasigroups and loops?
What are the main open problems in the theory of quasigroups and loops?
A short survey would be welcome.
Thanks
- 6,870
8
votes
0
answers
270
views
Does this kind of non-noetherian bimodule exist?
Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that
$M$ is finitely generated both as a left $R$-module and a right
$...
- 5,407
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
4
votes
1
answer
133
views
Existence of small projective dimensioned modules
Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$.
Then do either of the ...
- 3,686
2
votes
1
answer
241
views
Hochschild cohomology of commutative quotients
Notation:
Let $k$ be a commutative local ring and let $HH^{i}(A,N)$ denote the $i^{th}$ Hochschild cohomology $k$-module of a $k$-algebra A with coefficients in an $(A,A)$-bi-module $N$.
If $x:=\{...
- 2,391
4
votes
1
answer
269
views
Non-commutative normalization
Let $A$ be a (non-commutative) associative algebra with 1. Assume that $A$ contains a cental subalgebra $Z$ such that
a) $Z$ is a noetherian domain
b) $A$ is a finitely generated module over $Z$.
...
- 18.7k
4
votes
0
answers
520
views
Is the "algebraic closure" of the quaternions, finite dimensional? [closed]
This post is a sequel of: What's the algebraic closure of the quaternions?
$\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r x^r$, but it is not for the polynomials ...
CommunityBot
- 1
3
votes
1
answer
293
views
Is the square diagram of index and exponential maps in $K$-theory of $C^*$-algebras anti-commutative?
Assume we have a $3\times 3$ grid with rows and columns being short exact sequences of $C^*$-algebras.
This gives a grid of 6-term exact sequences: 3 "horizontal" sequences and 3 "vertical" sequences,...
CommunityBot
- 1
1
vote
0
answers
199
views
Criterion for global dimension of subring
All rings are assumed to be associative and unital.
If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...
- 5,405
5
votes
0
answers
245
views
Orders of Clifford algebra
Let $C_n$ be the Clifford algebra over $\mathbb{Q}$ associated to negative definite quadratic form $-I_n$ (i.e. $-x_1^2-\dots-x_n^2$). Let $\mathcal{O}$ be a $\mathbb{Z}$-order of $C_n$.
Q1) Is it ...
- 1,692
17
votes
2
answers
3k
views
Compute Lie algebra cohomology
Is there a computer algebra system that is able to compute the Lie algebra cohomology in a given representation? What if the Lie algebra is finite dimensional?
In my case I would like to be able to ...
- 1,589
3
votes
1
answer
463
views
Endomorphism Ring of Indecomposable MCM Modules
Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...
CommunityBot
- 1
13
votes
4
answers
1k
views
Injective dimension of graded-injective modules
In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":
Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with $...
- 1,313
4
votes
1
answer
477
views
Isomorphism of matrix ring over ore domain
Let $R_1,R_2$ be (left and right) ore domains. Does $ Mat_n(R_1)\cong Mat_m(R_2)$ implie m=n and $q.f.(R_1)\cong q.f.(R_2)$?
An counter example, a proof or a reference is welcomed.
Thanks
- 156k
11
votes
1
answer
4k
views
Are there any finitely generated artinian modules that are not Noetherian?
It is well known that for rings, Artinian implies Noetherian (the famous Hopkins–Levitzki theorem) and it is also well known that there are Artinian modules which are not Noetherian. A simple example ...
- 4,729
6
votes
1
answer
937
views
Noncommutative HKR theorem
What is the analog of HKR theorem in the noncommutative world?
Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type over a ...
- 25.3k
2
votes
1
answer
578
views
Interpretation of Hochschild Homology groups
In all the literature I've come across there are many concrete interpretations of the first few Hochschild Cohomology groups. For example $HH^1(A,M)\cong Derivation/Inner Derivations$ etc....
In ...
- 1,066
2
votes
0
answers
1k
views
Tensor product of commutators vs. commutator in a tensor product
Let $R$ be a (noetherian) commutative ring, and let $V$ and $W$ be finitely generated free $R$-modules. Let $X \subseteq \mathrm{End}_R(V)$ and $Y \subseteq \mathrm{End}_R(W)$ be finite subsets, and ...
- 30.3k
10
votes
3
answers
2k
views
nth term in the Baker-Campbell-Hausdorff formula
I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
- 245
3
votes
1
answer
310
views
Balanced dualizing complex vs rigid dualizing complex?
In noncommutative projective geometry, there is a counterpart of dualizing complex in commutative world. It seems to me that they are called either a balanced dualizing complex or rigid dualizing ...
- 610
3
votes
1
answer
220
views
Intersection of Maximal Left Ideals with Finite Dimensional Quotient
Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I \...
- 38.6k
1
vote
0
answers
246
views
Global dimension of a subalgebra with all units
(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit in $...
- 5,405
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-...
2
votes
1
answer
341
views
Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra
In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?
- 47.3k
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 ...
- 35.5k
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
274
views
Jacobi-Zariski exact sequence question
Denote by $HC(A,M)$ the Hochschild homological complex of an algebra $A$ with coefficients in an $A$-bimodule $M$, and let $B\rightarrow A$ be an $R$-flat extension of $R$-algebras, for some $CRing$ $...
- 47.3k
6
votes
1
answer
1k
views
Hochschild homology of quiver algebras
Let $K$ be a field and $\Gamma$ a quiver (=multidigraph) and $K[\Gamma]$ its quiver algebra (free $K$-module on the set of all paths of length $\geq0$ where multiplication is concatenation if ...
- 47.3k