The noncommutative-algebra tag has no usage guidance.

**1**

vote

**1**answer

424 views

### Conjugate linear maps between $*$-algebra modules

Let $A$ be a $*$-algebra, $E,$ and $F$ two $A$-modules, and a map $f:E \to F$ such that
$$
f(ae) = a^*f(e), ~~~~~~~ a \in A.
$$
This seems to me to be the natural generalisation of a conjugate linear ...

**7**

votes

**2**answers

1k views

### Structure theorem for finite dimensional $C^*$-algebras and their representations

I would like a source for some Artin-Wedderburn type facts about these algebras which seem to have easy proofs, and are probably written somewhere.
Let $\mathcal{A} \subset M_n(\mathbb{C})$ be an ...

**12**

votes

**2**answers

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

**15**

votes

**1**answer

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

**3**

votes

**2**answers

202 views

### Normal regular sequence in noncommutative algebras

Does anyone know anything about the normal regular sequences in the quantum plane?
Here are the definitions:
Normal regular sequence: Let $R$ be a ring (not necessarily commutative). A sequence $...

**0**

votes

**1**answer

181 views

### Non-simple and non-unital rings with trivial centres

Let $R$ be an associative and non-unital ring. (Suppose that $R$ is $s$-unital, i.e. for each $x\in R$ there is $u,v\in R$ such that $ux=xv=x$.)
It is not difficult to show that if $R$ is a simple ...

**1**

vote

**2**answers

314 views

### Gerstenhaber bracket out of $L_\infty$ algebras

Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that $\...

**5**

votes

**0**answers

382 views

### Central Element in Sklyanin Algebras?

I'm interested in Sklyanin Algebras or Artin-Shelter regular algebras of type A. These are generated in degree 1 by three variables x,y,z, and have three defining relations in degree 2, which you can ...

**11**

votes

**4**answers

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

**9**

votes

**0**answers

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

**17**

votes

**0**answers

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

**2**

votes

**1**answer

148 views

### Algorithmically finite-dimensional (noncommutative) algebras.

Can anyone help to find some information about these structures?

**12**

votes

**0**answers

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

**6**

votes

**2**answers

363 views

### Properties of ring epimorphisms that are true only over commutative rings

I'm interested in knowing/collecting some properties of epimorphisms of rings (with identity) that are true over commutative rings but are false in the non-commutative case.
Example: I learned from ...

**4**

votes

**2**answers

338 views

### Projectives in the category of discrete G-modules

If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5).
Since the cited ...

**1**

vote

**0**answers

166 views

### What are the enforceable models of local artinian rings?

I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...

**1**

vote

**0**answers

214 views

### Annihilator ideals

For an ideal $I$ of a ring $R$ with identity, let $r(I)=\{r\in R: Ir=0\}$ and $l(I)=\{r\in R: rI=0\}$.
Question: If for any two ideals (two-sided ideal) $I, J$ of $R$, we have $l(I)+l(J)=l(I\cap J)$, ...

**4**

votes

**1**answer

112 views

### Example of computation of moduli space of $n$-pointe modules?

I am looking for an example of computation of the isomorphism classes of $n$-point modules over a non-commutative generated graded algebra (assuming all good properties such as Noetherian property). ...

**5**

votes

**2**answers

714 views

### Epimorphisms and free submodules

By inspecting the accepted answer to this question
Are epimorphisms from a division ring isomorphisms ?
one obtains the following necessary condition for epimorphisms:
Let $R \le S$ be rings ...

**6**

votes

**3**answers

763 views

### Are epimorphisms from a division ring isomorphisms ?

According to Corollary 1.2(3) of the paper Silver: Noncommutative Localizations and Applications. J. of Alg. 7(1964), 44-67:
If $R$ is a (commutative) field and $\alpha: R \to S$ an epimorphism in ...

**3**

votes

**0**answers

166 views

### AS Cohen Macaulay algebras and dualizing complexes

Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...

**8**

votes

**1**answer

180 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 haven'...

**2**

votes

**0**answers

81 views

### Fat modules on some algebras.

Let $A$ be a graded $k$-algebra and $M$ a graded right $A$-module. $M$ is called a fat $A$-module if it is generated by degree $0$ and has constant Hilbert polynomial $2$. I wonder for which finitely ...

**2**

votes

**0**answers

57 views

### Boundedness of modules on AS regular algebras

Let $k$ be an algebraically closed field and $A$ be an Artin-Shelter regular $k$-algebra. Fix a numerical polynomial $H(t)$. I would like to know whether or not semi-stable f.g. graded $A$-modules ...

**1**

vote

**0**answers

57 views

### Does Castelnuovo-Mumford regularity hold for this $\mathbb{C}$-algebra$?

Let $R$ be a noncommutative finitely generated $\mathbb{C}$-algebra such that its center $S$ is smooth (in commutative sense) and $R$ is finite over $S$. Is there Castelnuovo-Mumford regularity ...

