I'm trying to understand the non-commutative Koszul complex, as can be found in Anick's nice paper "[Non-Commutative Graded Algebras and Their Hilbert Series](https://doi.org/10.1016/0021-8693(82)90104-1)", J. of Algebra 78, (1982) and I'm stuck at two points, which are just where the paper "jumps" from the commutative case to the non-commutative one.


Let me set first some notation and assumptions. For the commutative situation, we have: $\mathbf{k}$ is a field, $R$ a connected commutative graded $\mathbf{k}$-algebra; that is,


$$
R = \mathbf{k} \oplus R\_1 \oplus R\_2 \oplus \dots
$$


in which every piece $R\_n$ is a finite-dimensional $\mathbf{k}$-vector space. 


Let $\theta\_1, \dots , \theta\_r \in R$ be a *regular* sequence. That is, the ideal generated by $\theta\_1, \dots , \theta\_r$ is smaller than $R$ and each $\theta\_n$ is *not* a zero divisor in $R/(\theta\_1, \dots , \theta\_{n-1})$ for all $n$. (Also the $\theta\_n$ are homogeneous of positive non-zero degree.)


**First.** The main idea in Anick's paper seems to be replacing the notion of non zero divisors, with the help of the following characterization:


$$
\theta\_1, \dots , \theta\_r \quad \text{is a regular sequence}\quad
\Longleftrightarrow \quad
R \cong \mathbf{k}[\theta\_1, \dots , \theta\_r] \otimes \frac{R}{(\theta\_1, \dots , \theta\_r)} \ .
$$


Here:


* $\mathbf{k}[\theta\_1, \dots , \theta\_r]$ is the polynomial algebra on $\theta\_1, \dots, \theta\_r$,
* the isomorphism is as graded $\mathbf{k}$-vector spaces,
* the tensor product is over $\mathbf{k}$.


My first question is about this isomorphism: Anick says it's "well known" and gives a reference: Stanley, "Hilbert Functions of Graded Algebras", Adv. in Math. 28 (1978). Ok, there the closest thing looking like this result is in page 63, where Stanley says: "This is essentially a well-known property..., though an explicit statement is difficult to find in the literature." And gives in turn references for a particular case.


So, ok, I'm trying to provide myself of some proof, with the help of what Anick does for the non-commutative case. You can easily produce a morphism of graded vector spaces


$$
\mathbf{k}[\theta\_1, \dots , \theta\_r] \otimes \frac{R}{(\theta\_1, \dots , \theta\_r)} \longrightarrow R
$$


by sending each $\theta\_i$ to itself in $R$. For the quotient part, you choose a $\mathbf{k}$-linear section of the projection $R \longrightarrow R /(\theta\_1, \dots , \theta\_r)$. Anick proves that you can pick no matter which section and the resulting morphism is an epimorphism. So far, so good.


Ok so, this is my first question: **how do you prove that this morphism is also a monomorphism?**


In another part of the paper, Anick uses an argument on dimensions: after all, we are dealing with finite dimensional vector spaces. So I'm trying to prove (first for the case $r=1$) that, degree-wise, what we have on both sides are vector spaces of the same dimension. It's a little bit messy (I hate counting!), but I think I got it. My only doubt is: is there a more simple, direct "well-known" proof?


**Second.** What's the problem with the notion of (two-sided) non zero divisor in the non-commutative case that forces Anick to replace it by that isomorphism? (Then he goes on talking about "strongly free" sets, which are those $\theta\_1, \dots , \theta\_r \in H$, such that you have an isomorphism 


$$
H \cong \mathbf{k}\langle \theta\_1, \dots , \theta\_r \rangle \otimes \frac{H}{H(\theta\_1, \dots , \theta\_r)H} \ ,
$$


$H$ a connected non-commutative graded $\mathbf{k}$-algebra, $\mathbf{k}\langle \theta\_1, \dots , \theta\_r \rangle$ is the free associative algebra...)



Non-commutative regular sequences and non-commutative Koszul complex
First part: Let $\theta\_1,\ldots,\theta\_r$ be a regular $R$-sequence. Suppose that the kernel of $\mathbb{K}[\mathrm{x}\_1,\ldots,\mathrm{x}\_n]\otimes R/(\theta\_1,\ldots,\theta\_r)\rightarrow R$ is not trivial. Then there is a non trivial polynomial $f$ that is being mapped onto $0$. The image of $f$ in $R$ would satisfy an equation $\sum\_\alpha a\_\alpha \theta\_1^{\alpha\_1}\cdots \theta\_r^{\alpha\_r}=0$, where $a\_\alpha\notin (\theta\_1,\ldots,\theta\_r)$. Thus $-a\_\beta \theta\_1^{\beta\_1}\cdots \theta\_r^{\beta\_r}=\sum\_{\alpha\neq \beta} a\_\alpha \theta\_1^{\alpha\_1}\cdots \theta\_r^{\alpha\_r}$, where $\beta\neq 0$ is the biggest multiindex with respect to the lexiographical ordering. The equation would now imply that it is possible to increase the degree in the $i$-th component by just summing and multiplying monomials by $a\_\alpha\notin (\theta\_1,\ldots,\theta\_r)$. But that is impossible, because $\theta\_1,\ldots,\theta\_r$ is a regular sequence. Hence the mapping $\mathbb{K}[\theta\_1,\ldots,\theta\_r]\otimes R/(\theta\_1,\ldots,\theta\_r)\rightarrow R$ is injective.


Second part: The characterization of regular sequences does not hold in the non-commutative polynomial ring. In other words, there is a sequence $\theta\_1,\ldots,\theta\_r$ that is regular (by transferring the meaning of regular directly to the non-commutative case), but that fails to be regular in the other sense (Anick's definition aka. strongly free). One can see that by using Theorem 3.1. 
Anick defines regular (strongly free) by $R\cong \mathbb{K}\langle \theta\_1,\ldots,\theta\_r\rangle\ast R/R(\theta\_1,\ldots,\theta\_r)R$ because of the following reasons:
First: Suppose that we have a commutative regular local ring $R$, then it is well known that the sequence $\theta\_1,\ldots,\theta\_r$ is regular if and only if $H\_0(K(\theta\_1,\ldots,\theta\_r)\cong R/(\theta\_1,\ldots,\theta\_r)$ and $H\_n(K(\theta\_1,\ldots,\theta\_r))=0$ for $n>0$, where $K(\theta\_1,\ldots,\theta\_r)$ is the Koszul-complex with respect to $\theta\_1,\ldots,\theta\_r$. We want such results in the non-commutative situation. By defining regular as above and defining an appropriate Koszul-complex in the non-commutative situation we get a similar result in form of Theorem 2.9.
Second: Under certain circumstances (see Theorem 3.1) being regular (strongly free) has a combinatorial characterization, which is later used to prove the main result (Theorem 3.8).


