The noncommutative-algebra tag has no wiki summary.

**6**

votes

**0**answers

66 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 ...

**0**

votes

**0**answers

37 views

### modules over iwasawa ring

Let $G$ be a p-analytic group. Let $M$ ba a finitely generated compact $\Bbb{Z}_p[[G]]$ module. Let $I_{H_i}=Ker (\Bbb{Z}_p[[G]] -> \Bbb{Z}_p[G/G_i]). $ Let $d_i$ denote the free part of the ...

**4**

votes

**1**answer

122 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 ...

**5**

votes

**0**answers

245 views

### Why Jacobson, but not the left (right) maximals individually?

I firstly asked the following question on MathStackExchange, but I did not receive any responses, but a short comment. So, I decided to post it here, hoping to receive answers from experts.
...

**19**

votes

**2**answers

822 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

**1**answer

153 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 ...

**3**

votes

**2**answers

265 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

**2**answers

172 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

**1**answer

146 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

**0**answers

98 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

**1**answer

442 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

**0**answers

44 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

709 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

**2**answers

791 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

**2**answers

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

**2**answers

118 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

**0**answers

181 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

**0**answers

64 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)$).

**3**

votes

**1**answer

88 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

**1**answer

189 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

**1**answer

224 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

**0**answers

185 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

**0**answers

454 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

**1**answer

102 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

**0**answers

84 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

**0**answers

90 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

**2**answers

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

**1**answer

209 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

**4**answers

753 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

**1**answer

167 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

**8**

votes

**1**answer

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

**1**answer

278 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

**1**answer

206 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

**0**answers

68 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

**3**answers

777 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

**1**answer

150 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 ...

**0**

votes

**2**answers

143 views

### Smooth Affine algebras are Calabi-Yau

Are all smooth affine algebras over a field Calabi-Yau?
I'm thinking yes since they satisfy Van den Bergh duality with dualizing module themselves (have I made a mistake in this reasoning)/

**3**

votes

**1**answer

77 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 ...

**1**

vote

**2**answers

158 views

### Finitely generated projective = finitely presented flat over a noncommutative Noetherian ring

Let $R$ be a possibly noncommutative left Noetherian ring and $M$ an $R$-module. I am looking for a reference or a proof for the following fact: $M$ is finitely generated and projective if and only if ...

**1**

vote

**0**answers

220 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 ...

**17**

votes

**8**answers

4k views

### Simplest examples of rings that are not isomorphic to their opposites

What are the simplest examples of
rings that are not isomorphic to their
opposite rings? Is there a science to constructing them?
The only simple example known to me:
In Jacobson's Basic Algebra ...

**2**

votes

**0**answers

65 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 ...

**1**

vote

**1**answer

135 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?

**2**

votes

**0**answers

67 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 ...

**0**

votes

**0**answers

78 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 ...

**1**

vote

**1**answer

119 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$ ...

**5**

votes

**2**answers

621 views

### Explicit description of a quaternion algebra with a prescribed set of ramified places

Let $k$ be an algebraic number field. I understand that given a finite set of non-complex places $S\subset V(k)$ of even cardinality, there exists a unique quaternion algebra $Q$ over $k$ such that ...

**23**

votes

**4**answers

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 ...

**3**

votes

**1**answer

320 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 ...

**6**

votes

**2**answers

304 views

### Hochschild homology of upper triangular matrix algebra?

Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$?
Is there any ...