정규 부분군과 군 구조 분해와의 연결