**3**

votes

**1**answer

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

**4**

votes

**2**answers

376 views

### what is the definition of the Picard group of a (non necessarilly commutative) Ring?

Hi. I have only able to find the definition of $Pic(R)$ for a commutative ring $R.$ Which is the isomorphism classes of projective $R$-modules of rank $1,$ and the product given by $[A][B]=[A\otimes_R ...

**9**

votes

**1**answer

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

**9**

votes

**4**answers

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

**2**

votes

**0**answers

121 views

### Noncommutative Castelnuovo-Mumford regularity

I am looking for noncommutative version of Castelnuovo-Mumford regularity. To be more precise, let $A=\oplus_{i=0}^{\infty}A_{i}$ be a $good$ (finite global dimension, connected etc) noncommutative ...

**6**

votes

**2**answers

412 views

### Moduli space of modules over non-commutative rings

Let $X=Proj(A)$ be a projective scheme, one can the moduli space of coherent sheaves on $X$ with fixed Hilbert polynomial and stability. Since coherent sheaves on $X$ are all obtained as the ...

**3**

votes

**0**answers

231 views

### Deformation of modules over noncommutaitve rings

Let $M$ be a finitely generated module over a commutative ring $R$. The first order deformation of module $M$ is parametrized by $Ext^{1}(M,M)$ and the obstruction is parametrized by $Ext^{2}(M,M)$. ...

**1**

vote

**0**answers

77 views

### Finite dimensional consistently graded Lie superalgebras of depth greater than 2

Victor Kac, in the paper
"Classification of infinite-dimensional simple linearly compact Lie superalgebras", http://www.mat.univie.ac.at/~esiprpr/esi605.pdf
writes at the beginning of section 5 (p....

**12**

votes

**3**answers

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

**3**

votes

**1**answer

177 views

### Liftability of a submodule from an associated graded module

Let $k$ be a field, $A$ a $k$-algebra (probably noncommutative), and $M$ an $A$-module that's finite-dimensional as a vector space over $k$.
Let $Gr(M;k)$ denote the set of all $k$-subspaces of $M$, ...

**5**

votes

**0**answers

418 views

### A reference on semisimple linear algebra

Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings?
In fact this question is a ...

**5**

votes

**2**answers

1k views

### Tensor product of simple modules

Let $M$ a right simple module and $N$ be a left simple module over a ring $R$. I'm seeking a kind of Schur's lemma, with $\mathrm{Hom}_R (M,N)$ replaced by $M \otimes_R N$. So my questions are:
Can ...

**11**

votes

**0**answers

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

**13**

votes

**1**answer

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

**1**

vote

**1**answer

107 views

### Projective dimension over hypersurface

Let $R$ be (not necessarily commutative) ring and $S$ a simple right $R$-module. Let $f\in Ann(S)$ be normalizng and a non-zero divisor. Is it always true that
$$
pdim_{R}(S)=pdim_{R/(f)}(S)+1?
$$

**3**

votes

**1**answer

211 views

### Global dimension of quantum $\mathbb{P}^{n}$

Let $k$ be a field. Given a (not necessarily commutative) $k$ graded ring $A$, M. Artin and J.J. Zhang introduced a notion of "noncommutative projective scheme" $Proj(A)$ in this paper. It is defined ...

**8**

votes

**2**answers

1k 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 x_1,\dots,x_n\rangle/...

**25**

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

**6**

votes

**2**answers

736 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 $Q$...

**4**

votes

**1**answer

295 views

### Free left = free right ?

Let $R \subseteq S$ be an extension of rings with unit. Suppose that $S$ is free as left $R$-module. I wonder what can said about the freeness of $S$ as right $R$-module. To be a little more precise ...

**14**

votes

**4**answers

1k 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 $x^{(i)...

**0**

votes

**1**answer

270 views

### A Version of Nullstellensatz for Rings of Dİfferential Operators

Here is one of the classical versions of the nullstellensatz: Let $K$ be a field and let $\mathfrak{m}$ be a maximal ideal of the polynomial ring $K[T_1,\ldots,T_n]$. Then $K[T_1,\ldots,T_n]/\mathfrak{...

**8**

votes

**5**answers

964 views

### Noncommutative Localization of a Ring : Complete Construction

I've been looking for the following construction in the literature, but I've only been able to find (very) partial proofs or proofs of special cases.
Let $R$ be a non-commutative ring and $S$ a ...

**4**

votes

**2**answers

589 views

### strong nilpotent elements

An element x in a noncommutative ring R is strongly nilpotent if any chain
$x_1=x, x_2, ... $, with $x_{n+1}\in x_n R x_n$ terminates at zero. It becomes clear
why this is a good definition once one ...

**35**

votes

**8**answers

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