Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
522 questions
3
votes
0
answers
244
views
On the Gelfand-Kirillov Conjecture
The base field $k$ is of zero characteristic.
Notation: $A_{n,s}(k):= A_n(k(x_1,\ldots,x_s))$, the Weyl agebra over a purely transcedental extension of the base field; $F_{n,s}(k)$, the Weyl field, is ...
- 3,318
2
votes
1
answer
310
views
Flatness of submodules of free modules
Are submodules of free $\mathbb{Z}[G]$-modules flat? if not what conditions on $G$ makes it true? $G$ is an infinite group.
If $\mathbb{Z}[G]$ is a Prüfer domain then this is true. Can a group ring $...
- 5,901
3
votes
0
answers
79
views
The type number of an algebra
I've been reading On the existence of maximal orders, by C.F. Yu, in which he discusses maximal $R$-orders in semisimple algebras over a field $K$, where $R$ is a Noetherian integral domain and $K = \...
- 323
1
vote
0
answers
60
views
A list of low-dimensional associative $\mathbb{C}$-algebras with non-trivial centers
I am looking for a list of (examples of) low(est)-dimensional non-commutative associative unital $\mathbb{C}$-algebras $A$ with non-trivial centers $Z(A)$ (hence non-semisimple). For our purposes $Z(A)...
- 7,127
15
votes
1
answer
1k
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) $\mathcal{A}$ and the $C^*$ -algebra of continuous complex-valued ...
- 2,479
14
votes
9
answers
2k
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 ...
- 5,425
4
votes
1
answer
265
views
The going-up theorem for free extensions of almost commutative rings
I would like to know whether or not the going-up property holds for some classes of finite filtered extensions of non-commutative rings.
Let $S \subseteq R$ be rings. The pair $(S,R)$ has the going-...
- 599
7
votes
1
answer
207
views
Relative Dickson (trace) criterion for Jacobson radical?
In the following, all algebras are associative and unital. Let $J\left(A\right)$ denote the Jacobson radical of an arbitrary algebra $A$. Recall that this is defined as the set of all $a \in A$ such ...
- 33.8k
3
votes
3
answers
3k
views
How to work with co-multiplication?
Let $C$ be a coalgebra and $\Delta: C \to C\otimes C$ a co-multiplication map. Then, due the co-associative property we can consider $\Delta^m$. But how is defined $\Delta^{m}: C \to C^{\otimes m}$?
...
- 829
0
votes
0
answers
96
views
Gelfand–Kirillov dimension of the first Weyl algebra by using the definition
$\DeclareMathOperator\GKdim{GKdim}$Here I am trying to find the Gelfand–Kirillov dimension of the first Weyl algebra just by using the definition of the Gelfand–Kirillov dimension.
Let $A$ be an ...
- 131
1
vote
0
answers
63
views
Maximal orders separable over their centre
Let $\mathcal{A}$ be a central simple $K$-algebra, where $K$ is an algebraic number field. It is known that $\mathcal{A}$ is separable over $K$ (following the definition of DeMeyer and Ingraham's book)...
- 323
10
votes
1
answer
1k
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 ...
- 2,851
4
votes
1
answer
243
views
number of indecomposable summands of an extension of two modules
I have the following question : in a Krull-Schmidt category (say the category of finite length left modules over a ring, this is the case which interests me), is it possible to relate the number of ...
- 333
4
votes
3
answers
567
views
Gröbner/SAGBI bases for non-commutative setting
It is well known that SAGBI/Gröbner bases are important for commutative and non-commutative algebra. The references for commutative scenery is ample and vast, but I am in trouble to find a good ...
- 829
5
votes
5
answers
2k
views
Elementary linear algebra over a (possibly skew) field $K$
I have a number of questions which seem linked to me, about basic (?) linear algebra:
Given a field (possibly skew) $K$, and an superfield $L$, one can do linear matrix algebra with coefficients in $...
- 1,555
4
votes
0
answers
82
views
On noncommutative transcendence degrees
The original transcendence degree for (noncommutative) division algebras is the Gelfand-Kirillov transcendence degree, due to I. Gelfand and K. Kirillov ([ Sur les corps li´es aux algèbres ...
- 3,318
1
vote
0
answers
50
views
Separable nonassociative algebras
In his paper "Structure and Representation of Nonassociative Algebras", Schafer notes that an arbitrary nonassociative algebra over a field is separable "if and only if the ...
- 323
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....
- 1,276
9
votes
4
answers
954
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 ...
4
votes
3
answers
3k
views
Finitely generated projective = finitely presented flat over a noncommutative Noetherian ring
Let $R$ be a possibly noncommutative left Noetherian ring and $M$ an $R$-module. I am looking for a reference or a proof for the following fact: $M$ is finitely generated and projective if and only if ...
- 1,103
4
votes
0
answers
63
views
Color algebras and color involutions
If $A$ is a $G$-graded algebra then one can define on it a color involution, i.e. a bijective linear map preserving the grading such that the image of a product of two homogeneous elements is defined ...
- 41
2
votes
0
answers
132
views
Rings whose finitely-generated modules are co-hopfian
Let $A$ be a unital, possibly noncommutative ring. Dischinger showed [1] that the following are equivalent:
For every $a \in A$, there exists $n \in \mathbb N$ such that $a^n A = a^{n+1} A$;
For ...
- 64k
10
votes
3
answers
2k
views
nth term in the Baker-Campbell-Hausdorff formula
I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
- 245
17
votes
1
answer
1k
views
Non-commutative Galois theory
Recall that an finite-dimensional algebra $A$ over a field $k$ is central simple iff there is an iso
$A \otimes_k A^{op} \cong M_n(k)$
where $A^{op}$ is the opposite ring and $M_n(k)$ is the matrix ...
- 2,040
6
votes
1
answer
414
views
Is every (left) graded-Noetherian graded ring (left) Noetherian?
I call a $\mathbb{Z}$-graded (non-commutative, associative, unital) ring $A$ (left) graded-Noetherian if every homogeneous (left) ideal is finitely generated, and (left) Noetherian if it is (left) ...
- 953
5
votes
2
answers
417
views
How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?
One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...
- 211
11
votes
3
answers
1k
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 non-...
- 30.5k
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 $\...
- 3,103
16
votes
4
answers
2k
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)...
- 7,320
2
votes
0
answers
98
views
Dimension of center of $k[G]/\mathrm{rad}k[G]$ when characteristic of $k$ divides the order of $G$
Let $G$ be a finite group and consider $k[G]$ where $k$ is a field. In the scenario where $\mathrm{char}(k)$ divides $|G|$, how can one show that the dimension of $Z(k[G]/\operatorname{rad}k[G])$ is ...
14
votes
2
answers
549
views
$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $\ell^1(G)$ is a flat (right) $\mathbb{Z}G$-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 ...
- 1,528
3
votes
0
answers
86
views
A graded version of the Koethe conjecture
The most straightforward graded version of the Koethe conjecture would seem to say that the result of summing of two graded-nil ideals produces a graded-nil ideal. Here, graded-nil means having all ...
- 17.6k
5
votes
2
answers
340
views
Gelfand-Kirillov dimension of generalized Weyl algebras
I believe that the Gelfand-Kirillov (GK) dimension for a generalized Weyl algebra $D(\sigma,a)$ is just the GKdim$(D) + 1$.
Does anyone have a reference for this?
I can find partial results, and I ...
- 201
4
votes
1
answer
182
views
Origin of the relations of Leavitt path algebras
I know the formal definition of Leavitt path algebras, but I want know why the relations defining Leavitt Path Algebras are defined in that way? what is special of this relations?
My real hidden ...
- 51
-1
votes
2
answers
1k
views
Binomial expansion for noncommutative operator
Is it possible to find a closed formula for $(A^\dagger -kA)^n$ with $[A,A^\dagger]=1$ ?
I am looking for the normal ordinate form: $\sum (A)^{n-j}(A^\dagger)^j$— possibly something to do with the ...
4
votes
0
answers
147
views
Division in the universal enveloping algebra
Let $\mathfrak g$ be a (semisimple) Lie algebra, $\mathfrak b\subset \mathfrak g$ a Borel and $\mathfrak n = [\mathfrak b,\mathfrak b]$. Then I am interested in solving certain division problems in $U(...
- 241
0
votes
0
answers
43
views
Can Q(R) embed to Q((R ⊗ S )/ P)
Let $R, S$ be Noetherian $k$-algebra, where $k$ is a field, and $P \otimes S$ is Noetherian.
let $P$ be a prime ideal of $R \otimes S$ such that $P \cap (R \otimes 1) = (0) = P \cap (1 \otimes S)$, ...
- 1
5
votes
1
answer
204
views
Center of $k$-algebra with two generators and sole defining relation $yx - xy = 1$ when $\text{char}\,k > 0$
Let $A(k)$ be a $k$-algebra with two generators, $x$, $y$, and one defining relation: $yx - xy = 1$. What is the center of the algebra $A(k)$ in the case $\text{char}\,k > 0$?
user78704
5
votes
2
answers
243
views
A non-commutative analog of: two polynomials are algebraically dependent iff their Jacobian is zero
Let $f,g \in \mathbb{C}[x,y]$.
There is a well-known result, that can be found for example
here, pages 19-20, that says the following:
$f,g$ are algebraically dependent over $\mathbb{C}$ if and ...
- 2,837
6
votes
1
answer
554
views
Non-commutative regular sequences and non-commutative Koszul complex
I'm trying to understand the non-commutative Koszul complex, as can be found in Anick's nice paper "Non-Commutative Graded Algebras and Their Hilbert Series", J. of Algebra 78, (1982) and I'm stuck at ...
- 1,975
19
votes
4
answers
4k
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, ...
3
votes
1
answer
389
views
Dimension of hermitian rank at most $k$ matrices over quaternions
In a (right) finite dimensional quaternionic Hilbert space there is an analogue of the spectral theorem (see theorem 4.6 in Farenick and Pidkowich) for normal matrices in $\mathbb{H}^{m\times m}$, ...
- 3,209
5
votes
0
answers
843
views
Chinese remainder theorem
For non-commutative rings, we have this generalization of the Chinese remainder theorem (CRT).
I wonder if there is another statement involving only left or right ideals;
do you know any?
- 59
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, ...
- 575
1
vote
0
answers
214
views
Shape of possible counterexamples to the Jacobian and Dixmier Conjectures
Let $k$ be a field of characteristic zero.
It is well-known, see for example Corollary 10.2.21, that if $(x,y) \mapsto (p,q) \in k[x,y]^2$ is a counterexample to the two-dimensional Jacobian ...
- 2,837
5
votes
0
answers
200
views
A non-commutative analog of a result concerning a Jacobian pair
Let $k$ be a field of characteristic zero and let $E=E(x,y) \in k[x,y]$.
Define $t_x(E)$ to be the maximum among $0$ and the $x$-degree of $E(x,0)$.
Similarly, define $t_y(E)$ to be the maximum among $...
- 2,837
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 ...
- 16.2k
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 ...
- 1,663
2
votes
0
answers
50
views
Existence of nontrivial transfinite divisibility in $R$-modules
Let $R$ be a unital, possibly noncommutative ring and $s \in R$. For a right $R$-module $M$, define $Ms = \{ms \mid m \in M\}$; this is an additive subgroup of $M$, which is a module over the ...
- 64k
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?
- 386