Let $A$ be a (not necessarily commutative, associative) $k$-algebra. The bimodule of non-commutative one-forms $\Omega^1\_A$ is the free $A$-bimodule generated by symbols $da$, $a \in A$, subject to the relations
$$ d(\lambda a + \mu b) = \lambda da + \mu db, ~~~~~~ d(ab) = a\,db + da \,b$$
for $a, b \in A$, $\lambda, \mu \in k$. Higher degree forms are then defined by
$$\Omega^n\_A = \Omega^1\_A \otimes\_A \cdots \otimes\_A \Omega^1\_A.$$
The direct sum of all forms $\Omega\_A = \bigoplus\_{n=0}^\infty \Omega\_A^n$ becomes a differential graded algebra with the obvious differential. 


Now Loday's book "cyclic cohomology", he defines the non-commutative de-Rham cohomology of $A$ to be the cohomology of the complex $((\Omega\_A)\_{\mathrm{ab}}, d)$, i.e. he takes the abelianization of $\Omega\_A$. 


**Q:** Why is that? What is wrong with defining the non-commutative de-Rham-cohomology just as the cohomology of $\Omega\_A$?


/edit: To answer the question regarding the definition of $d$: Using the relations of $\Omega^1\_A$, every element of $\Omega^n\_A$ can be brought into the form $a\_0 da\_1\cdots da\_n$. For these,
$$d(a\_0 da\_1\cdots da\_n) = da\_0da\_1 \cdots da\_n.$$



Definition of Non-commutative de-Rham-Cohomology
I do not really know the reason, but if I would guess I think it might be $\Omega(A)$ is no longer an abelian category. The exact sequences you written down are not just exact sequences of abelian groups, but may be interpreted as exact sequences of algebras (note that we have $d(ab)=da\*b+a\*db=0\*b+a\*0=0$ for $a,b\in \ker(d)$). 


I am not entirely sure if the construction of abelian category carries through for non-commutative algebras. I do not know any counter-example, but it sounds very unlikely to be true as the construction is so general (consider some infinite dimensional non-commutative $\mathbb{C}$-Banach algebras, for example). 


