The noncommutative-algebra tag has no wiki summary.

**42**

votes

**2**answers

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

**33**

votes

**1**answer

785 views

### Invertible matrices over noncommutative rings

Let $A\in M_m(R)$ be an invertible square matrix over a noncommutative ring $R$. Is the transpose matrix $A^t$ also invertible? If it isn't, are there any easy counterexamples?
The question popped up ...

**32**

votes

**8**answers

1k views

### How to quantify noncommutativity?

If I have two operators or finite-dimensional matrices $A$ and $B$, how can I quantify the amount to which they commute or don't commute? (I would consider it a big plus if it is computable easily for ...

**31**

votes

**1**answer

2k views

### What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...

**29**

votes

**7**answers

3k views

### What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...

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

**21**

votes

**4**answers

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

**21**

votes

**1**answer

641 views

### Idempotents in Rings of Differential Operators

Differential Operators on General Commutative Rings
Let k be an algebraically closed field of characteristic zero, and let R be a commutative k-algebra. Then a (Grothendieck) differential operator ...

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

**15**

votes

**8**answers

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

**14**

votes

**3**answers

840 views

### What is the precise relationship between groupoid language and noncommutative algebra language?

I have sitting in front of me two 2-categories. On the left, I have the 2-category GPOID, whose:
objects are groupoids;
1-morphisms are (left-principal?) bibundles;
2-morphisms are bibundle ...

**14**

votes

**1**answer

355 views

### Geometry of numbers for three by three matrices?

While trying to use Minkowski's theorem to calculate the (left) class number of a noncommutative ring, I ran into the following problem:
What is the volume of the largest symmetric convex subset ...

**13**

votes

**5**answers

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

**13**

votes

**4**answers

861 views

### What's the name for the analogue of divided power algebras for x^i/i?

I recently came across divided power algebras here: http://amathew.wordpress.com/2012/05/27/lazards-theorem-ii/ It interests me because the free divided power algebra on one variable $x$, where ...

**13**

votes

**2**answers

493 views

### Why is “naive” definition of non-commutative spectrum bad?

It is well-known that the category of affine schemes is equivalent to the opposit category of commutative unital rings. So naively, one would think that the same should hold in non-commutative ...

**12**

votes

**3**answers

584 views

### Isomorphisms of quantum planes

Let $k$ be a field and $q\in k^{*}$. The quantum plane $k_{q}[x,y]$ is the algebra $k\langle x,y\rangle/\langle xy=qyx \rangle$ (i.e. the quotient of the free non-commutative $k$-algebra on two ...

**12**

votes

**1**answer

526 views

### Classification of long exact sequences

Let $\mathcal C$ be the category of long exact sequences of finitely generated abelian groups almost all of whose entries vanish.
The category $\mathcal C$ is naturally additive as a subcategory of ...

**12**

votes

**1**answer

397 views

### Is the ring of quaternionic polynomials factorial?

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials ...

**12**

votes

**1**answer

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

**12**

votes

**0**answers

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

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

**11**

votes

**1**answer

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

**11**

votes

**1**answer

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

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

**11**

votes

**1**answer

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

**11**

votes

**0**answers

339 views

### Nullstellensatz for quaternionic plane curves?

By a quaternionic plane curve I mean the zero locus of a noncommutative polynomial in two variables, $x$ and $y$ say, over ${\Bbb H}$, Hamilton's quaternions. It is evidently well-known that, after ...

**10**

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

**10**

votes

**2**answers

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

**10**

votes

**4**answers

334 views

### Applications of Govorov-Lazard Theorem?

I asked this question on SE a long time ago, but never received an answer:
The Govorov-Lazard Theorem states that a (left) module over an unital ring is flat iff it is a direct limit of finitely ...

**10**

votes

**1**answer

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

**10**

votes

**2**answers

1k views

### Maximal ideal that annihilates entire ring

Does there exist a ring R with a nonzero maximal ideal M such that R^2=R and MR = RM = 0?
Here R is associative but does not have an identity (obviously). It seems a simple enough question but I'm ...

**9**

votes

**2**answers

962 views

### Why does the Grothendieck group $K_0(R)$ of a ring not depend on our choice of using left modules instead of right modules?

I am under the impression that in the definition of the Grothendieck group $K_0(R)$ of a (non-commutative) ring it doesn't matter whether we apply the usual $K_0$ construction to the exact category of ...

**9**

votes

**2**answers

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

**9**

votes

**2**answers

2k views

### Left and right eigenvalues

A quaternionic matrix $A$ gives rise to a
function $\mathbb{H}^n \to \mathbb{H}^n$
given by $x \mapsto A \cdot x$. This is real linear,
but not complex- or quaternionic-linear
(in general) if we ...

**9**

votes

**0**answers

221 views

### Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...

**9**

votes

**0**answers

442 views

### Is “being a full ring of quotients” a Morita invariant property?

Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...

**9**

votes

**0**answers

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

**8**

votes

**4**answers

559 views

### Strongly Noetherian property. When is the tensor $A\otimes_{k}B$ Noetherian for Noetherian rings $A$ and $B$?

Let $k$ be a field. It is well-known that $A\otimes_{k}B$ is not necessarily Noetherian even if $k$-algebras $A$ and $B$ are Noetherian. For example $\mathbb{R}\otimes_{\mathbb{Q}}\mathbb{R}$.
When ...

**8**

votes

**1**answer

327 views

### For $G=\mathbb{Z}^2\rtimes \mathbb{Z}$, $Spec(\mathbb{Z}G)$=?

Let $G$ be the group $\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}=\langle y,z\rangle\rtimes_{\sigma}\langle x\rangle$, where $\sigma(x)=\begin{pmatrix}a, b\\c,d\end{pmatrix}\in SL_2(\mathbb{Z})$, which ...

**8**

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

**8**

votes

**1**answer

224 views

### Point modules of quantum projective space $\mathbb{P}^n$

Let $A$ be a quantum $\mathbb{P}^n$ defined by
$$
A=\mathbb{C}\langle x_1,x_2,\dots,x_{n+1}\rangle/(x_ix_j-r_{ij}x_jx_i)_{1\le i < j\le n+1}.
$$
I would like to know the set $X$ of isomorphism ...

**8**

votes

**1**answer

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

**8**

votes

**1**answer

226 views

### Explicit isomorphism for quaternion algebras over $\mathbb{Q}$?

It is known that the isomorphism class of a quaternion algebra $A=\binom{a,b}{K}$ over a number field $K$ is determined by the finite set of places $v$ of $K$ where $A\otimes_K K_v$ is a division ...

**8**

votes

**1**answer

160 views

### Are annihilation modules in the quantum torus necessarily principal?

I hope that my question yields some standard fact from (noncommutative) ring theory. In discussions with other graduate students, we have outlined some approaches to tackling the question, but ...

**8**

votes

**1**answer

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

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

**7**

votes

**3**answers

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

**7**

votes

**2**answers

960 views

### Global dimensions of non-commutative rings

This is related to my previous question: When is a quantum affine space $\mathbb{A}^{n}$ Calabi-Yau? I now would like to know the global dimension of the ring $R=\mathbb{C}\langle ...

**7**

votes

**1**answer

457 views

### Mathematical software for computing in integral group rings of discrete groups?

I'm doing computations in the integral group ring of a discrete group,
in particular the discrete Heisenberg group. In this case elements
are integral combinations of monomials $x^k y^m z^n$, where ...

**7**

votes

**4**answers

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