Kunneth

Alexander-Whitney mapとEilenberg-Zilber map

simplicial moduleからchain complexを構成する。

これをAに対しC(A)とし、C(A \otimes B)とC(A) \otimes C(B)を比較する。