同調の定義と基本的な性質