あと、正規部分群と商群の話もあるんだな(^^