Questions tagged [noncommutative-algebra]
Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras
498
questions
11
votes
0
answers
261
views
Criteria for a map of rings to induce an equivalence on K-theory?
Algebraic $K$-theory is Morita invariant, but surely it does not detect Morita equivalence. What are some examples of rings (or ring spectra) $R$ and $S$ that are not Morita equivalent, but ...
3
votes
1
answer
256
views
Hochschild homology of acyclic complex
Let $A$ be a differential graded algebra over a commutative ring $R$. Suppose that $H_*(A)=0$, i.e. $A$ is acyclic.
Question: Does this imply that the Hochschild homology $HH_*(A)$ also vanishes ...
5
votes
1
answer
351
views
Classification of finitely generated modules over non-commutative rings
Let $\Lambda$ be a commutative integral ring with an automorphism $\sigma$ (I have in mind $\mathbb Z_p[[t]]$ and $\sigma(t) = (1+t)^\alpha - 1$ with $\alpha \in \Lambda^\times$) and $R = \Lambda\{F\}$...
1
vote
0
answers
58
views
Universal bimodule for homotopy biderivations
Recall the commutative story: for a commutative algebra $A$, its module of differentials $\Omega (A)$ is characterized by the universal property that any derivation $\delta \colon A \to M$ is in a ...
7
votes
2
answers
2k
views
Reason to apply the Koszul sign rule everywhere in graded contexts
The Koszul sign rule is a sign rule that arises from graded-commutative algebras. For instance, let $\bigwedge(x_1,\dots, x_n)$ be the free graded-commutative algebra generated by $n$ elements of ...
3
votes
1
answer
226
views
Left module which cannot be made into a bimodule?
Let $A$ be a noncommutative unital algebra, defined over $\mathbb{C}$ say. What is an example of a left $A$-module $M$ that does not admit a right $A$-module structure giving $M$ the structure of a ...
3
votes
2
answers
1k
views
Dual of a projective module
Let $R$ be a noncommutative ring with unit, let $P$ be a projective left $R$-module, and denote $^{\vee}\!P := \,_R\mathrm{Hom}(P,R)$. One often sees it written that projectivity implies an ...
2
votes
0
answers
54
views
Non-singular rings which are Rickart
A ring $R$ is said to be a right Rickart ring if the right annihilator of any element in $R$ is of the form $eR$ for some idempotent $e \in R$.
It turns out that a ring $R$ is right Rickart iff every ...
8
votes
1
answer
499
views
Vanishing of Hochschild homology of a category
Let $A$ be a dg- or $A_{\infty}$-category (with $\mathbb{Z}$-graded Hom sets, over a field of characteristic $0$). Let $HH_*(A)$ be the Hochschild homology of $A$.
Suppose that $HH_n(A)=0$ for all $n ...
4
votes
1
answer
630
views
Representations of tensor products of algebras
For two associative unital algebras $A$ and $B$, defined over $\mathbb{K} = \mathbb{R}, \mathbb{C}$, is it possible to have an irreducible representation of $A \otimes_{\mathbb{K}}B$ which is not of ...
2
votes
2
answers
280
views
Is Hilbert basis theorem true for positive graded ring?
Let $R=\oplus_{I\geq 0}R_i$ be a positive graded ring(maybe not commutative), where $R_0$ is a commutative Noetherian ring. If $R$ is finite generated $R_0$-algebra, is $R$ Noetherian?
In here, Is ...
2
votes
0
answers
70
views
Embedding problems on quantum groups?
We work over the field of complex numbers.
We have known that Lie algebra of type $A_2 $is a subalgebra of type $G_2$. However, when we consider their quantum groups, is this true i.e. does there ...
2
votes
0
answers
60
views
Integrals in noncommutative graded algebras which are not necessarily Hopf
Let $\mathbf{k}$ be a field. Let $A$ be a finite dimensional $\mathbb{Z}_{\geq 0}$-graded $\mathbf{k}$-algebra such that $A^0=\mathbf{k}1$. Let $m$ be the maximal non-negative integer such that $A^m\...
6
votes
1
answer
478
views
Derivations of universal enveloping algebra of Lie algebras
We know a lot about derivations of Lie algebra. However, for the universal enveloping algebra of Lie algebra, we have few references about it.
My question: describing the derivations of enveloping ...
4
votes
0
answers
145
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(...
3
votes
0
answers
40
views
Closest generators for matrix algebra which is not semisimple
Given a collection of $n$ commuting $n \times n$ matrices $A_1, \dots, A_n \subset M_n (\mathbb{R})$ which generate a semisimple algebra $\mathcal{A}$, I am interested in finding matrices $E_1, \dots, ...
6
votes
1
answer
230
views
Testing ideal membership in the Weyl algebra: a simple example
In Example 1.1.4 of the book Grobner Deformations of Hypergeometric Differential Equations, it is stated without proof that
$$\partial^2 \in D\cdot \langle x\partial^4, x^3\partial^2 \rangle \tag{$\...
2
votes
0
answers
102
views
Lattices with trivial coinvariants for finite groups
Let $G$ be a finite group. A $\mathbb{Z}G$-lattice is a $\mathbb{Z}G$-module that is (as abelian group) a free abelian group of finite rank.
Question: Is there a finite group $G$ and a $\mathbb{Z}...
10
votes
3
answers
1k
views
Dual of a bimodule
For a noncommutative ring $R$, and an $R$-$R$-bimodule $B$, is there a "correct/natural" notion of a dual bimodule? I am interested, really, when $B$ is projective as a left $R$-module.
Note: ...
7
votes
0
answers
565
views
Guises of the noncrossing partitions (NCPs)
From "Noncrossing partitions in surprising locations" by Jon McCammond:
Certain mathematical structures make a habit of reoccuring in the most diverse list of settings. Some obvious ...
1
vote
0
answers
197
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 ...
3
votes
0
answers
67
views
Splitting of central simple algebras in the Schur subgroup over residue fields of places
Recall that a valuation domain of a field extension $K/k$ is a $k$-subalgebra $V$ of $K$ not equal to $K$ such that for every $a\in K$ at least one of $a$ and $a^{-1}$ is in $V$.
A place of $K/...
2
votes
0
answers
41
views
Concerning $(x,y) \mapsto (x^{\frac{n}{r}+1}y + A,\mu x^{-\frac{n}{r}}+B)$
Let $r \in \mathbb{N}-\{0\}$.
Commutative case:
Let $f : (x,y) \mapsto (p,q)$ be a map from $\mathbb{C}[x,y]$ to $\mathbb{C}[x^{1/r},x^{-1/r},y]$ satisfying the following two conditions:
(i) $\...
3
votes
0
answers
92
views
Is a specific endomorphism of $A_1$ an automorphism?
Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.
...
2
votes
0
answers
41
views
Partially commutative elements in powers of augmentation ideal
Let $\vartheta$ a relation of parcial commutation over a set $X,$ and consider the respective free parcially commutative group $F(X, \vartheta).$ Let $K[F(X, \vartheta)]$ the parcially commutative ...
5
votes
0
answers
193
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 $...
7
votes
1
answer
193
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 ...
2
votes
1
answer
288
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 $...
4
votes
1
answer
367
views
Possible values of symmetric functions evaluated on quaternions
$\DeclareMathOperator\sym{sym}$Let $i$, $j$, $k$ be the units of quaternions, in particular $i^2=j^2=k^2=-1$, $ijk=-1$.
We will use non commutative variables $x$, $y$, $z$. Define $\sym_{a,b,c}$ to be ...
12
votes
3
answers
786
views
Subalgebra of a group algebra
Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra.
Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$.
Question: Is there any ...
4
votes
1
answer
174
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 ...
5
votes
3
answers
2k
views
Ideal structure of a tensor product of certain algebras
I would be grateful if anyone could give me a reference regarding the following question.
Suppose that $A$ and $B$ are two unital prime algebras over a field $F$ whose center consists of scalar ...
5
votes
0
answers
184
views
Any f.p. faithful simple module over a primitive group ring?
Recall that a ring $R$ is primitive if it has a faithful simple left module. Let $G$ be a countable discrete group and $R=\mathbb{k}G$, where $\mathbb{k}$ denotes some field or $\mathbb{Z}$.
There ...
6
votes
1
answer
204
views
Weak associativity
Let $(V,*)$ be an algebra and denote $A_*\in \text{Hom}(V^{\otimes 3},V)$ the associator of the binary product $*\in \text{Hom}(V^{\otimes 2},V)$ defined as $A_*(a,b,c):=(a*b)*c-a*(b*c)$.
The ...
3
votes
1
answer
366
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}$, ...
1
vote
0
answers
87
views
Monoidal structure on left dg-modules over a brace algebra
Relating to my other question: Modules over Hopf Algebras and $E_2$-algebras
Preliminary: Let $A$ be an associative dg-algebra that is also an algebra over the brace operad. Let $M$ and $N$ be left ...
1
vote
0
answers
60
views
A variation on Dixmier's counterexample concerning centralizers in $A_1$
This question asks the following: "Suppose $k$ is a field of characteristic zero and $P$ and $Q$ are commuting elements of the first Weyl algebra. Is it true that $P$ and $Q$ are polynomials in some ...
3
votes
1
answer
172
views
If the sum of a right (principal) ideal with a left one contains an invertible element and the product is zero then do they contain idempotents?
I am trying to solve a problem on additive categories, that gives the following question on (non-commutative unital associative) rings: if for elements $a$ and $b$ of a ring $R$ we have $ab=0$ and $a+...
5
votes
0
answers
83
views
von Neumann regular ring homomorphisms
Let us call a ring homomorphism $f\colon R\rightarrow S$ von Neuman regular if it has the property that for every left $S$-module $M$, the left $R$-module $f^*M$ is flat.
In particular, $\mathrm{id}...
4
votes
1
answer
147
views
Dimension of a module over a left-Ore domain
If $R$ is a domain, and $M$ a (left) $R$-module, what are the different notions of dimension of $M$ and their respective assets, what do they measure?
I found out that if $\dim_RM$ is the cardinal of ...
5
votes
0
answers
214
views
Constructing a noncommutative algebra from a commutative algebra
I was told at a conference that one way to construct a noncommutative algebra from a commutative one is to "replace the product of finite spaces (which on the level of continuous functions corresponds ...
2
votes
1
answer
240
views
radical of a certain ideal of sixteen variable polynomial ring, generated by the entries of certain matrices
Consider the polynomial ring $R=\mathbb C[x_1,x_2,...,x_{16}]$, and set
$$X=\begin{pmatrix} x_1 &x_2&x_3 &x_4\\ x_5&x_6& x_7&x_8\\x_9&x_{10}&x_{11}&x_{12}\\x_{13}&...
1
vote
0
answers
40
views
Relation between left projections
Let $A$ be a Baer *-ring. Let $x$ be in $A$, $L(x)$ is the left projection of $x$ that is the smallest projection with $L(x)x=x$.
Q. Let $p,q$ are projections in $A$ with $p\leq q$. For a given ...
1
vote
0
answers
37
views
The statue of a sequence of finite projections
Let $A$ be a Baer $*$-ring. Let $\{p_n\}$ be a sequence of finite projections in $A$. True or false?
Suppose that there is no $N$ with $p_n=p_{n+1}$ for $n\geq N$. We have then $\inf_{1\leq n\leq ...
1
vote
0
answers
38
views
something concerning finite projections
Let $A$ be a Baer *-ring. Let $x$ be an isometry (meaning $x^*x=1$ where $1$ is the unit of $A$).
Let $e$ be a finite projection in $A$ such that $ex^ne=ex^n$ for every $n\geq0$.
Q. Can we say that ...
1
vote
2
answers
125
views
Upper triangular $2\times2$-matrices over a Baer *-ring
Let $A$ be a Baer $*$-ring. Let us denote $B$ by the space of all upper triangular matrices
$\left(\begin{array}{cc}
a_1& a_2 \\
0 & a_4
\end{array}\right)$ where $a_i$'s are in $A$. Is $B$ ...
6
votes
0
answers
92
views
What quantum groups admit quantum topography space structure?
Quantum topography space is a pair $(A,M)$ consisting of a $C^*$-algebra $A$ and an abelian sub algebra $M\subset A$ with approximate identity. The intuition is to take $M$ be the smallest abelian ...
2
votes
1
answer
74
views
Strongly finite projections in $*$-rings
Let $A$ be a $*$-ring. Let us have some points:
i) We recall that a projection $p$ is a self-adjoint idempotent that is $p=p^*=p^2$.
ii) On the set of projections, we write $p\leq q$ if $pq=p$.
iii)...
2
votes
0
answers
68
views
Transmission of finite projections
Let $A$ be a Baer*-ring. Let us denote $L(x)$ by the left projection of $x$ (the smallest projection with $L(x)x=x$).
Let $p$ be a finite projection in $A$. Is $L(xp)$ a finite projection for every $...
6
votes
1
answer
362
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) ...