正規部分群の性質と判定法