核は正規部分群