"s"の"k次"ホモロジー群"hkを"アーベル群の商群(剰余群)として定義する。