The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
2answers
201 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
1answer
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
2answers
309 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
0answers
377 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
4answers
568 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
0answers
324 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 ...
16
votes
0answers
535 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
1answer
148 views

Algorithmically finite-dimensional (noncommutative) algebras.

Can anyone help to find some information about these structures?
12
votes
0answers
564 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
2answers
361 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
2answers
336 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
0answers
165 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
0answers
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
1answer
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
2answers
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
3answers
762 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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
375 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
1answer
357 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
4answers
814 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
0answers
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
2answers
411 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
0answers
230 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
0answers
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
3answers
964 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
1answer
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
0answers
417 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
2answers
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
0answers
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
1answer
583 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
1answer
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
1answer
210 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
2answers
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
4answers
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 ...
5
votes
2answers
715 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
1answer
294 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
4answers
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
1answer
268 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
5answers
952 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
2answers
586 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
8answers
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 ...
7
votes
2answers
178 views

Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...
4
votes
2answers
366 views

The octonion equations

A good treatment have been given to the quaternion equations. Indeed, Ivan Niven in his paper Equations in Quaternion given in this link http://jones.math.unibas.ch/~massierer/algebra-hs11/niven(...
3
votes
1answer
449 views

Center of universal enveloping algebra of nilpotent lie algebra

Let g be a finite dimensional nilpotent lie algebra over a field k of characteristic zero. Let U(g) be the universal enveloping algebra and Z(g) be its center. Denote by Z_1(g) the augmentation ideal ...
0
votes
1answer
113 views

Local algebras with small maximal left ideals

Is there an infinite-dimensional, non-commutative complex local algebra $A$ (which is not a field) with the (unique) maximal left-ideal finitely generated as a left ideal? Or as a right ideal?