(새 주제: →따름정리) |
편집 요약 없음 |
||
| 23번째 줄: | 23번째 줄: | ||
* ''g''를 유한군 ''G''의 원소라 하자. 그러면 ''g''의 위수는 ''G''의 위수를 나눈다. | * ''g''를 유한군 ''G''의 원소라 하자. 그러면 ''g''의 위수는 ''G''의 위수를 나눈다. | ||
* <math>|G|=k</math>이면 임의의 <math>g\in G</math>에 대해 <math>a^k=e</math>이다. | * <math>|G|=k</math>이면 임의의 <math>g\in G</math>에 대해 <math>a^k=e</math>이다. | ||
* ''H'', ''K''가 유한군 ''G''의 부분군이고 ''K''⊆''H''이라고 하자. 그러면 <math>[G:K]=[G:H][H:K]</math>이다. | |||
2015년 6월 6일 (토) 19:19 판
틀:학술 라그랑주의 정리(Lagrange's Theorem)는 군과 그 부분군의 위수의 관계를 나타내는 정리다.
진술
K를 유한군 G의 부분군이라고 가정하자. 그러면 K의 위수 |K|는 G의 위수 |G|를 나눈다. 특히, 다음 식이 성립한다.
- [math]\displaystyle{ |G|=|K|[G:K] }[/math]
이때 [math]\displaystyle{ [G:K] }[/math]는 G에 대한 K의 지표를 뜻한다.
증명
[math]\displaystyle{ [G:K]=n }[/math]이라고 하자. 그러면 지표의 정의에 의해 G를 n개의 서로 다른 우잉여류의 합집합으로 나타낼 수 있다. [math]\displaystyle{ c_1,\cdots,c_n }[/math]을 서로 다른 G의 원소라고 하자. 그러면
- [math]\displaystyle{ G=\bigcup_{i=1}^n Kc_i }[/math]
이다. 이때 [math]\displaystyle{ Kc_1,\cdots,Kc_n }[/math]은 서로소이므로,
- [math]\displaystyle{ |G|=\sum_{i=1}^n |Kc_i| }[/math]
이다. [math]\displaystyle{ |Kc_i|=|K| }[/math]이므로
- [math]\displaystyle{ |G|=\sum_{i=1}^n |K|=n|K|=|K|[G:K] }[/math]
이다.
따름정리
- g를 유한군 G의 원소라 하자. 그러면 g의 위수는 G의 위수를 나눈다.
- [math]\displaystyle{ |G|=k }[/math]이면 임의의 [math]\displaystyle{ g\in G }[/math]에 대해 [math]\displaystyle{ a^k=e }[/math]이다.
- H, K가 유한군 G의 부분군이고 K⊆H이라고 하자. 그러면 [math]\displaystyle{ [G:K]=[G:H][H:K] }[/math]이다.