The noncommutative-algebra tag has no usage guidance.

**3**

votes

**4**answers

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

**7**

votes

**1**answer

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

**12**

votes

**1**answer

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

**5**

votes

**2**answers

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

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

**8**

votes

**3**answers

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

**10**

votes

**0**answers

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

**6**

votes

**2**answers

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

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

**5**

votes

**1**answer

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

**4**

votes

**1**answer

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

**14**

votes

**1**answer

872 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); ...

**2**

votes

**1**answer

115 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

670 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

241 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

688 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

901 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

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

**13**

votes

**2**answers

996 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

396 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

234 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

958 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

486 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

4k 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

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