The noncommutative-algebra tag has no usage guidance.

**2**

votes

**1**answer

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

**8**

votes

**4**answers

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

**6**

votes

**3**answers

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

**12**

votes

**1**answer

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

**1**

vote

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

**2**

votes

**2**answers

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

**7**

votes

**2**answers

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

**12**

votes

**2**answers

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

**7**

votes

**1**answer

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

**5**

votes

**1**answer

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

**17**

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

**5**

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

**6**

votes

**2**answers

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

**10**

votes

**2**answers

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

**19**

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

**7**

votes

**1**answer

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