아이디얼로 몫환(잉여환)을 만들려면 일단 아이디얼이 그냥 부분군이 아닌 정규부분군이어야 하는거 아닌가요? 


근데 정의에 그런말이 없길래 질문드립니다.


아니면 정의로부터 정규부분군임을 보일 수 있나요? ㅠㅠ


정의에 연산을 곱으로 표현해놨길래, 분배법칙을 이용하는건가 싶고 긴가민가하네요.


그리고 몫환은 덧셈에 대해서 가환군인데, 그러면 아이디얼이 교환자부분군을 포함하는 부분군인거 맞죠?