The noncommutative-algebra tag has no usage guidance.

**5**

votes

**0**answers

639 views

### Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\!\langle X,Y\rangle\!\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then (as ...

**12**

votes

**4**answers

819 views

### Injective dimension of graded-injective modules

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":
Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with $...

**3**

votes

**0**answers

449 views

### Noncommutative analog of Koszul complex

Let $R=R_0 \oplus R_1 \oplus R_2 ...$ be a graded not necessarily commutative algebra over field $k$ and $R$ is generated by $R_1$, $R_0=k$. In commutative situation if one wants free resolution of $R/...

**14**

votes

**1**answer

463 views

### Is the ring of quaternionic polynomials factorial?

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials $P,...

**4**

votes

**1**answer

253 views

### Prime ideals in maximal orders (1- and 2-sided)

I am an arithmetic geometry graduate student, and I find myself needing to learn about factorisation in orders in division algebras. I know something aout algebraic number theory and commutative ...

**3**

votes

**0**answers

353 views

### Software for Combinatorial Algebra sought

I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task:
I have two graded (generally ...

**0**

votes

**1**answer

271 views

### PBW-Theorem and multigraded Lie algebras

Fix a $\mathbb Z_+^n$-graded Lie algebra ${\frak a}=\oplus_{r \in\mathbb Z_+^n}^{} {\frak a}[r]$ such that ${\frak g}:={\frak a}[0]$ is a finite-dimensional semisimple Lie algebra over the complex ...

**2**

votes

**2**answers

330 views

### Are morphisms of finite length modules determined by the behaviour of the simple modules?

Assume we have a noncommutative ring $R$ with exactly 2 non-isomorphic simple left modules $S_1$ and $S_2$ (up to isomorphism) and an $R$-bimodule $M$, which switches the simples, i.e. $M\otimes_R S_1=...

**5**

votes

**1**answer

1k views

### Algebra - Decomposition of a matrix polynomial

Dear All,
This is related with a problem that I'm trying to solve on my PhD dissertation in econometrics, and I thought that some mathmatician can know the answer.
What is known about a possible ...

**37**

votes

**1**answer

1k views

### Invertible matrices over noncommutative rings

Let $A\in M_m(R)$ be an invertible square matrix over a noncommutative ring $R$. Is the transpose matrix $A^t$ also invertible? If it isn't, are there any easy counterexamples?
The question popped up ...

**39**

votes

**1**answer

3k 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 ...

**15**

votes

**3**answers

3k views

### Binomial Expansion for non-commutative setting

What could be a reference about binomial expansions for non-commutative elements?
Specifically, where can I find a closed formula for the expansion of $(A+B)^n$ where $[A,B]=C$ and $[C,A]=[C,B]=0$?
...

**5**

votes

**1**answer

165 views

### Expressing a element of a Matrix subgroup in terms of subgroup generators

I'm no (computational) algebraist, and my searches have been pretty unyielding (probably due to the vast amounts written on the key words), but perhaps someone may know if this is possible, and if so, ...

**6**

votes

**1**answer

418 views

### G = [G,G] with two generators

Is it true that groups $\langle a,b \mid a^n b^k=b^ka^{n+1}, b^la^s=a^sb^{l+1}\rangle$ are non-trivial for almost all (in any sense:))) $n,k,l,s\in\mathbb N$?

**3**

votes

**1**answer

595 views

### The Jacobson radical of an infinite dimensional algebra

Does any one know the Jacobson radical of the path algebra of the following quiver?
$$\bullet \leftrightarrows \bullet$$
How many simplerepresentations of it are there?
Is there any software that ...

**3**

votes

**3**answers

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

**2**

votes

**1**answer

616 views

### Central division and quaternion algebras

