正規部分群の定義と同値条件