# Tagged Questions

**7**

votes

**3**answers

567 views

### nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...

**5**

votes

**1**answer

236 views

### Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world?
Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...

**0**

votes

**0**answers

46 views

### What are the main open problems in the theory of quasigroups and loops?

What are the main open problems in the theory of quasigroups and loops?
A short survey would be welcome.
Thanks

**8**

votes

**1**answer

269 views

### Explicit isomorphism for quaternion algebras over $\mathbb{Q}$?

It is known that the isomorphism class of a quaternion algebra $A=\binom{a,b}{K}$ over a number field $K$ is determined by the finite set of places $v$ of $K$ where $A\otimes_K K_v$ is a division ...

**0**

votes

**1**answer

85 views

### $\mathrm{rk}_R M$ vs $\mathrm{rk}_S M$ - how nice need $R,S$ be?

Let $R\hookrightarrow S$ be Noetherian (noncommutative) rings without zero divisors with $\mathrm{rk}_{R} S < \infty$ (e.g. $S=R*G$ the crossed product of $R$ with a finite group $G$). Let $M$ be a ...

**8**

votes

**1**answer

333 views

### For $G=\mathbb{Z}^2\rtimes \mathbb{Z}$, $Spec(\mathbb{Z}G)$=?

Let $G$ be the group $\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}=\langle y,z\rangle\rtimes_{\sigma}\langle x\rangle$, where $\sigma(x)=\begin{pmatrix}a, b\\c,d\end{pmatrix}\in SL_2(\mathbb{Z})$, which ...

**11**

votes

**1**answer

323 views

### $\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group.
Denote the ...

**2**

votes

**1**answer

139 views

### Algorithmically finite-dimensional (noncommutative) algebras.

Can anyone help to find some information about these structures?

**4**

votes

**1**answer

86 views

### Example of computation of moduli space of $n$-pointe modules?

I am looking for an example of computation of the isomorphism classes of $n$-point modules over a non-commutative generated graded algebra (assuming all good properties such as Noetherian property). ...

**2**

votes

**0**answers

77 views

### Fat modules on some algebras.

Let $A$ be a graded $k$-algebra and $M$ a graded right $A$-module. $M$ is called a fat $A$-module if it is generated by degree $0$ and has constant Hilbert polynomial $2$. I wonder for which finitely ...

**2**

votes

**0**answers

111 views

### Noncommutative Castelnuovo-Mumford regularity

I am looking for noncommutative version of Castelnuovo-Mumford regularity. To be more precise, let $A=\oplus_{i=0}^{\infty}A_{i}$ be a $good$ (finite global dimension, connected etc) noncommutative ...

**5**

votes

**2**answers

345 views

### Moduli space of modules over non-commutative rings

Let $X=Proj(A)$ be a projective scheme, one can the moduli space of coherent sheaves on $X$ with fixed Hilbert polynomial and stability. Since coherent sheaves on $X$ are all obtained as the ...

**2**

votes

**0**answers

201 views

### Deformation of modules over noncommutaitve rings

Let $M$ be a finitely generated module over a commutative ring $R$. The first order deformation of module $M$ is parametrized by $Ext^{1}(M,M)$ and the obstruction is parametrized by $Ext^{2}(M,M)$. ...

**5**

votes

**0**answers

403 views

### A reference on semisimple linear algebra

Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings?
In fact this question is a ...

**12**

votes

**1**answer

534 views

### Classification of long exact sequences

Let $\mathcal C$ be the category of long exact sequences of finitely generated abelian groups almost all of whose entries vanish.
The category $\mathcal C$ is naturally additive as a subcategory of ...

**33**

votes

**8**answers

1k views

### How to quantify noncommutativity?

If I have two operators or finite-dimensional matrices $A$ and $B$, how can I quantify the amount to which they commute or don't commute? (I would consider it a big plus if it is computable easily for ...

**4**

votes

**1**answer

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

**2**

votes

**3**answers

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

**3**

votes

**0**answers

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

**4**

votes

**3**answers

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

289 views

### Non-commutative versions of X/G

Let $X$ be a Riemannian manifold and let $G$ be a (at most countable, if that matters) discrete group acting properly and by isometries on $X$. Let $\mathcal{O}$ be the sheaf of analytic functions on ...