순환군: 두 판 사이의 차이

** 증명: 우선, <math>G/\langle b\rangle=\langle a\langle b\rangle\rangle\times(B/\langle b\rangle)=(\langle a\rangle/\langle b\rangle)\times(B/\langle b\rangle)=(\langle a\rangle B)/\langle b\rangle</math>이므로, <math>G=\langle a\rangle B</math>이다. 또한, <math>(\langle a\rangle\cap B)/\langle b\rangle\subseteq(\langle a\rangle/\langle b\rangle)\cap(B/\langle b\rangle)=\{\langle b\rangle\}</math>이므로, <math>\langle a\rangle\cap B\subseteq\langle a\rangle\cap\langle b\rangle=1</math>이며, <math>G=\langle a\rangle\times B</math>이다.

{{증명 끝}}

 

== 외부 링크 ==