**Update:**
Now I know why my method fails. But I still wanna know how to work out the original question, that is to show the exactness of the chain complex $C\_\*(X)$ except for two positions $n=0,N-1$.




---


Here is a little problem about the normalization theorem in the theory of simplicial objects.


Given a finite set $X$ with $|X|=N>2$, we can construct a simplicial free abelian group $C\_\*(X)$ defined as follows: for each $n\geq0$, $C\_n$ is defined to be the free abelian group generated by the set of all $(n+1)$-tuples $(x\_0,x\_1,\dots,x\_n)$ of **distinct** elements in $X$; and set $C\_n(X)=0$ for $n\geq N$. The differential map is defined as $d(x\_0,x\_1,\dots,x\_n)=\sum\_{i=0}^n(-1)^i(x\_0,\dots,\hat{x\_i},\dots,x\_n)$.
An exercise in Weibel's book (see Weibel *The K-Book: An introduction to algebraic K-theory*, VI.5, Ex.5.1., p.550 or [p.35](https://sites.math.rutgers.edu/%7Eweibel/Kbook/Kbook.VI.pdf)) asserts that $H\_n(C\_\*)=0$ for $n\neq 0,N-1$.


My strategy goes as follows: Consider the unnormalized complex $U\_\*$ with $U\_n(X)$ defined to be the free abelian group generated by the unnormalized $(n+1)$-tuple $(x\_0,x\_1,\dots,x\_n)$ of $n$ elements in $X$ which are allowed to have repetitions whose differentials are defined as above. Then an easy computation shows that the chain complex $U\_\*$ is acyclic for $n\geq1$(See for example Mac Lane's book *Homology*, Ex.1 in the end of Section 7, Chapter VIII, p. 238). And the normalization theorem(MacLane *Homology*, VIII.6, p.236 or the Theorem 3.3 in [Normalization](https://ncatlab.org/nlab/show/Moore+complex#NormalizedChainComplexOnGeneralGroup) or [thisQuestion](https://mathoverflow.net/questions/127151/simplicial-chain-complex-with-ordered-simplices)) gives that the two chain complexes $C\_\*, U\_\*$ are quasi-isomorphic. So the acyclicity of $U\_\*$ implies the exactness of $C\_\*$. But $C\_{N}=0, C\_{N-1}$ is a free abelian group of rank $N!$ which injects into $C\_{N-2}$ which also has rank $N!$. This forces the $(N-2)$-th differential $d\_{N-2}:C\_{N-2}\to C\_{N-3}$ to be the zero map, which is impossible. I'm wondering which step goes wrong?



The exactness of the associated chain complex of a simplicial free abelian group over a finite set and the normalization theorem
Leaving an answer so that this question can be marked resolved.


Your chain complex is called the "complex of injective words" and proving that it is highly connected is maybe not so direct. Here is a paper by an author I respect <https://arxiv.org/pdf/1608.04496.pdf> with a "simple" proof that looks pretty involved to me.


