The tag has no usage guidance.

learn more… | top users | synonyms

10
votes
1answer
204 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 ...
1
vote
0answers
67 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 ...
4
votes
0answers
149 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 ...
6
votes
2answers
151 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$ ...
8
votes
1answer
396 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 ...
2
votes
1answer
105 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 ...
5
votes
1answer
418 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 ...
0
votes
0answers
56 views

Semisimple Coquasitriangular Hopf Algebras

Let $(G,R)$ be a coquasitriangular Hopf algebra, which we furthermore assume to be cosemisimple. Generalising classical Peter-Weyl, cosemisimplicity of $G$ is well-known to imply an isomorphism $$ G ...
8
votes
5answers
775 views

Noncommutative Localization of a Ring : Complete Construction

I've been looking for the following construction in the literature, but I've only been able to find (very) partial proofs or proofs of special cases. Let $R$ be a non-commutative ring and $S$ a ...
6
votes
0answers
148 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 ...
12
votes
2answers
384 views

$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group. Denote the ...
2
votes
1answer
84 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 ...
3
votes
0answers
83 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 ...
49
votes
2answers
4k views

How would you solve this tantalizing Halmos problem?

1-ab invertible => 1-ba invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one? Geometric series. In ...
25
votes
4answers
2k views

A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester: P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...
5
votes
0answers
583 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 ...
10
votes
1answer
191 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 ...
4
votes
1answer
144 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 ...
20
votes
2answers
866 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
votes
1answer
195 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 ...
4
votes
2answers
358 views

Motivation for the Preprojective Algebra

Let $Q=(Q_0,Q_1)$ be a quiver and $k$ a field. We construct a new quiver $\bar{Q}$ in the following way. Let the vertices of $\bar{Q}$ be the same as the vertices of $Q$, and let the arrows of ...
7
votes
2answers
173 views

Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...
4
votes
1answer
147 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 ...
0
votes
0answers
114 views

Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that $$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...
19
votes
1answer
492 views

How to make the Capelli's identity less mysterious?

The formulation of the Capelli's identity is very elementary; it has important applications in invariant theory and representation theory, see http://en.wikipedia.org/wiki/Capelli%27s_identity To ...
1
vote
0answers
52 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
2answers
741 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 ...
13
votes
2answers
820 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 ...
12
votes
2answers
1k views

What properties “should” spectrum of noncommutative ring have?

There are already a lot of discussion about the motivation for prime spectrum of commutative ring. In my perspective(highly non original), there are following reasons for the importance of prime ...
0
votes
2answers
123 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
8
votes
0answers
188 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 ...
3
votes
0answers
69 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)$).
4
votes
1answer
96 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 ...
2
votes
1answer
193 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 ...
3
votes
1answer
232 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$. ...
3
votes
0answers
198 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 ...
15
votes
0answers
491 views

Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
3
votes
1answer
123 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" ...
1
vote
0answers
94 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 ...
2
votes
0answers
101 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 ...
9
votes
2answers
2k 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 ...
3
votes
1answer
231 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 ...
12
votes
4answers
773 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 ...
4
votes
1answer
173 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
9
votes
1answer
2k 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 ...
5
votes
1answer
295 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 ...
2
votes
1answer
243 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 ...
2
votes
0answers
82 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 ...
7
votes
3answers
875 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 ...
3
votes
1answer
158 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 ...