The noncommutative-algebra tag has no wiki summary.

**6**

votes

**1**answer

327 views

### Semisimple-ish rings!

Let S be the class of all rings R which have 1 and satisfy this condition:
for every "non-zero" right ideal I of R there exists a "proper" right ideal J of R such that I + J = R. (The + here is not ...

**1**

vote

**0**answers

566 views

### What is a “double star-product”

Michel Van den Bergh introduced the notion of a double Poisson algebra. The definition is cooked up such that the representation varieties of such an algebra are Poisson varieties.
Is there a notion ...

**2**

votes

**1**answer

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

**8**

votes

**1**answer

548 views

### Division algebras in which every proper subfield is maximal

I have a (noncommutative) division algebra D which is finite dimensional over its center F. I know that every subfield of D which contains F properly is a maximal subfield of D. What can we say about ...

**11**

votes

**4**answers

2k views

### What are your favorite finite non-commutative rings?

When you are checking a conjecture or working through a proof, it is nice to have a collection of examples on hand.
There are many convenient examples of commutative rings, both finite and infinite, ...

**9**

votes

**2**answers

1k views

### when are algebras quiver algebras ?

Good Morning from Belgium,
I'm no stranger to the mantra that quiver-algebras are an extremely powerful tool (see for example the representation theory of finite dimensional algebras). But what is a ...

**11**

votes

**1**answer

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

**7**

votes

**3**answers

871 views

### construct scheme from quivers?

I heard from some guys working in noncommutative geometry talking about the idea that one can construct the noncommutative space from quivers. I feel it is rather interesting. However, I can not image ...

**9**

votes

**5**answers

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

**1**

vote

**1**answer

215 views

### Formal deformations of algebras over not necessarily commutative rings

In Iain Gordon's survery article "Symplectic reflection algebras" the concept of formal deformations of algebras over semisimple artinian (not necessarily commutative) rings is summarized (chapter 2). ...

**2**

votes

**4**answers

689 views

### Homological dimension of a graded ring which is like polynomial ring

Let $k$ be a field of characteristic $0$. Consider the following $k$-algebra $R$, which is the quotient of a tensor algebra generated by elements $x_i$ in degree $1$ with the relation ...

**6**

votes

**1**answer

288 views

### Linear disjointness of subfields of a centrally finite division algbera

I am looking for papers or books which discuss this problem. Thank you for reading:
Let K and L be two subfields of a non-commutative division algebra D with the center Z. Suppose that K and L ...

**11**

votes

**1**answer

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

**4**

votes

**2**answers

641 views

### Is there a name for this algebraic structure?

I found myself "naturally" dealing with an object of this form:
X is a complex vector space, with a "product" (a,b) → {aba} which is quadratic in the first variable, linear in the second, and ...

**11**

votes

**1**answer

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

**7**

votes

**3**answers

557 views

### Existence of non-commutative desingularizations

Let $R$ be normal, local ring of dimension at least $2$. Let $M$ be a reflexive $R$-module and let $A=Hom_R(M,M)$. Suppose $A$ has finite global dimension. Then one can view $A$ as a weak ...

**9**

votes

**0**answers

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

**7**

votes

**2**answers

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

**3**

votes

**1**answer

289 views

### Non-commutative versions of X/G

Let $X$ be a Riemannian manifold and let $G$ be a (at most countable, if that matters) discrete group acting properly and by isometries on $X$. Let $\mathcal{O}$ be the sheaf of analytic functions on ...

**3**

votes

**1**answer

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

**4**

votes

**1**answer

242 views

### Classifying Algebra Extensions over a fixed extension?

There are lots of "Ext groups" in homological algebra which measure extensions of various things. I'm sure there must be a homological algebra machine for computing the following, and I'm hoping that ...

**3**

votes

**0**answers

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

**12**

votes

**1**answer

727 views

### Graded commutativity of cup in Hochschild cohomology

I am trying to get used to Hochschild cohomology of algebras by proving its properties. I am currently trying to show that the cup product is graded-commutative (because I heard this somewhere); ...

**1**

vote

**1**answer

112 views

### Some equivalent statements about primitive algebras

I was reading a paper, and it said that the following were equivalent using the Axiom of Choice, but I tried working it out, and I wasn't sure how: an algebra $A$ is primitive; $A$ has a proper left ...

**13**

votes

**9**answers

1k views

### Examples of noncommutative analogs outside operator algebras?

Theo's question made me wonder if there are other "noncommutative analogs" outside of operator algebras. Some noncommutative analogs from operator algebras include:
A $C^\ast$-algebra is a ...

**7**

votes

**4**answers

629 views

### Morita equivalence and moduli problems

Two rings $A$ and $B$ are said to be Morita equivalent if the category of modules over $A$ and $B$ are equivalent as additive categories. (Here I'm considering left modules).
Ex: $M_n(R)$ (the algebra ...

**5**

votes

**3**answers

226 views

### Inverses in convolution algebras

Let $G$ be a locally compact totally disconnected group, and to make life easy let's suppose its Haar measure is bi-invariant. Let $C_c(G)$ be the space of locally constant complex functions on $G$ ...

**11**

votes

**1**answer

642 views

### Gelfand-Naimark from the category-theoretic point of view

I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative C* algebra (with unit) A and the C* algebra of continuous complex-valued functions on its ...

**2**

votes

**3**answers

1k views

### Various Cartan's Lemmata

I am a bit amazed by "Cartan's Lemma".. I have so far seen it in :
Algebraic Geometry sources:
Look at Proposition 2.9 of Freitag and Kiehl's Étale Cohomology where he used étale morphism to describe ...

**7**

votes

**5**answers

1k views

### Proof a Weyl Algebra isn't isomorphic to a matrix ring over a division ring

Can anyone prove that a Weyl Algebra is not isomorphic to a matrix ring over a division ring?

**1**

vote

**2**answers

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

**6**

votes

**2**answers

551 views

### Do torsion-free groups give projectionless group ($C^\ast$) algebras?

One of the reasons I study von Neumann algebras is that they always have plenty of projections. There are many projectionless $C^\ast$-algebras ($0$ and possibly $1$ are the only projections), but the ...

**21**

votes

**3**answers

1k views

### When does the converse to Schur's Lemma hold?

Let $R$ be a commutative ring, let $A$ be an $R$-algebra, and let $M$ be an $A$-module. If $M$ is simple, then End$_{A-mod}(M)$ is a division ring.
A common use is when $R$ is the complex numbers ...

**10**

votes

**2**answers

863 views

### How much theory works out for “almost commutative” rings?

I've been reading about D-modules, and have seen a proof that D_X, the ring of differential operators on a variety, is "almost commutative", that is, that its associated graded ring is commutative. ...

**8**

votes

**1**answer

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

**3**

votes

**1**answer

185 views

### Separable and Fin. Gen. Projective but not Frobenius?

Let R be a commutative ring, and A an R-algebra (possibly non-commutative). Then A is separable if it is (fin. gen.) projective as an (A tensor_R A^op)-algebra. Suppose further that A is fin. gen. ...

**16**

votes

**1**answer

1k views

### When should I expect a quiver with potential to be rigid?

This question is pretty technical, but there are some very smart people here.
Fix a quiver Q, WITH oriented cycles. Let k[[Q]] be the completed path algebra. (Like the path algebra, but we allow ...

**4**

votes

**7**answers

1k views

### Hochschild/Cyclic Homology of von Neumann Algebras: Useless?

Hochschild homology gives invariants of (unital) $k$-algebras for $k$ a unital, commutative ring. If we let our algebra $A$ be the group ring $k[G]$ for $G$ a finite group, we get group homology. ...

**4**

votes

**2**answers

839 views

### What is an example of a ring in which the intersection of all maximal two-sided ideals is not equal to the Jacobson radical?

What is an example of a ring in which the intersection of all maximal two-sided ideals is not equal to the Jacobson radical? Wikipedia suggests that any simple ring with a nontrivial right ideal would ...

**9**

votes

**2**answers

460 views

### Ideals in Factors

One can easily prove that factors have no nontrivial ultraweakly closed 2-sided ideals as these are equivalent to nontrivial central projections. One can also show type $I_n$, type $II_1$, and type ...

**14**

votes

**5**answers

3k views

### Can a quotient ring R/J ever be flat over R?

If R is a ring and J⊂R is an ideal, can R/J ever be a flat R-module? For algebraic geometers, the question is "can a closed immersion ever be flat?"
The answer is yes: take J=0. For a less ...

**6**

votes

**1**answer

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