정규 부분군에 대한 정의와 동치 조건