I would like to know if there are some central-simple algebras $D_1$, $D_2$ and $D_3$ over a field $k$ satisfying the following properties :
$ind(D_1)=exp(D_1)=4$ ($ind$ is the Schur index and $exp$ ...

**5**

votes

**1**answer

426 views

### A Question on Koszul duality and $B(\infty)$ structures on $HH^*$

The following theorem is known from a paper "Duality in Gerstenhaber Algebras" by Felix, Menichi, Thomas. Given a simply connected space X of finite type.
There is an equivalence of Gerstenhaber ...

**1**

vote

**1**answer

618 views

### Local Rings problem

$\newcommand{\End}{\operatorname{End}}$
let $R$ be a local ring, $\varphi\in \End(R_{R}^{2})$,
$\overline{\varphi}\in \End(\overline{R}_{\overline{R}}^{2})$,
$\overline{R} =R/J(R)$ , $J(R)$= ...

**4**

votes

**1**answer

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

**6**

votes

**2**answers

609 views

### Simple Ore extensions

Let $R[x;\sigma,\delta]$ be an Ore extension, where $R$ is an associative and unital ring and $\sigma : R\to R$ is a (not necessarily injective!) ring endomorphism. (In the literature it is often ...

**6**

votes

**1**answer

278 views

### A potential resolution of $R/r$

The DGA
For $k$ some field, let $R$ be a $k$-algebra, and let $r\in R$.
Define a differential graded algebra $\mathbf{R}_r$ as follows. As a graded algebra, it is isomorphic to $R\langle t\rangle$, ...

**2**

votes

**0**answers

291 views

### Tensor power- Notation question

Hi everyone
I have a notational question, which is written usually in papers, but I can not figure it out what could be. Let $M$ be an $A$-module. I have seen this notation
$$M^{\otimes -n}$$
I ...

**22**

votes

**8**answers

4k views

### Simplest examples of rings that are not isomorphic to their opposites

What are the simplest examples of
rings that are not isomorphic to their
opposite rings? Is there a science to constructing them?
The only simple example known to me:
In Jacobson's Basic Algebra (...

**2**

votes

**2**answers

406 views

### Model Theoretic Localization

This is a re-post on a previous question I asked. My first question was too vague to warrant detailed responses. Really, I have two specific questions to ask.
1) Let $\sigma = (A; \{0,1\}; +, \times)...

**9**

votes

**1**answer

2k views

### Are there any finitely generated artinian modules that are not Noetherian?

It is well known that for rings, Artinian implies Noetherian (the famous Hopkins–Levitzki theorem) and it is also well known that there are Artinian modules which are not Noetherian. A simple example ...

**2**

votes

**2**answers

550 views

### Torsion in tensor products over noncommutative rings

I know that the problem of torsion in tensor products, even of torsion free modules, is a very delicate thing. Unfortunately i don't have a deeper insight into this subject, so i don't know how things ...

**1**

vote

**0**answers

412 views

### The sum of a nilpotent left ideal and a nil left ideal

In class, we recently saw that the sum of 2 two-sided nil ideals is a nil ideal. We were asked to show that the sum of a niplotent left ideal and a nil left ideal is a nil left ideal.
I am having ...

**1**

vote

**1**answer

239 views

### Ore Extensions and the Construction of the Quantum General Linear Group

In the usual (fomal) construction of the quantum general linear group $GL_q(N)$, an Ore extension is used. See for example Kassel. Why is this necessary? Surely one can just augment the set of ...

**4**

votes

**2**answers

249 views

### unitary reduction of $q$-normal matrices

The unitary reduction of normal matrices is a well-known fact: if $A\in M_n(\mathbb C)$ commutes with its Hermitian adjoint $A^*$, then there exists a unitary $U\in\mathbb U_n$ and a diagonal matrix $...

**34**

votes

**8**answers

3k views

### What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...

**7**

votes

**2**answers

2k views

### Jacobson radical = intersection of all maximal two-sided ideals

I'm embarassed to ask this question, but the literature on noncommutative rings seems to give this a berth as if it was absolutely trivial and not worth discussing, and I can't prove it, so all I can ...

**4**

votes

**0**answers

635 views

### Generalized Courant-Fischer theorem

Consider some quaternionic matrix $A$. A right eigvenvalue of $A$ is a quaternion $q$ such that $Ax=xq$ for some $x\in \mathbb{H}^n$. Similarly, a left eigenvalue of $A$ is quaternion $q$ such that $...

**2**

votes

**2**answers

396 views

### on existence of matrices X, Y s.t. XAY is diagonal over non-commutative ring

Given $A\in Mat_{n\times n}(R)$ where $R$ is a non-commutative associative ring are there exist any (non-zero) matrices $X, Y\in Mat_{n\times n}(R)$ such that $XAY=diag(a_1, \ldots , a_n)$ for some $...

**-2**

votes

**2**answers

626 views

### Unit ideal in non-commutative rings [closed]

In a non-commutative ring (with identity), is it possible for an element which does not possess left or right inverses to generate the entire ring? i.e. $(r)=R$, where (r) is the two-sided ideal ...

**3**

votes

**1**answer

328 views

### Finite Homological Dimension of R/P for all P for module finite non-commutative rings

I have a reasonably precise question which I hope is clear enough to get a nice answer. Let R be a Noetherian non-commutative ring which is finite as a module (and flat/free if it helps) over it's ...

**12**

votes

**2**answers

1k views

### Why does the Grothendieck group $K_0(R)$ of a ring not depend on our choice of using left modules instead of right modules?

I am under the impression that in the definition of the Grothendieck group $K_0(R)$ of a (non-commutative) ring it doesn't matter whether we apply the usual $K_0$ construction to the exact category of ...

**10**

votes

**2**answers

2k views

### Compute Lie algebra cohomology

Is there a computer algebra system that is able to compute the Lie algebra cohomology in a given representation? What if the Lie algebra is finite dimensional?
In my case I would like to be able to ...

**0**

votes

**3**answers

1k 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}$???
...

