Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
522 questions
8
votes
2
answers
720
views
Hochschild homology of upper triangular matrix algebra?
Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$?
Is there any ...
- 3,686
1
vote
1
answer
166
views
Integral elements of quaternion algebras with predescribed properties
In the course of doing some calculations I have found myself wanting to answer the following question:
Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let $\...
- 3,009
16
votes
2
answers
2k
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 setting....
- 5,901
10
votes
4
answers
2k
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 ...
CommunityBot
- 1
3
votes
0
answers
269
views
Computing the Abelianization of an Automorphism Group
Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let $M_1,...
- 161
1
vote
1
answer
200
views
Variety of factorizations of differential operator
Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
- 148k
2
votes
1
answer
737
views
Central division and quaternion algebras
I would like to know if there are some central-simple algebras $D_1$, $D_2$ and $D_3$ over a field $k$ satisfying the following properties :
$ind(D_1)=exp(D_1)=4$ ($ind$ is the Schur index and $exp$ ...
- 6,870
2
votes
1
answer
445
views
Algebra of endomorphisms of f.g. modules as subquotients of matrix algebras
Let $A$ be a $C$-algebra, where $C$ is a commutative ring with $1$, and $M$ be a finitely generated left $A$-module.
Question: Is it true that we can always find a positive integer $n$, a $C$-...
- 747
3
votes
2
answers
477
views
noncommutative polynomials equality
Suppose $x$, $y$, $z$ are three variables satisfying $yz=zy$, $zx=xz$, $xy=yzx$.
Could anyone give me two (non-commutative) polynomials $f$ and $g$ in the above three variables such that the ...
- 1,528
1
vote
1
answer
266
views
$Aut(\mathbb{Z}G)=?$ for $G=\mathbb{Z}^2\rtimes_n\mathbb{Z}$
I am interested in the automorphism group of the group ring $\mathbb{Z}G$ for some noncommutative group $G$ of the form $\mathbb{Z}^2\rtimes_n\mathbb{Z}$, say
$$\mathbb{Z}^2\rtimes_n\mathbb{Z}=\...
- 47.3k
16
votes
0
answers
860
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 ...
CommunityBot
- 1
15
votes
1
answer
603
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 $S$...
CommunityBot
- 1
7
votes
3
answers
2k
views
Units in a group algebra
Let k be a field and let G be a finite group. I would like to know if there is any nice description of the group of units in the group algebra kG. (If there is no nice answer in this generality, ...
- 19.6k
0
votes
1
answer
96
views
$\mathrm{rk}_R M$ vs $\mathrm{rk}_S M$ - how nice need $R,S$ be?
Let $R\hookrightarrow S$ be Noetherian (noncommutative) rings without zero divisors with $\mathrm{rk}_{R} S < \infty$ (e.g. $S=R*G$ the crossed product of $R$ with a finite group $G$). Let $M$ be a ...
12
votes
0
answers
443
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 ...
- 2,205
8
votes
1
answer
445
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 ...
- 3,702
2
votes
0
answers
66
views
The norm of a polynomial f in a skew polynomial ring must be in the center
This is proved in Prop 1.7.1 in Jacobson's book ``Finite dimensional division algebras over fields". But I am not clear why the norm n(f), defined as the norm of the matrix representation of f by ...
- 43
7
votes
2
answers
489
views
How big can a commutative subalgebra of Weyl algebra be?
Consider the smallest Weyl algebra $A_1=\{q,p; qp-pq=1\}$. It is known that there exist pairs of commuting elements, say $L$ and $M$, that obey various polynomial relations, e.g. elliptic curves. I ...
- 156k
9
votes
5
answers
2k
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?
- 1,198
1
vote
1
answer
1k
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 ...
- 8,559
13
votes
2
answers
4k
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 ...
CommunityBot
- 1
1
vote
2
answers
369
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 $\...
- 6,210
4
votes
2
answers
288
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 $...
- 16.9k
4
votes
2
answers
1k
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 ...
- 21
0
votes
1
answer
400
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 ...
- 3,110
14
votes
4
answers
2k
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 ...
CommunityBot
- 1
5
votes
0
answers
578
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 ...
- 807
12
votes
0
answers
533
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 ...
- 221
2
votes
1
answer
164
views
Algorithmically finite-dimensional (noncommutative) algebras.
Can anyone help to find some information about these structures?
- 3,110
6
votes
2
answers
547
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 ...
- 16.2k
3
votes
0
answers
191
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 ...
- 761
5
votes
2
answers
838
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 ...
CommunityBot
- 1
1
vote
0
answers
306
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)$, ...
- 141
4
votes
1
answer
145
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). ...
- 306
6
votes
3
answers
1k
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 ...
- 2,454
17
votes
3
answers
1k
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 ...
- 98
3
votes
0
answers
197
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,559
5
votes
0
answers
442
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 ...
CommunityBot
- 1
9
votes
2
answers
2k
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/...
CommunityBot
- 1
8
votes
1
answer
248
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'...
- 47.3k
2
votes
0
answers
91
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 ...
- 21
2
votes
0
answers
63
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,663
1
vote
0
answers
63
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 ...
- 1,663
5
votes
2
answers
710
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 ...
- 8,098
9
votes
1
answer
510
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 ...
- 4,277
5
votes
1
answer
1k
views
Algebra - Decomposition of a matrix polynomial
Dear All,
This is related with a problem that I'm trying to solve on my PhD dissertation in econometrics, and I thought that some mathmatician can know the answer.
What is known about a possible ...
- 11.2k
2
votes
0
answers
137
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 ...
- 21
5
votes
2
answers
2k
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 ...
- 2,869
26
votes
3
answers
2k
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 $\...
- 30.3k
5
votes
2
answers
638
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 ...
- 306