Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
522 questions
1
vote
0
answers
41
views
What is a quantum condensed space?
Due to a categorical equivalence involving compact topological spaces and unital commutative $\mathrm{C}^*$-algebras, there is a practise involved in so-called quantum mathematics where a ...
- 1,037
1
vote
1
answer
80
views
Hilbert symbol of a quaternion algebra given ramified places
I am reading the paper: https://projecteuclid.org/journals/experimental-mathematics/volume-17/issue-3/Derived-Arithmetic-Fuchsian-Groups-of-Genus-Two/em/1227121388.full
in order to find an explicit ...
- 3,009
47
votes
10
answers
6k
views
Algebraic theorems with no known algebraic proofs
What are some good examples of algebraic theorems that have no known algebraic proofs?
A few I know concern classifications of (not necessarily associative) division algebras over $\mathbb{R}$: the ...
- 38.6k
2
votes
0
answers
93
views
Free, easy-to-use program for noncommutative algebra over finite fields
I am looking for a computer program that can handle computations in noncommutative algebra over a finite field of prime order $p$.
My requirements are:
The program should be free, as I do not have ...
- 63.9k
6
votes
0
answers
79
views
Examples of $\mathbb{N}$-graded algebras whose global dimension is strictly less than the GK dimension
The relationship between the global and GK dimensions of Artin-Schelter regular algebras remains to be mysterious, yet both dimensions are conjectured to be equal.
In a more broad setting, are there ...
- 61
0
votes
0
answers
32
views
Right maximal ideals in skew-Laurent rings over division Rings
Let $R$ be a Noetherian domain, and let $D$ denote its division ring. Define $S = D_q[x_1^{\pm 1}, x_2^{\pm 1}]$ as an iterated skew-Laurent polynomial ring with the relation $x_1 x_2 = q x_2 x_1$. Is ...
- 63.9k
0
votes
0
answers
92
views
Finitely generated module over a skew Laurent polynomial ring $\mathbb{K}[x_1^{\pm 1},x_2^{\pm1}]$
Let $A := \mathbb{K}_{\Lambda}[x_1^{\pm 1}, x_2^{\pm 1}, x_3^{\pm 1}, x_4^{\pm 1}]$, $B := \mathbb{K}_{\Lambda'}[x_1^{\pm 1}, x_2^{\pm 1}, x_3^{\pm 1}]$, and $C := \mathbb{K}_{\Lambda''}[x_1^{\pm 1}, ...
- 923
5
votes
2
answers
1k
views
An example where finitistic dimension does not equal right global dimension?
The (right) big finitistic dimension of a ring is Findim$(R) =$ sup{proj.dim(M) | $M$ a right $R$-module of finite projective dimension}. The (right) little finitistic dimension findim$(R)$ is the sup ...
- 113
1
vote
1
answer
84
views
Simple-direct-injective modules
A right $R$-module $M$ is called a simple-direct-injective module if it satisfies any of the following equivalent conditions:
For any simple submodules $A,B$ of $M$ with $A \cong B \subseteq^{\oplus} ...
CommunityBot
- 1
0
votes
0
answers
104
views
Non-degenerate bilinear pairing of finite dimensional algebras
A finite dimensional algebra (over $\mathbb{C}$, say) is said to be Frobenius if it comes equipped with a nondegenerate bilinear pairing
\begin{align*}
\langle -, - \rangle : A \times A \rightarrow \...
- 63.9k
5
votes
1
answer
883
views
Is this ring isomorphic to a quotient of a group algebra?
Consider the quotient of the free algebra $\mathbb{Q}\langle \alpha, \beta, \gamma, \delta, \varepsilon, \zeta \rangle$ by the two-sided ideal $I$ subject to the relations $$ \alpha\delta=\delta\alpha=...
- 35.2k
5
votes
0
answers
288
views
Representation functor on modules
Let $k$ be a field and $A$ a unital associative $k$-algebra.
The representation functor associates, to each object in non-commutative geometry, a genuine geometric object on the representation variety ...
- 985
64
votes
4
answers
8k
views
What is the current status of the Kaplansky zero-divisor conjecture for group rings?
Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...
- 3,736
3
votes
2
answers
255
views
Is being graded commutative a necessary condition on $A$ such that $H^*(A)$ is commutative?
If we consider any differential graded algebra $A^\bullet$, then its homology is a graded algebra, since the tensor product interacts well with homology.
A sufficient condidtion for the homology to be ...
- 4,254
0
votes
0
answers
45
views
projections on minimal left ideals of semisimple algebras
Let $KG$ be a semisimple group algebra of a finite group $G$ over $K$. Consider $W=KGe$ as a minimal left ideal of this algebra and $e$ as a primitive idempotent. Here, $W$ is a simple left $KG$-...
- 143
1
vote
0
answers
30
views
Star-algebra isomorphism
I have asked this question: When an algebra isomorphism preserves positive involution, but now I want to modify it.
Let $A$ and $B$ be $K$-algebras where $K$ is a field with a unique ordering.
We say ...
- 143
2
votes
1
answer
103
views
When an algebra isomorphism preserves positive involution
Let $A$ be a $K$-algebra where $K$ is a field with a unique ordering.
We say a $K$-linear involution $*$ is positive if the map $A \to K$ via $a \mapsto tr(a^*a)$ is positive definite with respect to ...
- 1,766
8
votes
1
answer
685
views
The state of the art on topological rings - the Jacobson topology
I was recently studying the Jacobson density theorem and I found it quite interesting.
Most textbooks I've seen, including Jacobson's own Basic Algebra, only spend a few lines about the reason why it ...
- 63.9k
4
votes
0
answers
131
views
Is there anything like a Čech complex for calculating local cohomology over *noncommutative* rings?
$\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\colim{colim}$Let $R$ be a ring, and consider a two-sided ideal $I = (r_1, r_2, \dots, r_j)$ in $R$. The corresponding $n$th local cohomology functor ...
- 12.9k
4
votes
1
answer
223
views
Recent research on polynomial identities
I work in computational complexity, where I work on the problem of polynomial identity testing over arithmetic circuits. One particular case is when the variables over the polynomial ring don't ...
12
votes
0
answers
542
views
Does Wedderburn's Little Theorem hold constructively?
Wedderburn's Little 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 ...
- 63.1k
4
votes
0
answers
158
views
Wedderburn-Malcev principal theorem for graded-finite algebras
Let $k$ be a field and $A$ be a noncommutative $k$-algebra with Jacobson radical $J$. If $A$ is finite-dimensional, the Wedderburn-Malcev says that $A$ has a subalgebra $S$ such that $$A = S \oplus J$$...
- 492
2
votes
0
answers
66
views
Noncommutative transcendence degree of representation algebras
Let $G$ be a reductive group, for example $\text{GL}_n(\mathbb{C})$. Let $V$ denote its defining representation, and let $R$ denote the tensor algebra on the irreducible representations of $G$. It may ...
- 2,907
3
votes
0
answers
83
views
Non-commutative Gorenstein Koszul algebras
I was wondering if there exists a characterization of finite-dimensional Gorenstein Koszul algebras in terms of their Koszul dual?
- 63.9k
7
votes
1
answer
653
views
Which CAS can do basic non-commutative differential algebra?
This is a repost of my question at MSE from 7 months ago, to which I haven't been able to find an answer yet.
I am looking for a CAS (possibly incl. additional packages/libraries) that can compute ...
- 10.1k
3
votes
0
answers
130
views
Trace map on Ext group
Let $R$ be a (possibly non-commutative) unital ring and $M$ be a perfect left $R$-module. Then, we have the trace map
$$
\operatorname{Tr}\colon \mathrm{Hom}_R(M,M)\to R/[R,R]\,.
$$
According to the ...
- 985
9
votes
1
answer
889
views
Combinatorics for the action of Virasoro / Kac–Schwarz operators: partition polynomials of free probability theory
In the background sections below, I establish the relations among characterizations of the action of Virasoro / Kac–Schwarz operators of 2D gravity models presented in terms of Laurent series by ...
- 12.9k
5
votes
2
answers
199
views
Determining the multiplication via addition and some unary operation
It is known that the addition operation in a skew-field $F$ (more generally, in a quasifield) is uniquely determined by the multiplication operation and the unary involutive operation $1_{-}:F\to F$, ...
- 14.6k
22
votes
5
answers
4k
views
Motivation for the Preprojective Algebra
Let $Q=(Q_0,Q_1)$ be a quiver and $k$ a field. We construct a new quiver $\bar{Q}$ in the following way. Let the vertices of $\bar{Q}$ be the same as the vertices of $Q$, and let the arrows of $\bar{Q}...
- 5,701
1
vote
0
answers
90
views
Multiplicative bases, path algebras, and Ext algebras
I am interested in understanding when a multiplicative basis exists for finite dimensional algebras over an algebraically closed field, and, in particular, Ext-algebras that are finite dimensional.
It ...
- 63.9k
1
vote
1
answer
410
views
Morphisms of a simple sheaf over an algebra to its double dual
Given a smooth and projective surface $S$ over an algebraically closed field $k$ and a sheaf of Azumaya algebras $R$, i.e. $R$ is a locally free $O_S$-module of finite rank. Let $M$ be a coherent and ...
- 18.4k
2
votes
0
answers
69
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,066
1
vote
1
answer
110
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 ...
- 55.9k
1
vote
0
answers
69
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{...
- 157
5
votes
2
answers
396
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 ...
- 491
10
votes
1
answer
221
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$?
- 35.2k
3
votes
0
answers
137
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.8k
7
votes
0
answers
226
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 $...
- 541
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 ...
- 8,098
1
vote
1
answer
368
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}$-...
- 3,230
7
votes
1
answer
129
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 ...
- 12.9k
9
votes
1
answer
236
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}(\...
- 5,407
2
votes
2
answers
226
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 ...
- 35.2k
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 ...
- 1,037
4
votes
0
answers
143
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 ...
- 936
13
votes
3
answers
1k
views
Are the trace relations among matrices generated by cyclic permutations?
Let $X_1,\dots,X_n$ be non commutative variables such that $\operatorname{tr} f(X_1,\dots,X_n) = 0$ whenever the $X_i$ are specialized to square matrices in $M_r(k)$ for any $r \geq 1$. Does this ...
- 148k
1
vote
3
answers
2k
views
Various Cartan's Lemmata
I am a bit amazed by "Cartan's Lemma".. I have so far seen it in :
Algebraic Geometry sources:
Look at Proposition 2.9 of Freitag and Kiehl's Étale Cohomology where he used étale morphism to describe ...
- 1,446
5
votes
2
answers
737
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$.
...
- 3,009
8
votes
2
answers
577
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 $...
- 12.9k
6
votes
2
answers
449
views
Survey of recent developments of the Gelfand-Kirillov dimension
It is almost two decades since the now classical books by McConnell and Robinson's
[ Noncommutative Noetherian rings. With the cooperation of L. W. Small. Revised edition. Graduate Studies in ...
- 3,318