**-1**

votes

**2**answers

259 views

### Identifying a sequence of polynomials

Studying a specific quantum cluster algebra, I have come across the following sequence of polynomials :
$$X_1$$
$$q^{-1/2}(X_1X_2-1)$$
$$q^{-1/2}(X_1X_2X_3-X_3-X_1)$$
$$q^{-1}(X_1X_2X_3X_4-X_3X_4-...

**6**

votes

**1**answer

265 views

### Does there exist any massive proper $C^*$-subalgebra?

Definition 1: Suppose $B$ is a $C^* $-algebra. $A$ is massive $C^* $-subalgebra of $B$ iff
1. $A$ is a subalgebra of $B$;
2. for each irreducible representation $\pi$ of $B$ representation $\pi|_A$ is ...

**3**

votes

**0**answers

156 views

### Pulling out factors in a Noetherian Domain

Let $R$ be a Noetherian domain (not-necessarily commutative), and let $S$ be a Noetherian subring of $R$. An element $r\in R$ is left $S$-irreducible if, for any $s\in S$ and $r' \in R$ with $sr'=r$, ...

**4**

votes

**3**answers

712 views

### Set of invertible operators in B(H) is connected. Is it true? Is there a reference?

Suppose $H$ is a Hilbert space, $B(H)$ is the algebra of bounded linear operators on it, $K(H)$ is ideal of compact operators in $B(H)$, $Inv(B(H)/K(H))$ is the topological group of invertible ...

**1**

vote

**1**answer

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

**4**

votes

**1**answer

913 views

### Length of a module over different rings

Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$.
Under what ...

**23**

votes

**1**answer

750 views

### Idempotents in Rings of Differential Operators

Differential Operators on General Commutative Rings
Let k be an algebraically closed field of characteristic zero, and let R be a commutative k-algebra. Then a (Grothendieck) differential operator ...

**6**

votes

**1**answer

313 views

### Simultaneously orthogonally transform two SPD matrices to tridiagonal form?

Supposing you have two SPD matrices $A,B\in\mathbb{R}^{n\times n}$ are there any known results on the existence or non-existence of a unitary matrix $Q$ such that $Q^\top A Q=T_A$ and $Q^\top B Q=T_B$ ...

**1**

vote

**1**answer

255 views

### Q-Divisor and Determinant Map on a Maximal Order

Given a smooth projective surface $X$, let $A$ be a sheaf of maximal orders in a division ring.
Let us for simplicity assume $A$ ramifies in one curve $C$ with ramification index $e$. Let $A^*$ be the ...

**0**

votes

**1**answer

287 views

### Uniqueness of maximal subfields

Let D be a division ring with center Z. Let R and K be two maximal subfields of D, both purely inseparable of exponent one ( means the p power of each of them in Z).
Why are R and K isomorphic?
Or a ...

**8**

votes

**1**answer

564 views

### Mathematical software for computing in integral group rings of discrete groups?

I'm doing computations in the integral group ring of a discrete group,
in particular the discrete Heisenberg group. In this case elements
are integral combinations of monomials $x^k y^m z^n$, where ...