N이 군 G의 정규부분군일 때
phi를 N의 자기동형사상이라 하면
forall n in N phi(n)=varphi(n)
인 G의 자기동형사상 varphi가 항상 존재하나요?