Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
498
questions
2
votes
0
answers
52
views
Is anything known about the center of the Fomin-Kirillov algebra?
Let $\mathcal{B}_{\mathbb{S}_m}$ be the quotient of the Fomin-Kirillov algebra so that its pairing becomes certainly nondegenerate. This algebra is conjecturally isomorphic to the Fomin-Kirillov ...
- 1,064
1
vote
1
answer
103
views
Particular example of a quadratic extension of a nonunital ring
I want to construct a concrete non-unital ring $R$ with the following properties:
$R$ is a noncommutative non-unital ring with a right unite $r$ i.e $t.r=t$ for any $t\in R$.
$S\subset R$ is a ...
- 153
1
vote
0
answers
51
views
On a lemma of projective dimension
Let $R$ be a finite-dimensional algebra, and $A=R\oplus A_1\oplus A_2\oplus \dotsb$ be an $\mathbb{N}$-graded algebra which is locally finite (i.e. all $A_i$'s are of finite dimension). Let $\text{...
- 57
10
votes
1
answer
203
views
Matrix ring isomorphisms of different sizes
Do there exist (unital, associative, noncommutative) rings $R$ and $S$, where $\mathbb{M}_2(R)\cong \mathbb{M}_3(S)$, but these matrix rings are not isomorphic to $\mathbb{M}_6(T)$ for any ring $T$?
- 18.2k
3
votes
0
answers
126
views
Composition of Frobenius $n$-homomorphisms, characteristic-free?
This question is, as so often, a crossbreed of curiosity and laziness. The
former has led me to an interesting, but somewhat unsatisfactory paper by
Khudaverdian and Voronov
(arXiv:2002.02395v2) and, ...
- 33.2k
1
vote
1
answer
224
views
Wedderburn theorem for finite-dimensional algebras over the complex numbers
I'm trying to understand how to apply the Wedderburn theorem in the context of unitary algebras over $\mathbb{C}$ that are finite-dimensional and semisimple. Let $\mathcal{A}$ be a $\mathbb{C}$-...
7
votes
1
answer
111
views
Semi-simple algebras over operads
I believe people thought about this questions, however I couldn't find any reference. I appreciate if someone could direct me to some detailed discussions about it.
The categories of associative ...
- 439
9
votes
1
answer
220
views
Formal smoothness of path algebras and connections
Let $k$ be a field of characteristic zero and $A = kQ$ the path algebra associated with a quiver $Q$. The algebra $A$ is said to be formally smooth over $k$ if
$$
\Omega^1_kA = \operatorname{Ker}(\...
- 401
2
votes
2
answers
168
views
Minimal ideals and subalgebras of semisimple algebras
I'm considering an algebra to be a ring which is also a vector space over some field $F$, and the algebra $A$ is said to be semisimple if it is semisimple as a ring, i.e., $A$ can be written as a ...
7
votes
2
answers
1k
views
Is there a notion of point in noncommutative geometry?
It is not clear to me whether there is a general notion of point in NCG. I have heard (more through physics) that the notion of a point becomes meaningless or ill-defined in noncommutative spaces, but ...
- 136
3
votes
0
answers
109
views
On the conditions for Artin-Schelter Gorenstein algebras
Let $ k $ be a field and $ A $ a connected graded $ k $-algebra ($ A $ is associative, but not assumed to be commutative).
The algebra $ A $ is called Artin-Schelter Gorenstein* of dimension $ d $ if ...
- 886
8
votes
2
answers
488
views
Faithful flatness and non-commutative algebras
$\DeclareMathOperator\Spec{Spec}$When dealing with commutative algebras, a usefull criterion for faithful flatness is the following:
Let $f:A\rightarrow B$ be a morphism of commutative algebras. Then $...
11
votes
2
answers
1k
views
A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?
One can argue that commutative algebra is affine algebraic geometry. However, a great deal of commutative algebra generalizes to non-commutative algebra, and in that setting there is little geometry, ...
- 4,123
3
votes
0
answers
202
views
Arithmetic derivatives and non-commutative generalizations
In the theory of arithmetic derivatives, in the simplest case an arithmetic derivative on $\mathbb{N}$ is defined via the rule $(a \times b)'= a \times b' + a' \times b$, mirroring the product rule ...
- 699
5
votes
0
answers
128
views
Confusion around a (necklace) cobracket in Ginzburg's article Calabi-Yau Algebras
Something has been puzzling me for quite a while in Ginzburg's article Calabi-Yau Algebras.
At some point he considers the free graded algebra $\mathbb{C}\langle x_1, \dots, x_n, \theta_1, \dots \...
- 427
7
votes
0
answers
191
views
On the structure of an algebra as a bimodule
$\DeclareMathOperator\End{End}\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Ker{Ker}\newcommand{\bi}{\mathrm{bi}}\newcommand{\op}{\mathrm{op}}$Let $K$ be a field (say of characteristic zero), and $...
2
votes
1
answer
249
views
Gluing data for modules over a ring with idempotents
Let $A$ be a ring. If $e$ is an idempotent, then there is an abelian recollement involving the categories $A\text{-}\mathrm{Mod}$ and $eAe\text{-}\mathrm{Mod}$. This is Example 2.7 in Homological ...
- 1,021
5
votes
2
answers
388
views
Algebra with three anti-commutator relations
Let $u,v,w \in \mathbb{F}_p^{\times}$. Consider the $\mathbb{F}_p$-algebra $V$ generated by $ a,b,c$ and the relations
$$u a^2 = bc + cb$$
$$v b^2 = ac + ca$$
$$w c^2 = ab + ba$$
Is $V$ generated by ...
- 61.5k
5
votes
0
answers
281
views
On the deformation theory of associative algebras
Let us start by recalling the notion of a formal deformation:
Let $K$ be a field of characteristic zero and $A$ be an associative $K$-algebra. Consider a commutative augmented $K$-algebra $R$, with ...
9
votes
0
answers
417
views
Does Wedderburn's Theorem hold constructively?
Wedderburn's Theorem states that every finite division ring is commutative. Perhaps even more surprising, this implies that every finite reduced ring is commutative. The proofs that I am aware of ...
- 61.5k
4
votes
1
answer
236
views
Kaplansky inverse element theorem on group C-star algebra
In a class talking about $C^*$ algebra and (higher) index theory, I heard a theorem
(related to Kaplansky, proved?), that is
Suppose $\Gamma$ is a group (admitting Haar measure if necessary) while $\...
- 173
2
votes
0
answers
133
views
Zero divisors in the extra-special group algebra $\mathbb{R}[2^{1+6}_+]$
Can you characterize the unit-group of the real group-algebra of the extraspecial plus-type 2-group of order 128? (That is $\mathbb{R}[2_+^{1+6}]$ using Conway's notation.)
(Please choose any irrep ...
- 21
3
votes
0
answers
172
views
The monoid of stably-free modules over integral group rings
Fix a torsion-free group G, let $M_G$ be the monoid of stably-free $\mathbb{Z}G$-modules under operation $\oplus$, the direct sum of modules.
In studying objects related to Wall’s D2 problem on CW-...
- 197
2
votes
0
answers
68
views
Classification of polynomials leading to finite dimensional admissible algebras
Let $K \langle x , y \rangle $ ($K$ a field, we can assume it has only two elements if it helps) be the non-commutative polynomial ring in 2 variables.
Question 1: For which non-commutative ...
- 26.1k
1
vote
0
answers
76
views
Inner product on Standard form of von Neumann algebra
Let $(M, H, H_+,J)$ be a standard form of a von Neumann algebra $M$ acting on a complex Hilbert space $H$ endowed with a self-dual cone $H_+$. Is it true that
$$\langle x,yz\rangle=\langle zx,y\rangle$...
- 131
4
votes
0
answers
67
views
Indecomposable injectives over Weyl algebras
Let $A=A_n(\mathbb{C})$ be the $n$-th Weyl algebra over the complex field. Then $A$ is a left Noetherian noncommutative ring. Is there a complete classification of indecomposable injective $A$-modules?...
- 463
2
votes
0
answers
105
views
Correct notion of "connected" for dga of bundle-valued forms
Consider a vector bundle $E$ over a manifold $M$ with flat connection, $\nabla$. From this data I can form the associative/unital differential graded algebra $\mathcal{A} = \left(\Omega^{\bullet}(M, ...
- 1,396
1
vote
0
answers
33
views
Number of right divisors of a central skew polynomial
Let $\mathbb{F}$ be a finite field of $p$ elements, $\sigma \in \operatorname{Aut}(F)$ of order $m$, $\mathbb{F}^\sigma$ be the fixed field of $\sigma$, and $\mathbb{F}[x,\sigma]$ be a skew polynomial ...
- 323
1
vote
1
answer
175
views
A question about surjective maps between quadratic algebras
Let $V$ be a finite-dimensional vector space and
$$
U \subseteq W \subseteq V \otimes V
$$
be a proper inclusion of vector subspaces. Then take the tensor algebra
$$
T(V) = \bigoplus_{i=1}^{\infty} V^{...
- 643
5
votes
2
answers
620
views
A note on orders in quaternion algebras
Definition. An algebra $B$ over a field $F$ is a quaternion algebra if there exists $i,j\in B$ such that $1,i,j,ij$ is a basis for $B$ as a vector space over $F$, where $i^2=a,j^2=b;a,b\in F^\times$.
...
- 227
0
votes
0
answers
75
views
What is the order of these binary trees?
In the book "Free Lie algebras" by the author Christophe Reutenauer, Example 4.2 (in subsection 4.1) gives the trees of degree $\le 5$ of a Hall set in magma $M(A)$, where $A=\{a,b\}$ as the ...
1
vote
1
answer
124
views
Polynomial identities satisfied by the Weyl algebra in prime characteristic
The rank $n$ Weyl $A_n(\mathsf{k})$ algebra over a field $\mathsf{k}$ of zero characteristic does not satisfies any polinomial identity. If it were a PI-algebra, Kaplansky theorem would apply (since ...
- 2,733
4
votes
0
answers
96
views
Convolution algebra of a simplicial set
Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...
- 1,188
1
vote
0
answers
58
views
Structure of tame concealed algebra of Euclidean type
I wanted to know some references where people have studied the representation theory of tame concealed algebra of Euclidean type. What do we know about the structure of their module category? What ...
- 767
1
vote
0
answers
96
views
Does the center of any finitely generated associative algebra over a field have finite type?
Consider the monoid algebra $R:=K\langle x_1,\dots,x_n\rangle$ generated by $n$ letters $x_1,\dots,x_n$ for $n>1$ over field $K$. Equivalently, $R$ is the tensor algebra $T(V)$ on the $n$-...
- 321
3
votes
0
answers
140
views
Extension of work by Novelli and Thibon on noncommutative symmetric functions and Lagrange inversion
(Edit May 12, 2023: I just put up a brief summary of some of my notes on the partition polynomials described below in my WordPress mini-arXiv at "As Above, So Below". It contains multinomial ...
- 9,931
7
votes
3
answers
410
views
Smallest faithful representation of an upper-triangular matrix quotient
This is a curiosity question that came out of teaching abstract algebra.
Let $F$ be a field, and $n>1$ an integer.
Let $F^{n \leq n}$ be the $F$-algebra of all upper-triangular $n\times n$-matrices ...
- 33.2k
4
votes
0
answers
142
views
Finitistic dimension conjecture — why artin algebras?
As I understand it, the finitistic dimension conjecture says that if a ring $A$ is finitely generated over a commutative artinian ring $K$, then the finitistic dimension of $A$ is finite.
My question ...
1
vote
2
answers
326
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
- 359
3
votes
1
answer
271
views
Projective dimension of group ring
Assume that $G$ is a group and $R$ is a p.i.d. What can we say about the projective dimension of $R[G]$? For example can we say that this dimension is at most $1$ for reductive groups? (I think if $...
- 1,043
2
votes
1
answer
150
views
Relation(s) between units and nilpotent elements in graded noncommutative rings
In Commutative Algebra we have the following standard facts which I am going to state in a slightly different form than usually found in textbooks. Namely, let $A$ be a commutative unital ring of ...
- 6,730
4
votes
2
answers
299
views
Cubical vs. simplicial Hochschild cohomology
Simplicial Hochschild cohomology.
$\newcommand{\Hom}{\mathrm{Hom}}\newcommand{\B}{\mathrm{B}}\newcommand{\Obj}{\mathrm{Obj}}\newcommand{\HH}{\mathrm{HH}}\newcommand{\Mod}{\mathsf{Mod}}$One way to ...
- 10.7k
7
votes
1
answer
420
views
Are perfect complexes the same as compact objects in D(R) for noncommutative rings?
The Stacks Project proves Thomason's insight that
compact objects of the derived category $\simeq$ bounded complexes of finitely generated projective modules
in Section 15.78, but the running ...
- 71
2
votes
1
answer
241
views
Existence of finite dimensional representation of an algebra
Let $m>1$ be an integer and let $A$ be the algebra generated by the elements
$\{u^i_j,v^i_j,\bar{u}^i_j, \bar{v}^i_j| 1\leq i,j\leq m\}$ quotient over the relations
\begin{eqnarray}
u^i_j v^k_l&...
- 423
4
votes
0
answers
103
views
Regular coherence of tensor algebras
Under what conditions on a bimodule $M$ over a noetherian commutative ring $R$ is the tensor algebra $T=T_R(M)$ regular coherent? A theorem of Gersten says this is true for a free bimodule $M$. If $M$ ...
- 41
10
votes
5
answers
645
views
Is there a $3$-commutative algebra?
Let $k$ be a field of characteristic $0$. If $m\ge2$, I denote $P_m$ the standard polynomial in $m$ non-commutating indeterminates:
$$P_m(X_1,\dotsc,X_m)=\sum_{\sigma\in\mathfrak S_m}\epsilon(\sigma)...
- 51.6k
1
vote
0
answers
82
views
Abelianization of the group of invertible elements in a finite local ring
Let $R$ be a finite local $\mathbb{F}_q$-algebra. Assume that $R\cong R^*$ as left $R$-modules. Are there any known results about the abelianization $(R^{\times})_{\mathrm{ab}}$?
(We can factor $R$ be ...
- 4,979
5
votes
1
answer
320
views
Injective modules
Let $A$ be a finite dimensional $k$-algebra and let $I$ be an injective module。My question is whether $I$ is a direct sum of finite-dimensional injective modules。
- 169
3
votes
1
answer
324
views
Graded global dimension of a graded algebra
Let $k$ be an algebraically closed field of characteristic $0$.
Let $A := k \langle x,x^{-1},y \rangle /(xy-qyx, x^{d_1}-ay^{d_2})$, where deg$(x)>0$, deg$(y)>0$, $q,a \in k^*$ and $d_1\text{deg}...
- 639
7
votes
1
answer
176
views
Symmetry of unique generator property
In this article:
Canfell, M. J. "Completion of Diagrams by Automorphisms and Bass′ First Stable Range Condition." Journal of algebra 176.2 (1995): 480-503.
the author defines a ring $R$ to ...
- 1,603