# Questions tagged [noncommutative-algebra]

Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras

356
questions

**3**

votes

**1**answer

86 views

### Cohn localization examples

I'm working on my master's thesis, part of which involves an exposition on Cohn localization. (nlab discussion)
In Free ideal rings and localization in general rings, Sec 7.4, Cohn gives a ...

**0**

votes

**0**answers

75 views

### What is the correct name for a “product function” on a monoid?

Let $W$ be a monoid. A function $f\colon W\rightarrow W$ is a "product function" if $f(w)$ is a product of constants in $W$ and positive integer powers of $w$. It could also be called a "non-...

**6**

votes

**2**answers

207 views

### Rings $R$ such that every [regular] square matrix with entries in $R$ is equivalent to an upper triangular matrix

Let $\text{M}_n(R)$ be the ring of $n$-by-$n$ matrices with entries in a commutative unital ring $R$. Theorem III in
C.R. Yohe, Triangular and Diagonal Forms for Matrices over Commutative ...

**1**

vote

**0**answers

44 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 ...

**7**

votes

**1**answer

151 views

### Categories of modules generated under coproducts by a small set?

Question 1: For which rings $R$ does there exist a small set $S \subseteq Mod_R$ such that every module $M \in Mod_R$ is a direct sum of modules in $S$?
Equivalenty, for which rings $R$ does there ...

**2**

votes

**0**answers

82 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 ...

**3**

votes

**0**answers

61 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 ...

**2**

votes

**0**answers

74 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 ...

**11**

votes

**0**answers

197 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

143 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

175 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

44 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 ...

**1**

vote

**2**answers

249 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 ...

**2**

votes

**1**answer

165 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

433 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

44 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 ...

**7**

votes

**1**answer

204 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 ...

**2**

votes

**1**answer

165 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 ...

**3**

votes

**2**answers

209 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

59 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

54 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\...

**5**

votes

**1**answer

147 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

133 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

33 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

162 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

65 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}...

**6**

votes

**3**answers

516 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: ...

**6**

votes

**0**answers

306 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 examples ...

**1**

vote

**0**answers

122 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

49 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

36 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

76 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

40 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

173 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 $...

**6**

votes

**1**answer

144 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

228 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 $...

**3**

votes

**1**answer

204 views

### Possible values of symmetric functions evaluated on quaternions

Let $i,j,k$ 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 the polynomial made of the sum of monomials ...

**9**

votes

**3**answers

467 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 ...

**3**

votes

**1**answer

136 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 ...

**4**

votes

**3**answers

436 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

105 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 ...

**5**

votes

**0**answers

79 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

185 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

67 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

48 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

130 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

61 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

115 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

193 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

200 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}&...