순환군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
159번째 줄:
유한 아벨 군의 분해에 응용되는 한 가지 핵심적인 보조정리는 다음과 같다. <math>G</math>가 아벨 유한 [[p-군]], <math>a\in G</math>가 그 최대 위수 원소라고 하자. 그렇다면, <math>G=\langle a\rangle\times B</math>인 <math>B\le G</math>가 존재한다.
{{증명 시작}}
이제 <math>G</math>
* <math>\operatorname{ord}b=p</math>
** 증명: 그렇지 않다면, <math>\operatorname{ord}b=p^e</math> (<math>e\ge2</math>)이며, <math>\operatorname{ord}b^p=p^{e-1}</math>이므로, <math>b^p\in\langle a\rangle</math>이다. <math>b^p=a^n</math> (<math>n\in\mathbb Z</math>)이라고 하자. 그렇다면, <math>\frac{\operatorname{ord}a}{\gcd\{\operatorname{ord}a,n\}}=\operatorname{ord}b^p<\operatorname{ord}b\le\operatorname{ord}a</math>이므로, <math>p\mid n</math>이다. 따라서, <math>(ba^{-\frac np})^p=1_G</math>이며, <math>ba^{-\frac np}\in G\setminus\langle a\rangle</math>인데, 이는 <math>b</math>의 선택과 모순이다.
| |||