댓글 리스트
-
답댓글 작성자 바람 작성시간20.06.15 처음 이해하신부분은 맞구요
labl=lallbl을 얻으려면 ab=ba 와 gcd(lal, lbl)=1둘을 모두 만족해야하고
여기서 ab=ba를 보이려면
정리중 다음정리가 있습니다
군 G의 두 정규부분군 M, N이
M교집합N={e}이면 M의 임의원소 a와 N의 임의원소 b에 대해 ab=ba가 성립
이를 쓰기위해
<a> <b>가 정규부분군임을 보여야한다는거에요 이미 둘의 위수가 서로소이니 교집합은 항등원뿐이므로 정규부분군임을 보이기만 하면 충분하죠
그러니 아래쪽에선 or이 아니라 and가 됩니다.
