類体論を記述するために､群(有限群)のコホモロジー
が準備されるが､単射包絡の記述は無い｡
他方､ホモロジー代数では､単射包絡まで記されている
場合もあるので｡ これでよいですか｡