talk:>>966 そうだな、H×G/Hの意味から考えようか。普通に考えたらH×G/(H×{1})なんだけどね。1はGの単位元。